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

Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...最新文献

筛选
英文 中文
RTLola on Board: Testing Real Driving Emissions on your Phone 车上的RTLola:在你的手机上测试真实的驾驶排放
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_20
Sebastian Biewer, B. Finkbeiner, H. Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
{"title":"RTLola on Board: Testing Real Driving Emissions on your Phone","authors":"Sebastian Biewer, B. Finkbeiner, H. Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger","doi":"10.1007/978-3-030-72013-1_20","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_20","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"61 2 1","pages":"365 - 372"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85870059","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
Software Verification: 10th Comparative Evaluation (SV-COMP 2021) 软件验证:第十次比较评估(SV-COMP 2021)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_24
D. Beyer
{"title":"Software Verification: 10th Comparative Evaluation (SV-COMP 2021)","authors":"D. Beyer","doi":"10.1007/978-3-030-72013-1_24","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_24","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"1 1","pages":"401 - 422"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88788654","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}
引用次数: 50
Symbolic Coloured SCC Decomposition 符号彩色SCC分解
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_4
Nikola Benes, L. Brim, Samuel Pastva, David Šafránek
{"title":"Symbolic Coloured SCC Decomposition","authors":"Nikola Benes, L. Brim, Samuel Pastva, David Šafránek","doi":"10.1007/978-3-030-72013-1_4","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_4","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"12652 1","pages":"64 - 83"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87023924","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
cpalockator: Thread-Modular Analysis with Projections cpalockator:带投影的线程模块化分析
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_25
Pavel S. Andrianov, V. Mutilin, A. Khoroshilov
{"title":"cpalockator: Thread-Modular Analysis with Projections","authors":"Pavel S. Andrianov, V. Mutilin, A. Khoroshilov","doi":"10.1007/978-3-030-72013-1_25","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_25","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"2016 1","pages":"423 - 427"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86614312","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
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution) VeriAbs:一个通过抽象进行可伸缩验证的工具(竞赛贡献)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_32
P. Darke, Sakshi Agrawal, R. Venkatesh
{"title":"VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)","authors":"P. Darke, Sakshi Agrawal, R. Venkatesh","doi":"10.1007/978-3-030-72013-1_32","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_32","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"54 1","pages":"458 - 462"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76636740","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
Momba: JANI Meets Python 蒙巴:贾尼遇上Python
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_23
Maximilian A. Köhl, M. Klauck, H. Hermanns
{"title":"Momba: JANI Meets Python","authors":"Maximilian A. Köhl, M. Klauck, H. Hermanns","doi":"10.1007/978-3-030-72013-1_23","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_23","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"18 1","pages":"389 - 398"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78743216","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
Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) Dartagnan:利用编译器优化和精度的代价(竞争贡献)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_26
Hernán Ponce de León, Thomas Haas, R. Meyer
{"title":"Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution)","authors":"Hernán Ponce de León, Thomas Haas, R. Meyer","doi":"10.1007/978-3-030-72013-1_26","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_26","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"6 1","pages":"428 - 432"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72976564","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 Web Interface for Petri Nets with Transits and Petri Games 一个带有传输和Petri游戏的Petri网的Web界面
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_22
Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich
{"title":"A Web Interface for Petri Nets with Transits and Petri Games","authors":"Manuel Gieseking, Jesko Hecking-Harbusch, Ann Yanich","doi":"10.1007/978-3-030-72013-1_22","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_22","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"12 1","pages":"381 - 388"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84214581","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
Making Theory Reasoning Simpler 简化理论推理
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_9
Giles Reger, Johannes Schoisswohl, A. Voronkov
{"title":"Making Theory Reasoning Simpler","authors":"Giles Reger, Johannes Schoisswohl, A. Voronkov","doi":"10.1007/978-3-030-72013-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_9","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"51 1","pages":"164 - 180"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83303570","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
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) Gazer-Theta:基于llvm的验证器组合与BMC/CEGAR(竞赛贡献)
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ... Pub Date : 2021-02-26 DOI: 10.1007/978-3-030-72013-1_27
Zsófia Ádám, G. Sallai, Á. Hajdu
{"title":"Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)","authors":"Zsófia Ádám, G. Sallai, Á. Hajdu","doi":"10.1007/978-3-030-72013-1_27","DOIUrl":"https://doi.org/10.1007/978-3-030-72013-1_27","url":null,"abstract":"","PeriodicalId":93056,"journal":{"name":"Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, ...","volume":"130 3 1","pages":"433 - 437"},"PeriodicalIF":0.0,"publicationDate":"2021-02-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76598095","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信