Pub Date : 2021-12-01DOI: 10.1007/s10703-022-00397-5
Martin Kölbl, S. Leue, Thomas Wies
{"title":"Automated repair for timed systems","authors":"Martin Kölbl, S. Leue, Thomas Wies","doi":"10.1007/s10703-022-00397-5","DOIUrl":"https://doi.org/10.1007/s10703-022-00397-5","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"59 1","pages":"136 - 169"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48520432","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-01DOI: 10.1007/s10703-022-00395-7
Angelo Ferrando, R. C. Cardoso, M. Farrell, Matt Luckcuck, Fabio Papacchini, M. Fisher, V. Mascardi
{"title":"Bridging the gap between single- and multi-model predictive runtime verification","authors":"Angelo Ferrando, R. C. Cardoso, M. Farrell, Matt Luckcuck, Fabio Papacchini, M. Fisher, V. Mascardi","doi":"10.1007/s10703-022-00395-7","DOIUrl":"https://doi.org/10.1007/s10703-022-00395-7","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"1 1","pages":"1-33"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42527213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-01DOI: 10.1007/s10703-022-00399-3
C. Ballabriga, J. Forget, Jordy Ruiz
{"title":"Relational abstract interpretation of arrays in assembly code","authors":"C. Ballabriga, J. Forget, Jordy Ruiz","doi":"10.1007/s10703-022-00399-3","DOIUrl":"https://doi.org/10.1007/s10703-022-00399-3","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"27 1","pages":"103 - 135"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52227103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-01DOI: 10.1007/s10703-022-00401-y
Srinivas Pinisetty, Ankit Pradhan, P. Roop, S. Tripakis
{"title":"Compositional runtime enforcement revisited","authors":"Srinivas Pinisetty, Ankit Pradhan, P. Roop, S. Tripakis","doi":"10.1007/s10703-022-00401-y","DOIUrl":"https://doi.org/10.1007/s10703-022-00401-y","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"59 1","pages":"205 - 252"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48128764","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-12-01DOI: 10.1007/s10703-022-00392-w
D. Monniaux
{"title":"The complexity gap in the static analysis of cache accesses grows if procedure calls are added","authors":"D. Monniaux","doi":"10.1007/s10703-022-00392-w","DOIUrl":"https://doi.org/10.1007/s10703-022-00392-w","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"59 1","pages":"1 - 20"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49438633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-04DOI: 10.1007/s10703-021-00383-3
A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta
{"title":"Extended bounded response LTL: a new safety fragment for efficient reactive synthesis","authors":"A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta","doi":"10.1007/s10703-021-00383-3","DOIUrl":"https://doi.org/10.1007/s10703-021-00383-3","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2021-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41708906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-01DOI: 10.1007/s10703-022-00389-5
Rohit Dureja, Kristin Yvonne Rozier
{"title":"Incremental design-space model checking via reusable reachable state approximations","authors":"Rohit Dureja, Kristin Yvonne Rozier","doi":"10.1007/s10703-022-00389-5","DOIUrl":"https://doi.org/10.1007/s10703-022-00389-5","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"58 1","pages":"375 - 398"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44313156","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-01DOI: 10.1007/s10703-023-00408-z
G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa
{"title":"Parameterized verification of leader/follower systems via first-order temporal logic","authors":"G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa","doi":"10.1007/s10703-023-00408-z","DOIUrl":"https://doi.org/10.1007/s10703-023-00408-z","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"58 1","pages":"440 - 468"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48428693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2021-11-01DOI: 10.1007/s10703-022-00390-y
G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa
{"title":"Parameterized verification of leader/follower systems via first-order temporal logic","authors":"G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa","doi":"10.1007/s10703-022-00390-y","DOIUrl":"https://doi.org/10.1007/s10703-022-00390-y","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"1 1","pages":"1-29"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45213330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：