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

IEEE International Conference on Formal Engineering Methods最新文献

筛选
英文 中文
PAR: A Practicable Formal Method and Its Supporting Platform PAR:一种可行的形式化方法及其支持平台
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_5
Jinyun Xue, Yujun Zheng, Qimin Hu, Z. You, Wuping Xie, Zhuo Cheng
{"title":"PAR: A Practicable Formal Method and Its Supporting Platform","authors":"Jinyun Xue, Yujun Zheng, Qimin Hu, Z. You, Wuping Xie, Zhuo Cheng","doi":"10.1007/978-3-030-02450-5_5","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_5","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126141908","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
Engineering a Theory of Concurrent Programming 工程并发程序设计理论
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_1
I. Hayes
{"title":"Engineering a Theory of Concurrent Programming","authors":"I. Hayes","doi":"10.1007/978-3-030-02450-5_1","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_1","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126180336","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
Security Analysis of Smart Home Implementations 智能家居实现的安全性分析
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_33
Kulani Mahadewa
{"title":"Security Analysis of Smart Home Implementations","authors":"Kulani Mahadewa","doi":"10.1007/978-3-030-02450-5_33","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_33","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116553017","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
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages 从同步通信到异步非结构化低级语言保持活跃性保证
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_18
N. Berg, Thomas Göthel, Armin Danziger, S. Glesner
{"title":"Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages","authors":"N. Berg, Thomas Göthel, Armin Danziger, S. Glesner","doi":"10.1007/978-3-030-02450-5_18","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_18","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117297052","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
Model Checking of C++ Programs Under the x86-TSO Memory Model x86-TSO内存模型下c++程序的模型检查
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_8
V. Still, J. Barnat
{"title":"Model Checking of C++ Programs Under the x86-TSO Memory Model","authors":"V. Still, J. Barnat","doi":"10.1007/978-3-030-02450-5_8","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_8","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116083759","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}
引用次数: 2
Towards Dependable and Explainable Machine Learning Using Automated Reasoning 使用自动推理实现可靠和可解释的机器学习
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_25
Hadrien Bride, Jie Dong, J. Dong, Zhé Hóu
{"title":"Towards Dependable and Explainable Machine Learning Using Automated Reasoning","authors":"Hadrien Bride, Jie Dong, J. Dong, Zhé Hóu","doi":"10.1007/978-3-030-02450-5_25","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_25","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129215533","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}
引用次数: 17
Formalising Performance Guarantees in Meta-Reinforcement Learning 元强化学习中性能保证的形式化
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_37
Amanda Mahony
{"title":"Formalising Performance Guarantees in Meta-Reinforcement Learning","authors":"Amanda Mahony","doi":"10.1007/978-3-030-02450-5_37","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_37","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121785170","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
Strongly Typed Numerical Computations 强类型数值计算
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_12
M. Martel
{"title":"Strongly Typed Numerical Computations","authors":"M. Martel","doi":"10.1007/978-3-030-02450-5_12","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_12","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"194 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133819959","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
Model Based Testing of Cyber-Physical Systems 基于模型的信息物理系统测试
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_27
Teck Ping Khoo
{"title":"Model Based Testing of Cyber-Physical Systems","authors":"Teck Ping Khoo","doi":"10.1007/978-3-030-02450-5_27","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_27","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133817020","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
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control 利用定理证明提高信息流控制依赖分析的精度
IEEE International Conference on Formal Engineering Methods Pub Date : 2018-11-12 DOI: 10.1007/978-3-030-02450-5_17
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
{"title":"Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control","authors":"Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning","doi":"10.1007/978-3-030-02450-5_17","DOIUrl":"https://doi.org/10.1007/978-3-030-02450-5_17","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125748582","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}
引用次数: 2
首页 上一页 下一页 尾页
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学术官方微信