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

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

筛选
英文 中文
Go2Pins: a framework for the LTL verification of Go programs (extended version) Go2Pins:用于Go程序LTL验证的框架(扩展版本)
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-01-06 DOI: 10.1007/s10009-022-00692-w
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, E. Renault
{"title":"Go2Pins: a framework for the LTL verification of Go programs (extended version)","authors":"Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, E. Renault","doi":"10.1007/s10009-022-00692-w","DOIUrl":"https://doi.org/10.1007/s10009-022-00692-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"126 1","pages":"1-18"},"PeriodicalIF":1.5,"publicationDate":"2023-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88032552","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
Leveraging polyhedral reductions for solving Petri net reachability problems 利用多面体约简来解决Petri网可达性问题
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-12-22 DOI: 10.1007/s10009-022-00694-8
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
{"title":"Leveraging polyhedral reductions for solving Petri net reachability problems","authors":"Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan","doi":"10.1007/s10009-022-00694-8","DOIUrl":"https://doi.org/10.1007/s10009-022-00694-8","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"12 1","pages":"95 - 114"},"PeriodicalIF":1.5,"publicationDate":"2022-12-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89277015","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
Analyzing neural network behavior through deep statistical model checking 通过深度统计模型检验分析神经网络行为
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-12-13 DOI: 10.1007/s10009-022-00685-9
Timo P. Gros, H. Hermanns, Jörg Hoffmann, M. Klauck, Marcel Steinmetz
{"title":"Analyzing neural network behavior through deep statistical model checking","authors":"Timo P. Gros, H. Hermanns, Jörg Hoffmann, M. Klauck, Marcel Steinmetz","doi":"10.1007/s10009-022-00685-9","DOIUrl":"https://doi.org/10.1007/s10009-022-00685-9","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"29 1","pages":"407 - 426"},"PeriodicalIF":1.5,"publicationDate":"2022-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76942732","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
SMT solving for the validation of B and Event-B models 用于验证B和Event-B模型的SMT求解
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-11-21 DOI: 10.1007/s10009-022-00682-y
Joshua Schmidt, M. Leuschel
{"title":"SMT solving for the validation of B and Event-B models","authors":"Joshua Schmidt, M. Leuschel","doi":"10.1007/s10009-022-00682-y","DOIUrl":"https://doi.org/10.1007/s10009-022-00682-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"107 1","pages":"1043 - 1077"},"PeriodicalIF":1.5,"publicationDate":"2022-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76345624","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}
引用次数: 5
Randomized reachability analysis in UPPAAL: fast error detection in timed systems UPPAAL随机可达性分析:定时系统的快速错误检测
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-11-17 DOI: 10.1007/s10009-022-00681-z
Andrej Kiviriga, K. Larsen, Ulrik Nyman
{"title":"Randomized reachability analysis in UPPAAL: fast error detection in timed systems","authors":"Andrej Kiviriga, K. Larsen, Ulrik Nyman","doi":"10.1007/s10009-022-00681-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00681-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"8 1","pages":"1025 - 1042"},"PeriodicalIF":1.5,"publicationDate":"2022-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74304304","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
Analysis of recurrent neural networks via property-directed verification of surrogate models 通过代理模型的属性导向验证来分析递归神经网络
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-11-16 DOI: 10.1007/s10009-022-00684-w
I. Khmelnitsky, D. Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, Lina Ye
{"title":"Analysis of recurrent neural networks via property-directed verification of surrogate models","authors":"I. Khmelnitsky, D. Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, B. Bollig, A. Finkel, S. Haddad, M. Leucker, Lina Ye","doi":"10.1007/s10009-022-00684-w","DOIUrl":"https://doi.org/10.1007/s10009-022-00684-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"64 1","pages":"341 - 354"},"PeriodicalIF":1.5,"publicationDate":"2022-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78699380","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
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps 基于代数回路和自适应步骤的联合仿真算法的验证与综合
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-11-12 DOI: 10.1007/s10009-022-00686-8
Simon Thrane Hansen, Casper Thule, C. Gomes, J. V. D. Pol, Maurizio Palmieri, Emin Oguz Inci, F. Madsen, J. Alfonso, J. A. Castellanos, J. Rodríguez-Fortún
{"title":"Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps","authors":"Simon Thrane Hansen, Casper Thule, C. Gomes, J. V. D. Pol, Maurizio Palmieri, Emin Oguz Inci, F. Madsen, J. Alfonso, J. A. Castellanos, J. Rodríguez-Fortún","doi":"10.1007/s10009-022-00686-8","DOIUrl":"https://doi.org/10.1007/s10009-022-00686-8","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"25 1","pages":"999 - 1024"},"PeriodicalIF":1.5,"publicationDate":"2022-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85702563","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}
引用次数: 5
Automated formal analysis of temporal properties of Ladder programs 梯子程序的时间属性的自动形式化分析
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-11-01 DOI: 10.1007/s10009-022-00680-0
C. Lourenço, D. Cousineau, Florian Faissole, C. Marché, David Mentré, Hiroaki Inoue
{"title":"Automated formal analysis of temporal properties of Ladder programs","authors":"C. Lourenço, D. Cousineau, Florian Faissole, C. Marché, David Mentré, Hiroaki Inoue","doi":"10.1007/s10009-022-00680-0","DOIUrl":"https://doi.org/10.1007/s10009-022-00680-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"34 1","pages":"977 - 997"},"PeriodicalIF":1.5,"publicationDate":"2022-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75066504","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
Formal methods and tools for industrial critical systems 工业关键系统的形式化方法和工具
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-10-28 DOI: 10.1007/s10009-022-00687-7
Alberto Lluch Lafuente, Anastasia Mavridou
{"title":"Formal methods and tools for industrial critical systems","authors":"Alberto Lluch Lafuente, Anastasia Mavridou","doi":"10.1007/s10009-022-00687-7","DOIUrl":"https://doi.org/10.1007/s10009-022-00687-7","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"29 1","pages":"973 - 976"},"PeriodicalIF":1.5,"publicationDate":"2022-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85572025","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
Partial-order reduction for parity games and parameterised Boolean equation systems 奇偶对策和参数化布尔方程组的偏序约简
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-10-01 DOI: 10.1007/s10009-022-00672-0
Thomas Neele, T. Willemse, Wieger Wesselink, A. Valmari
{"title":"Partial-order reduction for parity games and parameterised Boolean equation systems","authors":"Thomas Neele, T. Willemse, Wieger Wesselink, A. Valmari","doi":"10.1007/s10009-022-00672-0","DOIUrl":"https://doi.org/10.1007/s10009-022-00672-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"9 37 1","pages":"735 - 756"},"PeriodicalIF":1.5,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89139786","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
首页 上一页 下一页 尾页
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学术官方微信