发布求助
文献互助 智能选刊 最新文献

International Workshop on Formal Techniques for Safety-Critical Systems最新文献

筛选
英文 中文
Formal Stability Analysis of Control Systems 控制系统的形式稳定性分析
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_1
Asad Ahmed, O. Hasan, F. Awwad
{"title":"Formal Stability Analysis of Control Systems","authors":"Asad Ahmed, O. Hasan, F. Awwad","doi":"10.1007/978-3-030-12988-0_1","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_1","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131792051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Refinement of Statecharts with Run-to-Completion Semantics 使用运行到完成语义的状态图的细化
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_8
Karla Morris, C. Snook, Son Hoang, R. Armstrong, M. Butler
{"title":"Refinement of Statecharts with Run-to-Completion Semantics","authors":"Karla Morris, C. Snook, Son Hoang, R. Armstrong, M. Butler","doi":"10.1007/978-3-030-12988-0_8","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_8","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132203696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Formal Timing Analysis of Digital Circuits 数字电路的形式化时序分析
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_6
Q. Ain, O. Hasan
{"title":"Formal Timing Analysis of Digital Circuits","authors":"Q. Ain, O. Hasan","doi":"10.1007/978-3-030-12988-0_6","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_6","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130489184","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications 将CCSL嵌入动态逻辑:一种验证CCSL规范的逻辑方法
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_7
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, F. Mallet
{"title":"Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications","authors":"Yuanrui Zhang, Hengyang Wu, Yixiang Chen, F. Mallet","doi":"10.1007/978-3-030-12988-0_7","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_7","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127848471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Model Transformation with Triple Graph Grammars and Non-terminal Symbols 三图语法和非终结符号的模型转换
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_10
William da Silva, Max Bureck, I. Schieferdecker, Christian Hein
{"title":"Model Transformation with Triple Graph Grammars and Non-terminal Symbols","authors":"William da Silva, Max Bureck, I. Schieferdecker, Christian Hein","doi":"10.1007/978-3-030-12988-0_10","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_10","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126759401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time 基于决策、空间和时间的车辆队列模块化验证
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-04-18 DOI: 10.1007/978-3-030-12988-0_2
M. Kamali, Sven Linker, Michael Fisher
{"title":"Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time","authors":"M. Kamali, Sven Linker, Michael Fisher","doi":"10.1007/978-3-030-12988-0_2","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_2","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127966726","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems 应用参数模型检验技术复用实时关键系统
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2016-11-14 DOI: 10.1007/978-3-319-53946-1_8
Baptiste Parquier, L. Rioux, R. Henia, R. Soulat, O. Roux, D. Lime, É. André
{"title":"Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems","authors":"Baptiste Parquier, L. Rioux, R. Henia, R. Soulat, O. Roux, D. Lime, É. André","doi":"10.1007/978-3-319-53946-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-53946-1_8","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130160662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction 基于条件聚焦抽象的稳定特性参数化验证
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2016-11-14 DOI: 10.1007/978-3-319-53946-1_9
Nils Timm, S. Gruner
{"title":"Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction","authors":"Nils Timm, S. Gruner","doi":"10.1007/978-3-319-53946-1_9","DOIUrl":"https://doi.org/10.1007/978-3-319-53946-1_9","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122519487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Uniform Modeling of Railway Operations 铁路运营统一建模
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2016-11-14 DOI: 10.1007/978-3-319-53946-1_4
Eduard Kamburjan, Reiner Hähnle
{"title":"Uniform Modeling of Railway Operations","authors":"Eduard Kamburjan, Reiner Hähnle","doi":"10.1007/978-3-319-53946-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-53946-1_4","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"444 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132942707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans 门级多侧通道参数检测硬件木马的形式化验证
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2016-11-14 DOI: 10.1007/978-3-319-53946-1_5
I. Abbasi, F. Lodhi, A. Kamboh, O. Hasan
{"title":"Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans","authors":"I. Abbasi, F. Lodhi, A. Kamboh, O. Hasan","doi":"10.1007/978-3-319-53946-1_5","DOIUrl":"https://doi.org/10.1007/978-3-319-53946-1_5","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114515508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信