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

IEEE International Conference on Formal Engineering Methods最新文献

筛选
英文 中文
A Reo Model of Software Defined Networks 软件定义网络的Reo模型
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_5
Hui Feng, F. Arbab, M. Bonsangue
{"title":"A Reo Model of Software Defined Networks","authors":"Hui Feng, F. Arbab, M. Bonsangue","doi":"10.1007/978-3-030-32409-4_5","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_5","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128401683","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
A Security Calculus for Wireless Networks of Named Data Networking 命名数据网络无线网络的安全演算
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_11
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
{"title":"A Security Calculus for Wireless Networks of Named Data Networking","authors":"Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin","doi":"10.1007/978-3-030-32409-4_11","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_11","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124049667","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 Coalgebraic Semantics Framework for Quantum Systems 量子系统的共代数语义框架
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_24
Ai Liu, Meng Sun
{"title":"A Coalgebraic Semantics Framework for Quantum Systems","authors":"Ai Liu, Meng Sun","doi":"10.1007/978-3-030-32409-4_24","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_24","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129452586","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
Automatic Modularization of Large Programs for Bounded Model Checking 面向有界模型检验的大型程序的自动模块化
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_12
Marko Kleine Büning, C. Sinz
{"title":"Automatic Modularization of Large Programs for Bounded Model Checking","authors":"Marko Kleine Büning, C. Sinz","doi":"10.1007/978-3-030-32409-4_12","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_12","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121111284","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
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines 顺序抽象状态机中静态一阶不变量的一致性强制
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_14
K. Schewe
{"title":"Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines","authors":"K. Schewe","doi":"10.1007/978-3-030-32409-4_14","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_14","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131495928","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
Automatic Verification for Node-Based Visual Script Notation Using Model Checking 使用模型检查的基于节点的可视化脚本符号的自动验证
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_4
I. Hasegawa, Tomoyuki Yokogawa
{"title":"Automatic Verification for Node-Based Visual Script Notation Using Model Checking","authors":"I. Hasegawa, Tomoyuki Yokogawa","doi":"10.1007/978-3-030-32409-4_4","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_4","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121764172","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
SqlSol: An accurate SQL Query Synthesizer SqlSol:精确的SQL查询合成器
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_7
Lin Cheng
{"title":"SqlSol: An accurate SQL Query Synthesizer","authors":"Lin Cheng","doi":"10.1007/978-3-030-32409-4_7","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_7","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133107532","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
Combining Parallel Emptiness Checks with Partial Order Reductions 结合平行空性检验与偏序约简
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_23
D. Poitrenaud, E. Renault
{"title":"Combining Parallel Emptiness Checks with Partial Order Reductions","authors":"D. Poitrenaud, E. Renault","doi":"10.1007/978-3-030-32409-4_23","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_23","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123031977","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
Using DimSpec for Bounded and Unbounded Software Model Checking 使用DimSpec进行有界和无界软件模型检查
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_2
Marko Kleine Büning, Tomás Balyo, C. Sinz
{"title":"Using DimSpec for Bounded and Unbounded Software Model Checking","authors":"Marko Kleine Büning, Tomás Balyo, C. Sinz","doi":"10.1007/978-3-030-32409-4_2","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_2","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"192 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122645401","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
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems 安全深度学习工程:通往智能系统质量保证之路
IEEE International Conference on Formal Engineering Methods Pub Date : 2019-11-05 DOI: 10.1007/978-3-030-32409-4_1
Yang Liu, L. Ma, Jianjun Zhao
{"title":"Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems","authors":"Yang Liu, L. Ma, Jianjun Zhao","doi":"10.1007/978-3-030-32409-4_1","DOIUrl":"https://doi.org/10.1007/978-3-030-32409-4_1","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"253 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129161976","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术官方微信