发布求助
文献互助 智能选刊 最新文献

International Workshop on Formal Aspects of Component Software最新文献

筛选
英文 中文
Compositional Verification of Asynchronously Communicating Systems 异步通信系统的组成验证
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 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}
引用次数: 1
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report 混合临界多核系统重构服务的综合:经验报告
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 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}
引用次数: 7
Reduction and Abstraction Techniques for BIP BIP的约简和抽象技术
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 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}
引用次数: 7
Compositional Analysis Using Component-Oriented Interpolation 面向分量插值的成分分析
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 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}
引用次数: 1
Formal Rules for Reliable Component-Based Architecture Evolution 可靠的基于组件的体系结构演化的形式化规则
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 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}
引用次数: 6
Admit Your Weakness: Verifying Correctness on TSO Architectures 承认你的弱点:验证TSO架构的正确性
International Workshop on Formal Aspects of Component Software Pub Date : 2014-09-09 DOI: 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}
引用次数: 13
Probabilistic Modal Specifications (Invited Extended Abstract) 概率模态规范(邀请扩展摘要)
International Workshop on Formal Aspects of Component Software Pub Date : 2013-10-27 DOI: 10.1007/978-3-319-07602-7_1
K. Larsen, Axel Legay
{"title":"Probabilistic Modal Specifications (Invited Extended Abstract)","authors":"K. Larsen, Axel Legay","doi":"10.1007/978-3-319-07602-7_1","DOIUrl":"https://doi.org/10.1007/978-3-319-07602-7_1","url":null,"abstract":"","PeriodicalId":264734,"journal":{"name":"International Workshop on Formal Aspects of Component Software","volume":"104 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":"132954885","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}
引用次数: 0
A General Trace-Based Framework of Logical Causality 逻辑因果关系的一般循迹框架
International Workshop on Formal Aspects of Component Software Pub Date : 2013-10-27 DOI: 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}
引用次数: 27
Modeling and Analysis of Component Connectors in Coq Coq中组件连接器的建模与分析
International Workshop on Formal Aspects of Component Software Pub Date : 2013-10-27 DOI: 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}
引用次数: 7
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics 定义、验证、精炼:并发系统语义的正确组合和转换
International Workshop on Formal Aspects of Component Software Pub Date : 2013-10-27 DOI: 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}
引用次数: 15
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信