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

Formal Techniques for (Networked and) Distributed Systems最新文献

筛选
英文 中文
Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs 基于展开的异步分布式程序的动态偏序约简
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2019-06-17 DOI: 10.1007/978-3-030-21759-4_13
T. Pham, Thierry Jéron, M. Quinson
{"title":"Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs","authors":"T. Pham, Thierry Jéron, M. Quinson","doi":"10.1007/978-3-030-21759-4_13","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_13","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131321651","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}
引用次数: 4
On Certifying Distributed Algorithms: Problem of Local Correctness 分布式算法认证:局部正确性问题
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2019-06-17 DOI: 10.1007/978-3-030-21759-4_16
Kim Völlinger
{"title":"On Certifying Distributed Algorithms: Problem of Local Correctness","authors":"Kim Völlinger","doi":"10.1007/978-3-030-21759-4_16","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_16","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114636674","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
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems 分布式网络物理系统的分散实时安全验证
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2019-06-17 DOI: 10.1007/978-3-030-21759-4_15
Hoang-Dung Tran, L. V. Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
{"title":"Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems","authors":"Hoang-Dung Tran, L. V. Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson","doi":"10.1007/978-3-030-21759-4_15","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_15","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132763559","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}
引用次数: 14
Relating Process Languages for Security and Communication Correctness (Extended Abstract) 相关过程语言的安全性和通信正确性(扩展摘要)
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_5
Daniele Nantes, Jorge A. Pérez
{"title":"Relating Process Languages for Security and Communication Correctness (Extended Abstract)","authors":"Daniele Nantes, Jorge A. Pérez","doi":"10.1007/978-3-319-92612-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_5","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123684072","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
Parameter Synthesis Algorithms for Parametric Interval Markov Chains 参数区间马尔可夫链的参数综合算法
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_7
L. Petrucci, J. Pol
{"title":"Parameter Synthesis Algorithms for Parametric Interval Markov Chains","authors":"L. Petrucci, J. Pol","doi":"10.1007/978-3-319-92612-4_7","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_7","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123014309","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
Information Flow Tracking for Side-Effectful Libraries 副作用库的信息流跟踪
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_8
Alexander Sjösten, Daniel Hedin, A. Sabelfeld
{"title":"Information Flow Tracking for Side-Effectful Libraries","authors":"Alexander Sjösten, Daniel Hedin, A. Sabelfeld","doi":"10.1007/978-3-319-92612-4_8","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_8","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131252858","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}
引用次数: 3
Preserving Contract Satisfiability Under Non-monotonic Composition 非单调组合下保持契约可满足性
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_10
Jonas Westman, M. Nyberg
{"title":"Preserving Contract Satisfiability Under Non-monotonic Composition","authors":"Jonas Westman, M. Nyberg","doi":"10.1007/978-3-319-92612-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_10","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128056063","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}
引用次数: 5
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency 分布式算法认证的验证框架:分布式检查和一致性
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_9
Kim Völlinger, Samira Akili
{"title":"On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency","authors":"Kim Völlinger, Samira Akili","doi":"10.1007/978-3-319-92612-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_9","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125088887","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}
引用次数: 5
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 网络物理系统的适度安全分析:一个案例研究
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_4
R. Lanotte, Massimo Merro, A. Munteanu
{"title":"A Modest Security Analysis of Cyber-Physical Systems: A Case Study","authors":"R. Lanotte, Massimo Merro, A. Munteanu","doi":"10.1007/978-3-319-92612-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_4","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127974145","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}
引用次数: 5
A Distributed Coordination Infrastructure for Attribute-Based Interaction 基于属性交互的分布式协调基础结构
Formal Techniques for (Networked and) Distributed Systems Pub Date : 2018-06-18 DOI: 10.1007/978-3-319-92612-4_1
Yehia Abd Alrahman, R. Nicola, G. Garbi, M. Loreti
{"title":"A Distributed Coordination Infrastructure for Attribute-Based Interaction","authors":"Yehia Abd Alrahman, R. Nicola, G. Garbi, M. Loreti","doi":"10.1007/978-3-319-92612-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-92612-4_1","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129633846","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信