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

IEEE International Conference on Formal Engineering Methods最新文献

筛选
英文 中文
Detecting Energy Bugs in Android Apps Using Static Analysis 使用静态分析检测Android应用中的能量漏洞
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_12
Hao Jiang, Hongli Yang, S. Qin, Z. Su, Jian Zhang, Jun Yan
{"title":"Detecting Energy Bugs in Android Apps Using Static Analysis","authors":"Hao Jiang, Hongli Yang, S. Qin, Z. Su, Jian Zhang, Jun Yan","doi":"10.1007/978-3-319-68690-5_12","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_12","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129536062","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}
引用次数: 28
Inconsistency Analysis of Time-Based Security Policy and Firewall Policy 基于时间的安全策略与防火墙策略不一致分析
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_27
Yi Yin, Y. Tateiwa, Yun Wang, Y. Katayama, N. Takahashi
{"title":"Inconsistency Analysis of Time-Based Security Policy and Firewall Policy","authors":"Yi Yin, Y. Tateiwa, Yun Wang, Y. Katayama, N. Takahashi","doi":"10.1007/978-3-319-68690-5_27","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_27","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126991487","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
A Verification Framework for Stateful Security Protocols 状态安全协议的验证框架
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_16
Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, J. Dong
{"title":"A Verification Framework for Stateful Security Protocols","authors":"Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, J. Dong","doi":"10.1007/978-3-319-68690-5_16","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_16","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131931440","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
Classification-Based Parameter Synthesis for Parametric Timed Automata 基于分类的参数定时自动机参数综合
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_15
Jiaying Li, Jun Sun, Bo Gao, É. André
{"title":"Classification-Based Parameter Synthesis for Parametric Timed Automata","authors":"Jiaying Li, Jun Sun, Bo Gao, É. André","doi":"10.1007/978-3-319-68690-5_15","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_15","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122427180","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
A Certified Decision Procedure for Tree Shares 树形股份的认证决策程序
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_14
X. Le, Thanh-Toan Nguyen, W. Chin, Aquinas Hobor
{"title":"A Certified Decision Procedure for Tree Shares","authors":"X. Le, Thanh-Toan Nguyen, W. Chin, Aquinas Hobor","doi":"10.1007/978-3-319-68690-5_14","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_14","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132635487","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
Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems 基于细化的自适应系统设计模式建模与验证
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_10
Thomas Göthel, Nils Jähnig, S. Seif
{"title":"Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems","authors":"Thomas Göthel, Nils Jähnig, S. Seif","doi":"10.1007/978-3-319-68690-5_10","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_10","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129435228","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
Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W 将参数化X86-TSO并发程序编译到格子间
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_6
S. Conchon, David Declerck, Fatiha Zaïdi
{"title":"Compiling Parameterized X86-TSO Concurrent Programs to Cubicle- W","authors":"S. Conchon, David Declerck, Fatiha Zaïdi","doi":"10.1007/978-3-319-68690-5_6","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_6","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133087001","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
An Improved Android Collusion Attack Detection Method Based on Program Slicing 一种改进的基于程序切片的Android共谋攻击检测方法
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_19
Yunhao Liu, Xiaohong Li, Zhiyong Feng, Jianye Hao
{"title":"An Improved Android Collusion Attack Detection Method Based on Program Slicing","authors":"Yunhao Liu, Xiaohong Li, Zhiyong Feng, Jianye Hao","doi":"10.1007/978-3-319-68690-5_19","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_19","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134647693","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
Verifying Temporal Properties of C Programs via Lazy Abstraction 通过延迟抽象验证C程序的时间属性
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_8
Zhao Duan, Cong Tian, Zhenhua Duan
{"title":"Verifying Temporal Properties of C Programs via Lazy Abstraction","authors":"Zhao Duan, Cong Tian, Zhenhua Duan","doi":"10.1007/978-3-319-68690-5_8","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_8","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"301 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123121626","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
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata 简单定价时间自动机的Pareto最优可达性分析
IEEE International Conference on Formal Engineering Methods Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-68690-5_29
Zhengkui Zhang, B. Nielsen, K. Larsen, Gilles Nies, Marvin Stenger, H. Hermanns
{"title":"Pareto Optimal Reachability Analysis for Simple Priced Timed Automata","authors":"Zhengkui Zhang, B. Nielsen, K. Larsen, Gilles Nies, Marvin Stenger, H. Hermanns","doi":"10.1007/978-3-319-68690-5_29","DOIUrl":"https://doi.org/10.1007/978-3-319-68690-5_29","url":null,"abstract":"","PeriodicalId":198480,"journal":{"name":"IEEE International Conference on Formal Engineering Methods","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125963706","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
首页 上一页
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学术官方微信