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

International School on Formal Methods for the Design of Computer, Communication and Software Systems最新文献

筛选
英文 中文
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore 多核并行对象:对并行语言再演的一瞥
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2015-06-15 DOI: 10.1007/978-3-319-18941-3_1
Stephan Brandauer, Elias Castegren, D. Clarke, Kiko Fernandez-Reyes, E. Johnsen, Ka I Pun, S. L. T. Tarifa, Tobias Wrigstad, A. Yang
{"title":"Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore","authors":"Stephan Brandauer, Elias Castegren, D. Clarke, Kiko Fernandez-Reyes, E. Johnsen, Ka I Pun, S. L. T. Tarifa, Tobias Wrigstad, A. Yang","doi":"10.1007/978-3-319-18941-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-18941-3_1","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115047924","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}
引用次数: 74
A Gentle Introduction to Multiparty Asynchronous Session Types 对多方异步会话类型的简单介绍
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2015-06-15 DOI: 10.1007/978-3-319-18941-3_4
M. Coppo, M. Dezani-Ciancaglini, L. Padovani, N. Yoshida
{"title":"A Gentle Introduction to Multiparty Asynchronous Session Types","authors":"M. Coppo, M. Dezani-Ciancaglini, L. Padovani, N. Yoshida","doi":"10.1007/978-3-319-18941-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-18941-3_4","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127966989","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}
引用次数: 55
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency 通过符号执行生成测试用例:基本概念，基于clp的实例，以及基于参与者的并发性
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_7
E. Albert, P. Arenas, M. Gómez-Zamalloa, J. Rojas
{"title":"Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency","authors":"E. Albert, P. Arenas, M. Gómez-Zamalloa, J. Rojas","doi":"10.1007/978-3-319-07317-0_7","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_7","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132325867","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
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey 离散时间马尔可夫模型的反例生成:概论
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_3
E. Ábrahám, B. Becker, C. Dehnert, N. Jansen, J. Katoen, Ralf Wimmer
{"title":"Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey","authors":"E. Ábrahám, B. Becker, C. Dehnert, N. Jansen, J. Katoen, Ralf Wimmer","doi":"10.1007/978-3-319-07317-0_3","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_3","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121116672","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}
引用次数: 46
Combining Monitoring with Run-Time Assertion Checking 将监视与运行时断言检查相结合
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_6
F. S. Boer, Stijn de Gouw
{"title":"Combining Monitoring with Run-Time Assertion Checking","authors":"F. S. Boer, Stijn de Gouw","doi":"10.1007/978-3-319-07317-0_6","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_6","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125519541","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}
引用次数: 39
Analysis of Executable Software Models 可执行软件模型分析
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_1
Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle
{"title":"Analysis of Executable Software Models","authors":"Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle","doi":"10.1007/978-3-319-07317-0_1","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_1","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117063647","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
Verification of Concurrent Systems with VerCors 用VerCors验证并发系统
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_5
A. Amighi, S. Blom, Saeed Darabi, M. Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
{"title":"Verification of Concurrent Systems with VerCors","authors":"A. Amighi, S. Blom, Saeed Darabi, M. Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski","doi":"10.1007/978-3-319-07317-0_5","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_5","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"346 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123416734","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
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms 分布式容错算法的参数化模型检验教程
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_4
Annu Gmeiner, I. Konnov, U. Schmid, H. Veith, Josef Widder
{"title":"Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms","authors":"Annu Gmeiner, I. Konnov, U. Schmid, H. Veith, Josef Widder","doi":"10.1007/978-3-319-07317-0_4","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_4","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121491548","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}
引用次数: 19
Model-Based Testing 基于模型的测试
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2014-06-16 DOI: 10.1007/978-3-319-07317-0_8
Malte Lochau, Sven Peldszus, M. Kowal, Ina Schaefer
{"title":"Model-Based Testing","authors":"Malte Lochau, Sven Peldszus, M. Kowal, Ina Schaefer","doi":"10.1007/978-3-319-07317-0_8","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_8","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132707241","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
Deadlock Detection in Linear Recursive Programs 线性递归程序中的死锁检测
International School on Formal Methods for the Design of Computer, Communication and Software Systems Pub Date : 2013-10-28 DOI: 10.1007/978-3-319-07317-0_2
Elena Giachino, C. Laneve
{"title":"Deadlock Detection in Linear Recursive Programs","authors":"Elena Giachino, C. Laneve","doi":"10.1007/978-3-319-07317-0_2","DOIUrl":"https://doi.org/10.1007/978-3-319-07317-0_2","url":null,"abstract":"","PeriodicalId":123713,"journal":{"name":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125686403","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学术官方微信