Pub Date : 2023-01-06DOI: 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}
Pub Date : 2022-12-22DOI: 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}
Pub Date : 2022-12-13DOI: 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}
Pub Date : 2022-11-21DOI: 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}
Pub Date : 2022-11-17DOI: 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}
Pub Date : 2022-11-16DOI: 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}
Pub Date : 2022-11-12DOI: 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}
Pub Date : 2022-11-01DOI: 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}
Pub Date : 2022-10-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：