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

FMOODS/FORTE最新文献

筛选
英文 中文
Model Checking Distributed Systems against Temporal-Epistemic Specifications 基于时间认知规范的分布式系统模型检验
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_10
Andreas Griesmayer, A. Lomuscio
{"title":"Model Checking Distributed Systems against Temporal-Epistemic Specifications","authors":"Andreas Griesmayer, A. Lomuscio","doi":"10.1007/978-3-642-38592-6_10","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_10","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115940061","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
Lintent: Towards Security Type-Checking of Android Applications 主旨:Android应用程序的安全类型检查
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_20
M. Bugliesi, Stefano Calzavara, Alvise Spanò
{"title":"Lintent: Towards Security Type-Checking of Android Applications","authors":"M. Bugliesi, Stefano Calzavara, Alvise Spanò","doi":"10.1007/978-3-642-38592-6_20","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_20","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121971370","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}
引用次数: 26
A Case Study in Formal Verification Using Multiple Explicit Heaps 使用多个显式堆的形式验证案例研究
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_3
Wojciech Mostowski
{"title":"A Case Study in Formal Verification Using Multiple Explicit Heaps","authors":"Wojciech Mostowski","doi":"10.1007/978-3-642-38592-6_3","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_3","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"2 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114134481","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
Formal Analysis of a Distributed Algorithm for Tracking Progress 分布式进度跟踪算法的形式化分析
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_2
M. Abadi, Frank McSherry, D. Murray, T. Rodeheffer
{"title":"Formal Analysis of a Distributed Algorithm for Tracking Progress","authors":"M. Abadi, Frank McSherry, D. Murray, T. Rodeheffer","doi":"10.1007/978-3-642-38592-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_2","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123702270","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}
引用次数: 10
Verification of Directed Acyclic Ad Hoc Networks 有向无环Ad Hoc网络的验证
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_14
P. Abdulla, M. Atig, Othmane Rezine
{"title":"Verification of Directed Acyclic Ad Hoc Networks","authors":"P. Abdulla, M. Atig, Othmane Rezine","doi":"10.1007/978-3-642-38592-6_14","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_14","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123895163","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}
引用次数: 12
Formal Verification of Distributed Branching Multiway Synchronization Protocols 分布式分支多路同步协议的形式化验证
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_11
Hugues Evrard, Frédéric Lang
{"title":"Formal Verification of Distributed Branching Multiway Synchronization Protocols","authors":"Hugues Evrard, Frédéric Lang","doi":"10.1007/978-3-642-38592-6_11","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_11","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127467017","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}
引用次数: 12
A Timed Component Algebra for Services 服务的定时组件代数
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_17
Benoît Delahaye, J. Fiadeiro, Axel Legay, A. Lopes
{"title":"A Timed Component Algebra for Services","authors":"Benoît Delahaye, J. Fiadeiro, Axel Legay, A. Lopes","doi":"10.1007/978-3-642-38592-6_17","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_17","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131518294","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
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels 基于传感器的噪声信道重传协议算法验证
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_15
Jay Thakkar, Aditya Kanade, R. Alur
{"title":"Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels","authors":"Jay Thakkar, Aditya Kanade, R. Alur","doi":"10.1007/978-3-642-38592-6_15","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_15","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133129509","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}
引用次数: 8
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects 基于并行可能发生的并发对象死锁分析
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_19
Antonio Flores-Montoya, E. Albert, S. Genaim
{"title":"May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects","authors":"Antonio Flores-Montoya, E. Albert, S. Genaim","doi":"10.1007/978-3-642-38592-6_19","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_19","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115682807","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}
引用次数: 51
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language 面向会话的函数语言中泄漏检测的多态类型
FMOODS/FORTE Pub Date : 2013-06-03 DOI: 10.1007/978-3-642-38592-6_7
V. Bono, L. Padovani, A. Tosatto
{"title":"Polymorphic Types for Leak Detection in a Session-Oriented Functional Language","authors":"V. Bono, L. Padovani, A. Tosatto","doi":"10.1007/978-3-642-38592-6_7","DOIUrl":"https://doi.org/10.1007/978-3-642-38592-6_7","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131526642","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}
引用次数: 10
下一页 尾页
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学术官方微信