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

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

筛选
英文 中文
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study 多核同步数据流程序的自动Ada代码生成:方法与工业研究
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_4
Shenghao Yuan, Zhibin Yang, J. Bodeveix, M. Filali, Tiexin Wang, Yong Zhou
{"title":"Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study","authors":"Shenghao Yuan, Zhibin Yang, J. Bodeveix, M. Filali, Tiexin Wang, Yong Zhou","doi":"10.1007/978-3-030-46902-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_4","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133285866","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}
引用次数: 1
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas 基于量化布尔公式的CTLK模型检验框架
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_8
Emily Yu, M. Seidl, Armin Biere
{"title":"A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas","authors":"Emily Yu, M. Seidl, Armin Biere","doi":"10.1007/978-3-030-46902-3_8","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_8","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123724460","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
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 arinc661多用途交互应用程序(MPIA)的正式开发
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_2
N. Singh, Y. A. Ameur, D. Méry, D. Navarre, Philippe A. Palanque, M. Pantel
{"title":"Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661","authors":"N. Singh, Y. A. Ameur, D. Méry, D. Navarre, Philippe A. Palanque, M. Pantel","doi":"10.1007/978-3-030-46902-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_2","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":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133381018","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
Verifying Resource Adequacy of Networked IMA Systems at Concept Level 从概念层面验证网络化IMA系统的资源充分性
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_3
R. S. D. Moraes, S. Nadjm-Tehrani
{"title":"Verifying Resource Adequacy of Networked IMA Systems at Concept Level","authors":"R. S. D. Moraes, S. Nadjm-Tehrani","doi":"10.1007/978-3-030-46902-3_3","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_3","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":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131634161","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
Formal Semantics Extraction from MIPS Instruction Manual 从MIPS说明书中提取形式语义
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_9
Quang Thinh Trac, Mizuhito Ogawa
{"title":"Formal Semantics Extraction from MIPS Instruction Manual","authors":"Quang Thinh Trac, Mizuhito Ogawa","doi":"10.1007/978-3-030-46902-3_9","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_9","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128129318","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}
引用次数: 1
Visualising Railway Safety Verification 铁路安全核查可视化
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_6
Filippos Pantekis, Phillip James, Liam O'Reilly, D. Archambault, F. Moller
{"title":"Visualising Railway Safety Verification","authors":"Filippos Pantekis, Phillip James, Liam O'Reilly, D. Archambault, F. Moller","doi":"10.1007/978-3-030-46902-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_6","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133496217","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
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations 混合精度浮点计算的调优助手
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-09 DOI: 10.1007/978-3-030-46902-3_5
Dorra Ben Khalifa, M. Martel, Assalé Adjé
{"title":"POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations","authors":"Dorra Ben Khalifa, M. Martel, Assalé Adjé","doi":"10.1007/978-3-030-46902-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_5","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126844125","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}
引用次数: 7
Probabilistic Activity Recognition for Serious Games with Applications in Medicine 严肃游戏的概率活动识别及其医学应用
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-46902-3_7
Elisabetta De Maria, Thibaud L'Yvonnet, S. Moisan, J. Rigault
{"title":"Probabilistic Activity Recognition for Serious Games with Applications in Medicine","authors":"Elisabetta De Maria, Thibaud L'Yvonnet, S. Moisan, J. Rigault","doi":"10.1007/978-3-030-46902-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-46902-3_7","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126610458","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
Formal Verification of Random Forests in Safety-Critical Applications 随机森林在安全关键应用中的形式化验证
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_4
John Törnblom, S. Nadjm-Tehrani
{"title":"Formal Verification of Random Forests in Safety-Critical Applications","authors":"John Törnblom, S. Nadjm-Tehrani","doi":"10.1007/978-3-030-12988-0_4","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_4","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"50 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":"114589674","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}
引用次数: 22
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking 基于路径约束的3值有界模型检验抽象细化
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2018-11-16 DOI: 10.1007/978-3-030-12988-0_9
Nils Timm, S. Gruner
{"title":"Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking","authors":"Nils Timm, S. Gruner","doi":"10.1007/978-3-030-12988-0_9","DOIUrl":"https://doi.org/10.1007/978-3-030-12988-0_9","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"38 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":"122022720","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
下一页 尾页
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学术官方微信