Pub Date : 2014-09-09DOI: 10.1007/978-3-319-15317-9_4
J. V. D. Werf
{"title":"Compositional Verification of Asynchronously Communicating Systems","authors":"J. V. D. Werf","doi":"10.1007/978-3-319-15317-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_4","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116075187","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 : 2014-09-09DOI: 10.1007/978-3-319-15317-9_10
Md Tawhid Bin Waez, A. Wąsowski, J. Dingel, K. Rudie
{"title":"Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report","authors":"Md Tawhid Bin Waez, A. Wąsowski, J. Dingel, K. Rudie","doi":"10.1007/978-3-319-15317-9_10","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_10","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126064191","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 : 2014-09-09DOI: 10.1007/978-3-319-15317-9_18
Mohamad Noureddine, Mohamad Jaber, S. Bliudze, F. Zaraket
{"title":"Reduction and Abstraction Techniques for BIP","authors":"Mohamad Noureddine, Mohamad Jaber, S. Bliudze, F. Zaraket","doi":"10.1007/978-3-319-15317-9_18","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_18","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122421997","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 : 2014-09-09DOI: 10.1007/978-3-319-15317-9_5
V. Y. Nguyen, Benjamin Bittner, J. Katoen, T. Noll
{"title":"Compositional Analysis Using Component-Oriented Interpolation","authors":"V. Y. Nguyen, Benjamin Bittner, J. Katoen, T. Noll","doi":"10.1007/978-3-319-15317-9_5","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_5","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121273504","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 : 2014-09-09DOI: 10.1007/978-3-319-15317-9_8
Abderrahman Mokni, M. Huchard, C. Urtado, S. Vauttier, H. Zhang
{"title":"Formal Rules for Reliable Component-Based Architecture Evolution","authors":"Abderrahman Mokni, M. Huchard, C. Urtado, S. Vauttier, H. Zhang","doi":"10.1007/978-3-319-15317-9_8","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_8","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131096862","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 : 2014-09-09DOI: 10.1007/978-3-319-15317-9_22
Graeme Smith, J. Derrick, Brijesh Dongol
{"title":"Admit Your Weakness: Verifying Correctness on TSO Architectures","authors":"Graeme Smith, J. Derrick, Brijesh Dongol","doi":"10.1007/978-3-319-15317-9_22","DOIUrl":"https://doi.org/10.1007/978-3-319-15317-9_22","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124284387","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 : 2013-10-27DOI: 10.1007/978-3-319-07602-7_11
Gregor Gössler, D. Métayer
{"title":"A General Trace-Based Framework of Logical Causality","authors":"Gregor Gössler, D. Métayer","doi":"10.1007/978-3-319-07602-7_11","DOIUrl":"https://doi.org/10.1007/978-3-319-07602-7_11","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115637845","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 : 2013-10-27DOI: 10.1007/978-3-319-07602-7_17
Yi Li, Meng Sun
{"title":"Modeling and Analysis of Component Connectors in Coq","authors":"Yi Li, Meng Sun","doi":"10.1007/978-3-319-07602-7_17","DOIUrl":"https://doi.org/10.1007/978-3-319-07602-7_17","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115120639","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 : 2013-10-27DOI: 10.1007/978-3-319-07602-7_21
Anton Wijs
{"title":"Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics","authors":"Anton Wijs","doi":"10.1007/978-3-319-07602-7_21","DOIUrl":"https://doi.org/10.1007/978-3-319-07602-7_21","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132517928","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
扫码关注我们
求助内容：
应助结果提醒方式：