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

International Symposium on Software Engineering: Theories, Tools, and Applications最新文献

筛选
英文 中文
A High-Level Model for an Assembly Language Attacker by Means of Reflection 基于反射的汇编语言攻击者高级模型
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_11
Adriaan Larmuseau, Marco Patrignani, D. Clarke
{"title":"A High-Level Model for an Assembly Language Attacker by Means of Reflection","authors":"Adriaan Larmuseau, Marco Patrignani, D. Clarke","doi":"10.1007/978-3-319-25942-0_11","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_11","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116898579","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
Improving Design Decomposition 改进设计分解
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_12
David Faitelson, S. Tyszberowicz
{"title":"Improving Design Decomposition","authors":"David Faitelson, S. Tyszberowicz","doi":"10.1007/978-3-319-25942-0_12","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_12","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126974154","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}
引用次数: 6
Assertion-Directed Precondition Synthesis for Loops over Data Structures 数据结构上循环的断言导向前提综合
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_17
Juan Zhai, Hanfei Wang, Jianhua Zhao
{"title":"Assertion-Directed Precondition Synthesis for Loops over Data Structures","authors":"Juan Zhai, Hanfei Wang, Jianhua Zhao","doi":"10.1007/978-3-319-25942-0_17","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_17","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124678849","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
Synthesizing Controllers for Multi-lane Traffic Maneuvers 多车道交通机动的综合控制器
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_5
G. Bochmann, Martin Hilscher, Sven Linker, E. Olderog
{"title":"Synthesizing Controllers for Multi-lane Traffic Maneuvers","authors":"G. Bochmann, Martin Hilscher, Sven Linker, E. Olderog","doi":"10.1007/978-3-319-25942-0_5","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_5","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121372979","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
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods 基于并行方法的同步数据流图Pareto最优调度
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_14
Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang
{"title":"Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods","authors":"Yu-Lei Gu, Xue-Yang Zhu, Guangquan Zhang","doi":"10.1007/978-3-319-25942-0_14","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_14","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134332050","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
Formal Verification of the Pastry Protocol Using mathrmTLA^+ 使用 mathmtla ^+的糕点协议的正式验证
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_19
Tianxiang Lu
{"title":"Formal Verification of the Pastry Protocol Using mathrmTLA^+","authors":"Tianxiang Lu","doi":"10.1007/978-3-319-25942-0_19","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_19","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132718413","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
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking 用于概率符号模型检验的BDD包的比较研究
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_3
T. V. Dijk, E. M. Hahn, D. Jansen, Yong Li, Thomas Neele, M. Stoelinga, Andrea Turrini, Lijun Zhang
{"title":"A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking","authors":"T. V. Dijk, E. M. Hahn, D. Jansen, Yong Li, Thomas Neele, M. Stoelinga, Andrea Turrini, Lijun Zhang","doi":"10.1007/978-3-319-25942-0_3","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_3","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117076661","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}
引用次数: 21
From Requirements Engineering to Safety Assurance: Refinement Approach 从需求工程到安全保证:改进方法
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_13
L. Laibinis, E. Troubitsyna, Y. Prokhorova, A. Iliasov, A. Romanovsky
{"title":"From Requirements Engineering to Safety Assurance: Refinement Approach","authors":"L. Laibinis, E. Troubitsyna, Y. Prokhorova, A. Iliasov, A. Romanovsky","doi":"10.1007/978-3-319-25942-0_13","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_13","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116246742","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
Towards Verified Faithful Simulation 迈向可信仿真
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_7
V. Joloboff, J. Monin, Xiaomu Shi
{"title":"Towards Verified Faithful Simulation","authors":"V. Joloboff, J. Monin, Xiaomu Shi","doi":"10.1007/978-3-319-25942-0_7","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_7","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126182253","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
Cardinality of UDP Transmission Outcomes UDP传输结果基数
International Symposium on Software Engineering: Theories, Tools, and Applications Pub Date : 2015-11-04 DOI: 10.1007/978-3-319-25942-0_8
Franz Weitl, Nazim Sebih, Cyrille Artho, M. Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, M. Yamamoto
{"title":"Cardinality of UDP Transmission Outcomes","authors":"Franz Weitl, Nazim Sebih, Cyrille Artho, M. Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, M. Yamamoto","doi":"10.1007/978-3-319-25942-0_8","DOIUrl":"https://doi.org/10.1007/978-3-319-25942-0_8","url":null,"abstract":"","PeriodicalId":409774,"journal":{"name":"International Symposium on Software Engineering: Theories, Tools, and Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129991674","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
首页 上一页 下一页 尾页
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学术官方微信