Pub Date : 2019-10-09DOI: 10.1007/978-3-030-30985-5_24
V. Nguyen, Wendelin Serwe, Radu Mateescu, E. Jenn
{"title":"Hunting Superfluous Locks with Model Checking","authors":"V. Nguyen, Wendelin Serwe, Radu Mateescu, E. Jenn","doi":"10.1007/978-3-030-30985-5_24","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_24","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116519520","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}
Pub Date : 2019-10-09DOI: 10.1007/978-3-030-30985-5_7
G. Belmonte, V. Ciancia, D. Latella, M. Massink
{"title":"Innovating Medical Image Analysis via Spatial Logics","authors":"G. Belmonte, V. Ciancia, D. Latella, M. Massink","doi":"10.1007/978-3-030-30985-5_7","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_7","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114358919","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}
Pub Date : 2019-10-09DOI: 10.1007/978-3-030-30985-5_29
G. Lenzini, M. Petrocchi
{"title":"Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study","authors":"G. Lenzini, M. Petrocchi","doi":"10.1007/978-3-030-30985-5_29","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_29","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"56 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113933759","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}
Pub Date : 2019-10-09DOI: 10.1007/978-3-030-30985-5_22
R. Nicola, T. Duong, Omar Inverso, F. Mazzanti
{"title":"A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems","authors":"R. Nicola, T. Duong, Omar Inverso, F. Mazzanti","doi":"10.1007/978-3-030-30985-5_22","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_22","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132822213","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-30985-5_30
T. Bolognesi
{"title":"Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets","authors":"T. Bolognesi","doi":"10.1007/978-3-030-30985-5_30","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_30","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","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":"126829136","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-30985-5_1
M. T. Beek, A. Fantechi, L. Semini
{"title":"The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back","authors":"M. T. Beek, A. Fantechi, L. Semini","doi":"10.1007/978-3-030-30985-5_1","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_1","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"80 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":"123012361","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-30985-5_23
C. Laneve, C. Coen, Adele Veschetti
{"title":"On the Prediction of Smart Contracts' Behaviours","authors":"C. Laneve, C. Coen, Adele Veschetti","doi":"10.1007/978-3-030-30985-5_23","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_23","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"2 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":"125975021","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-30985-5_8
M. Askarpour, C. Ghezzi, D. Mandrioli, M. Rossi, Christos Tsigkanos
{"title":"Formal Methods in Designing Critical Cyber-Physical Systems","authors":"M. Askarpour, C. Ghezzi, D. Mandrioli, M. Rossi, Christos Tsigkanos","doi":"10.1007/978-3-030-30985-5_8","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_8","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"25 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":"121937105","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-30985-5_15
I. Biscoglio, Attilio Ciancabilla, M. Fusani, G. Lami, G. Trentanni
{"title":"Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards","authors":"I. Biscoglio, Attilio Ciancabilla, M. Fusani, G. Lami, G. Trentanni","doi":"10.1007/978-3-030-30985-5_15","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5_15","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"115 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":"133943157","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-30985-5
M. T. Beek, A. Fantechi, L. Semini
{"title":"From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday","authors":"M. T. Beek, A. Fantechi, L. Semini","doi":"10.1007/978-3-030-30985-5","DOIUrl":"https://doi.org/10.1007/978-3-030-30985-5","url":null,"abstract":"","PeriodicalId":447030,"journal":{"name":"From Software Engineering to Formal Methods and Tools, and Back","volume":"01 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":"127332053","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：