Pub Date : 2010-06-07DOI: 10.1007/978-3-642-13464-7_15
Pietro Ferrara
{"title":"Static Type Analysis of Pattern Matching by Abstract Interpretation","authors":"Pietro Ferrara","doi":"10.1007/978-3-642-13464-7_15","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_15","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122134194","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_14
Jan Smans, B. Jacobs, F. Piessens
{"title":"Heap-Dependent Expressions in Separation Logic","authors":"Jan Smans, B. Jacobs, F. Piessens","doi":"10.1007/978-3-642-13464-7_14","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_14","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121085970","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_9
F. Kazemeyni, E. Johnsen, Olaf Owe, I. Balasingham
{"title":"Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory","authors":"F. Kazemeyni, E. Johnsen, Olaf Owe, I. Balasingham","doi":"10.1007/978-3-642-13464-7_9","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_9","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130634321","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_16
Y. Permpoontanalarp
{"title":"On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols","authors":"Y. Permpoontanalarp","doi":"10.1007/978-3-642-13464-7_16","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_16","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126884770","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_17
P. Bokor, M. Serafini, N. Suri
{"title":"On Efficient Models for Model Checking Message-Passing Distributed Protocols","authors":"P. Bokor, M. Serafini, N. Suri","doi":"10.1007/978-3-642-13464-7_17","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_17","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115496751","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_13
Lei Bu, A. Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
{"title":"Model Checking of Hybrid Systems Using Shallow Synchronization","authors":"Lei Bu, A. Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta","doi":"10.1007/978-3-642-13464-7_13","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_13","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124610082","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_18
I. Fábregas, David de Frutos-Escrig, Miguel Palomino
{"title":"Logics for Contravariant Simulations","authors":"I. Fábregas, David de Frutos-Escrig, Miguel Palomino","doi":"10.1007/978-3-642-13464-7_18","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_18","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131684636","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_11
Ernesto Posse, J. Dingel
{"title":"Theory and Implementation of a Real-Time Extension to the pi-Calculus","authors":"Ernesto Posse, J. Dingel","doi":"10.1007/978-3-642-13464-7_11","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_11","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"48 17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124780380","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 : 2010-06-07DOI: 10.1007/978-3-642-13464-7_1
G. Holzmann
{"title":"Formal Software Verification: How Close Are We?","authors":"G. Holzmann","doi":"10.1007/978-3-642-13464-7_1","DOIUrl":"https://doi.org/10.1007/978-3-642-13464-7_1","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116707086","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
扫码关注我们
求助内容：
应助结果提醒方式：