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

IEEE International Conference on Software Engineering and Formal Methods最新文献

筛选
英文 中文
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover 利用交互定理证明器探索具有消息延迟的电信协议的性质
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-06-27 DOI: 10.1007/978-3-319-92970-5_15
Catherine Dubois, Olga Grinchtein, J. Pearson, M. Carlsson
{"title":"Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover","authors":"Catherine Dubois, Olga Grinchtein, J. Pearson, M. Carlsson","doi":"10.1007/978-3-319-92970-5_15","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_15","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134464955","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 Verification of Platoon Control Strategies 排控制策略的正式验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2018-04-21 DOI: 10.1007/978-3-319-92970-5_14
Adnan Rashid, U. Siddique, O. Hasan
{"title":"Formal Verification of Platoon Control Strategies","authors":"Adnan Rashid, U. Siddique, O. Hasan","doi":"10.1007/978-3-319-92970-5_14","DOIUrl":"https://doi.org/10.1007/978-3-319-92970-5_14","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134373691","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}
引用次数: 14
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 利用共享内存抽象设计弱内存模型的期望排序
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_12
Ermenegildo Tomasco, Truc L. Nguyen, B. Fischer, S. L. Torre, G. Parlato
{"title":"Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models","authors":"Ermenegildo Tomasco, Truc L. Nguyen, B. Fischer, S. L. Torre, G. Parlato","doi":"10.1007/978-3-319-66197-1_12","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_12","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125801029","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}
引用次数: 10
Trace Partitioning and Local Monitoring for Asynchronous Components 异步组件的跟踪分区和本地监控
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_14
D. Attard, Adrian Francalanza
{"title":"Trace Partitioning and Local Monitoring for Asynchronous Components","authors":"D. Attard, Adrian Francalanza","doi":"10.1007/978-3-319-66197-1_14","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_14","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116329327","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}
引用次数: 20
On Approximate Diagnosability of Metric Systems 公制系统的近似可诊断性
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_17
G. Pola, E. D. Santis, M. D. Benedetto
{"title":"On Approximate Diagnosability of Metric Systems","authors":"G. Pola, E. D. Santis, M. D. Benedetto","doi":"10.1007/978-3-319-66197-1_17","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_17","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132961278","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
PART _mathrm PW : From Partial Analysis Results to a Proof Witness 数学PW:从部分分析结果到证明见证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_8
Marie-Christine Jakobs
{"title":"PART _mathrm PW : From Partial Analysis Results to a Proof Witness","authors":"Marie-Christine Jakobs","doi":"10.1007/978-3-319-66197-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_8","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126221151","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
User Studies of Principled Model Finder Output 原则模型查找器输出的用户研究
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_11
Natasha Danas, Tim Nelson, Lane Harrison, S. Krishnamurthi, Daniel J. Dougherty
{"title":"User Studies of Principled Model Finder Output","authors":"Natasha Danas, Tim Nelson, Lane Harrison, S. Krishnamurthi, Daniel J. Dougherty","doi":"10.1007/978-3-319-66197-1_11","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_11","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132557343","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
A Diagnosis Framework for Critical Systems Verification (Short Paper) 关键系统验证的诊断框架(短文)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_27
Vincent Leildé, V. Ribaud, C. Teodorov, P. Dhaussy
{"title":"A Diagnosis Framework for Critical Systems Verification (Short Paper)","authors":"Vincent Leildé, V. Ribaud, C. Teodorov, P. Dhaussy","doi":"10.1007/978-3-319-66197-1_27","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_27","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131747123","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
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL 代表RailCNL法规的铁路基础设施参与式验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_6
Bjørnar Luteberget, J. Camilleri, Christian Johansen, G. Schneider
{"title":"Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL","authors":"Bjørnar Luteberget, J. Camilleri, Christian Johansen, G. Schneider","doi":"10.1007/978-3-319-66197-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_6","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"40 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123156517","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}
引用次数: 11
Specification and Automated Verification of Dynamic Dataflow Networks 动态数据流网络的规范与自动化验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2017-09-04 DOI: 10.1007/978-3-319-66197-1_9
Jonatan Wiik, Pontus Boström
{"title":"Specification and Automated Verification of Dynamic Dataflow Networks","authors":"Jonatan Wiik, Pontus Boström","doi":"10.1007/978-3-319-66197-1_9","DOIUrl":"https://doi.org/10.1007/978-3-319-66197-1_9","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117260625","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学术官方微信