{"title":"Improving Automatic Complexity Analysis of Integer Programs","authors":"J. Giesl, Nils Lommen, Marcel Hark, Fabian Meyer","doi":"10.1007/978-3-031-08166-8_10","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_10","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127205306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Tabea Bordis, L. Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, B. Watson
{"title":"Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY","authors":"Tabea Bordis, L. Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, B. Watson","doi":"10.1007/978-3-031-08166-8_5","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_5","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115819058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Lifelong Learning of Reactive Systems in Practice","authors":"Alexander Bainczyk, B. Steffen, Falk Howar","doi":"10.1007/978-3-031-08166-8_3","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_3","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133350235","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the Notion of Naturalness in Formal Modeling","authors":"Eduard Kamburjan, S. Fiorini","doi":"10.1007/978-3-031-08166-8_13","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_13","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128425036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Implications of Deductive Verification on Research Quality - Field Study","authors":"Wojciech Mostowski","doi":"10.1007/978-3-031-08166-8_17","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_17","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129998449","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ferruccio Damiani, Michael Lienhardt, B. Maugars, B. Michel
{"title":"Towards a Modular and Variability-Aware Aerodynamic Simulator","authors":"Ferruccio Damiani, Michael Lienhardt, B. Maugars, B. Michel","doi":"10.1007/978-3-031-08166-8_8","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_8","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121643536","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"When COSTA Met KeY: Verified Cost Bounds","authors":"E. Albert, S. Genaim, A. Merayo, G. Román-Díez","doi":"10.1007/978-3-031-08166-8_2","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_2","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134087000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday","authors":"","doi":"10.1007/978-3-031-08166-8","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116592513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects","authors":"S. L. T. Tarifa","doi":"10.1007/978-3-031-08166-8_23","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_23","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117095647","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Guanciale, Christoph Baumann, Pablo Buiras, M. Dam, Hamed Nemati
{"title":"A Case Study in Information Flow Refinement for Low Level Systems","authors":"R. Guanciale, Christoph Baumann, Pablo Buiras, M. Dam, Hamed Nemati","doi":"10.1007/978-3-031-08166-8_4","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_4","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115230308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}