Pub Date : 2021-07-31DOI: 10.1007/s10009-021-00642-y
Tomáš Vojnar, Lijun Zhang
{"title":"Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019","authors":"Tomáš Vojnar, Lijun Zhang","doi":"10.1007/s10009-021-00642-y","DOIUrl":"https://doi.org/10.1007/s10009-021-00642-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"93 1","pages":"29 - 31"},"PeriodicalIF":1.5,"publicationDate":"2021-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80465566","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 : 2021-07-21DOI: 10.1007/s10009-021-00636-w
M. Dumas, L. García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevičius, A. Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin
{"title":"Multi-level privacy analysis of business processes: the Pleak toolset","authors":"M. Dumas, L. García-Bañuelos, Joosep Jääger, Peeter Laud, Raimundas Matulevičius, A. Pankova, Martin Pettai, Pille Pullonen-Raudvere, Aivo Toots, Reedik Tuuling, Maksym Yerokhin","doi":"10.1007/s10009-021-00636-w","DOIUrl":"https://doi.org/10.1007/s10009-021-00636-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"199 1","pages":"183 - 203"},"PeriodicalIF":1.5,"publicationDate":"2021-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80066597","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 : 2021-07-12DOI: 10.1007/s10009-021-00626-y
K. Havelund, D. Peled
{"title":"An extension of first-order LTL with rules with application to runtime verification","authors":"K. Havelund, D. Peled","doi":"10.1007/s10009-021-00626-y","DOIUrl":"https://doi.org/10.1007/s10009-021-00626-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"110 2-3 1","pages":"547 - 563"},"PeriodicalIF":1.5,"publicationDate":"2021-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77216593","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 : 2021-06-30DOI: 10.1007/s10009-021-00625-z
S. Kauffman, K. Havelund, S. Fischmeister
{"title":"What can we monitor over unreliable channels?","authors":"S. Kauffman, K. Havelund, S. Fischmeister","doi":"10.1007/s10009-021-00625-z","DOIUrl":"https://doi.org/10.1007/s10009-021-00625-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"75 1","pages":"579 - 600"},"PeriodicalIF":1.5,"publicationDate":"2021-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74315366","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 : 2021-06-29DOI: 10.1007/s10009-021-00627-x
D. Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
{"title":"Specifying and detecting temporal patterns with shape expressions","authors":"D. Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh","doi":"10.1007/s10009-021-00627-x","DOIUrl":"https://doi.org/10.1007/s10009-021-00627-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"43 1","pages":"565 - 577"},"PeriodicalIF":1.5,"publicationDate":"2021-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85527200","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 : 2021-06-24DOI: 10.1007/s10009-021-00617-z
Falk Howar, Marc Jasper, M. Mues, David M. Schmidt, B. Steffen
{"title":"The RERS challenge: towards controllable and scalable benchmark synthesis","authors":"Falk Howar, Marc Jasper, M. Mues, David M. Schmidt, B. Steffen","doi":"10.1007/s10009-021-00617-z","DOIUrl":"https://doi.org/10.1007/s10009-021-00617-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"29 1","pages":"917 - 930"},"PeriodicalIF":1.5,"publicationDate":"2021-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79866502","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 : 2021-06-22DOI: 10.1007/s10009-021-00613-3
Dirk Beyer
{"title":"First international competition on software testing","authors":"Dirk Beyer","doi":"10.1007/s10009-021-00613-3","DOIUrl":"https://doi.org/10.1007/s10009-021-00613-3","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"29 1","pages":"833 - 846"},"PeriodicalIF":1.5,"publicationDate":"2021-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78222847","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 : 2021-06-18DOI: 10.1007/s10009-021-00631-1
Dirk Beyer, M. Huisman, F. Kordon, B. Steffen
{"title":"TOOLympics II: competitions on formal methods","authors":"Dirk Beyer, M. Huisman, F. Kordon, B. Steffen","doi":"10.1007/s10009-021-00631-1","DOIUrl":"https://doi.org/10.1007/s10009-021-00631-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"11 1","pages":"879 - 881"},"PeriodicalIF":1.5,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76218443","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 : 2021-06-18DOI: 10.1007/s10009-021-00630-2
Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, B. Steffen
{"title":"Towards language-to-language transformation","authors":"Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, B. Steffen","doi":"10.1007/s10009-021-00630-2","DOIUrl":"https://doi.org/10.1007/s10009-021-00630-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"67 1","pages":"655 - 677"},"PeriodicalIF":1.5,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86725569","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 : 2021-06-01DOI: 10.1007/s10009-020-00585-w
Sven Schneider, M. Maximova, Lucas Sakizloglou, H. Giese
{"title":"Formal testing of timed graph transformation systems using metric temporal graph logic","authors":"Sven Schneider, M. Maximova, Lucas Sakizloglou, H. Giese","doi":"10.1007/s10009-020-00585-w","DOIUrl":"https://doi.org/10.1007/s10009-020-00585-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"57 1","pages":"411 - 488"},"PeriodicalIF":1.5,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86766011","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
扫码关注我们
求助内容：
应助结果提醒方式：