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

International Journal on Software Tools for Technology Transfer最新文献

筛选
英文 中文
First three years of the international verification of neural networks competition (VNN-COMP) 神经网络国际验证竞赛(VNN-COMP)前三年
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-05-30 DOI: 10.1007/s10009-023-00703-4
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
{"title":"First three years of the international verification of neural networks competition (VNN-COMP)","authors":"Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu","doi":"10.1007/s10009-023-00703-4","DOIUrl":"https://doi.org/10.1007/s10009-023-00703-4","url":null,"abstract":"Abstract This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP), held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image classification, neural control, reinforcement learning, and autonomous systems. We summarize the key processes, rules, and results, present trends observed over the last three years, and provide an outlook into possible future developments.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"168 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135478364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
The power of typed affine decision structures: a case study 类型化仿射决策结构的力量:一个案例研究
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-04-21 DOI: 10.1007/s10009-023-00701-6
Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen
{"title":"The power of typed affine decision structures: a case study","authors":"Gerrit Nolte, Maximilian Schlüter, Alnis Murtovi, Bernhard Steffen","doi":"10.1007/s10009-023-00701-6","DOIUrl":"https://doi.org/10.1007/s10009-023-00701-6","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"201 1","pages":"355 - 374"},"PeriodicalIF":1.5,"publicationDate":"2023-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73756268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY 结合基于规则和基于smt的推理来验证KeY中的浮点Java程序
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-03-08 DOI: 10.1007/s10009-022-00691-x
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
{"title":"Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY","authors":"Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt","doi":"10.1007/s10009-022-00691-x","DOIUrl":"https://doi.org/10.1007/s10009-022-00691-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"11 1","pages":"185 - 204"},"PeriodicalIF":1.5,"publicationDate":"2023-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87703099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML CakeML中已验证的传播冗余和组成UNSAT检测
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-02-27 DOI: 10.1007/s10009-022-00690-y
Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen
{"title":"Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML","authors":"Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen","doi":"10.1007/s10009-022-00690-y","DOIUrl":"https://doi.org/10.1007/s10009-022-00690-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"66 1","pages":"167 - 184"},"PeriodicalIF":1.5,"publicationDate":"2023-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72858624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 构建和分析系统的工具和算法:TACAS 2021的工具论文特刊
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-02-17 DOI: 10.1007/s10009-023-00699-x
P. G. Jensen, Thomas Neele
{"title":"Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021","authors":"P. G. Jensen, Thomas Neele","doi":"10.1007/s10009-023-00699-x","DOIUrl":"https://doi.org/10.1007/s10009-023-00699-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"6 1","pages":"129 - 131"},"PeriodicalIF":1.5,"publicationDate":"2023-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85171473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Algorithm selection for SMT SMT的算法选择
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-02-15 DOI: 10.1007/s10009-023-00696-0
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
{"title":"Algorithm selection for SMT","authors":"Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh","doi":"10.1007/s10009-023-00696-0","DOIUrl":"https://doi.org/10.1007/s10009-023-00696-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"188 1","pages":"219 - 239"},"PeriodicalIF":1.5,"publicationDate":"2023-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73943848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Introduction to the special issue for SPIN 2021 《SPIN 2021》特刊简介
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-02-01 DOI: 10.1007/s10009-023-00698-y
A. Laarman, A. Sokolova
{"title":"Introduction to the special issue for SPIN 2021","authors":"A. Laarman, A. Sokolova","doi":"10.1007/s10009-023-00698-y","DOIUrl":"https://doi.org/10.1007/s10009-023-00698-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"34 1","pages":"75 - 76"},"PeriodicalIF":1.5,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86011893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the road with RTLola 和RTLola在路上
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-01-30 DOI: 10.1007/s10009-022-00689-5
Sebastian Biewer, B. Finkbeiner, H. Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger
{"title":"On the road with RTLola","authors":"Sebastian Biewer, B. Finkbeiner, H. Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger","doi":"10.1007/s10009-022-00689-5","DOIUrl":"https://doi.org/10.1007/s10009-022-00689-5","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"78 1","pages":"205 - 218"},"PeriodicalIF":1.5,"publicationDate":"2023-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76059770","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An evaluation of approaches to model checking real-time task schedulability analysis 模型检查实时任务可调度性分析方法的评价
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-01-19 DOI: 10.1007/s10009-022-00693-9
Madoda Nxumalo, Nils Timm, S. Gruner
{"title":"An evaluation of approaches to model checking real-time task schedulability analysis","authors":"Madoda Nxumalo, Nils Timm, S. Gruner","doi":"10.1007/s10009-022-00693-9","DOIUrl":"https://doi.org/10.1007/s10009-022-00693-9","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"270 1","pages":"1-14"},"PeriodicalIF":1.5,"publicationDate":"2023-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90381511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra 利用SAT求解和计算机代数改进AMulet2验证乘法器电路
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-01-11 DOI: 10.1007/s10009-022-00688-6
Daniela Kaufmann, Armin Biere
{"title":"Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra","authors":"Daniela Kaufmann, Armin Biere","doi":"10.1007/s10009-022-00688-6","DOIUrl":"https://doi.org/10.1007/s10009-022-00688-6","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"84 1","pages":"1-12"},"PeriodicalIF":1.5,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83829368","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
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学术官方微信