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

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

筛选
英文 中文
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study 物联网系统的互操作性和集成测试方法:系统映射研究
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2020-07-22 DOI: 10.1007/978-3-030-58768-0_6
Miroslav Bures, Matej Klima, Vaclav Rechtberger, X. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
{"title":"Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study","authors":"Miroslav Bures, Matej Klima, Vaclav Rechtberger, X. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed","doi":"10.1007/978-3-030-58768-0_6","DOIUrl":"https://doi.org/10.1007/978-3-030-58768-0_6","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134364581","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}
引用次数: 15
Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment 在二进制文件中检测基于触发器的行为:揭示正确的环境
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_26
Dorottya Papp, Thorsten Tarrach, L. Buttyán
{"title":"Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment","authors":"Dorottya Papp, Thorsten Tarrach, L. Buttyán","doi":"10.1007/978-3-030-30446-1_26","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_26","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126221231","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
Isabelle/DOF: Design and Implementation Isabelle/DOF:设计和实现
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_15
Achim D. Brucker, B. Wolff
{"title":"Isabelle/DOF: Design and Implementation","authors":"Achim D. Brucker, B. Wolff","doi":"10.1007/978-3-030-30446-1_15","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_15","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"96 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128828215","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
Incorporating Data into EFSM Inference 将数据纳入EFSM推理
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_14
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, J. Derrick
{"title":"Incorporating Data into EFSM Inference","authors":"Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, J. Derrick","doi":"10.1007/978-3-030-30446-1_14","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_14","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116013609","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
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach 学习最小DFA:从RPNI中获得灵感以改进SAT方法
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_13
Florent Avellaneda, A. Petrenko
{"title":"Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach","authors":"Florent Avellaneda, A. Petrenko","doi":"10.1007/978-3-030-30446-1_13","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_13","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129587840","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
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages 使用威胁分析技术指导正式验证:合作意识消息的案例研究
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_25
M. Farrell, M. Bradbury, Michael Fisher, Louise Dennis, C. Dixon, Hu Yuan, C. Maple
{"title":"Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages","authors":"M. Farrell, M. Bradbury, Michael Fisher, Louise Dennis, C. Dixon, Hu Yuan, C. Maple","doi":"10.1007/978-3-030-30446-1_25","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_25","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122446930","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
Multi-objective Search for Effective Testing of Cyber-Physical Systems 信息物理系统有效测试的多目标搜索
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_10
Hugo L. S. Araujo, Gustavo Carvalho, M. Mousavi, A. Sampaio
{"title":"Multi-objective Search for Effective Testing of Cyber-Physical Systems","authors":"Hugo L. S. Araujo, Gustavo Carvalho, M. Mousavi, A. Sampaio","doi":"10.1007/978-3-030-30446-1_10","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_10","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"1993 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126746853","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}
引用次数: 9
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots 自主机器人基于形式模型的保证案例的演变
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_5
Mario Gleirscher, S. Foster, Yakoub Nemouchi
{"title":"Evolution of Formal Model-Based Assurance Cases for Autonomous Robots","authors":"Mario Gleirscher, S. Foster, Yakoub Nemouchi","doi":"10.1007/978-3-030-30446-1_5","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_5","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"406 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133240319","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 Relational Verification for Program Slicing 在程序切片中使用关系验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_19
Bernhard Beckert, Thorsten Bormer, S. Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
{"title":"Using Relational Verification for Program Slicing","authors":"Bernhard Beckert, Thorsten Bormer, S. Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich","doi":"10.1007/978-3-030-30446-1_19","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_19","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124633468","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
Partially Bounded Context-Aware Verification 部分有界的上下文感知验证
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2019-09-18 DOI: 10.1007/978-3-030-30446-1_28
Luka Le Roux, C. Teodorov
{"title":"Partially Bounded Context-Aware Verification","authors":"Luka Le Roux, C. Teodorov","doi":"10.1007/978-3-030-30446-1_28","DOIUrl":"https://doi.org/10.1007/978-3-030-30446-1_28","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"1996 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131136518","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
首页 上一页 下一页 尾页
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学术官方微信