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

International Journal on Software Tools for Technology Transfer最新文献

筛选
英文 中文
SaBRe: load-time selective binary rewriting SaBRe:加载时选择性二进制重写
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-01-21 DOI: 10.1007/s10009-021-00644-w
P. Arras, A. Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
{"title":"SaBRe: load-time selective binary rewriting","authors":"P. Arras, A. Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar","doi":"10.1007/s10009-021-00644-w","DOIUrl":"https://doi.org/10.1007/s10009-021-00644-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"17 1","pages":"205 - 223"},"PeriodicalIF":1.5,"publicationDate":"2022-01-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81356975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Scenario-based verification of uncertain parametric MDPs 基于场景的不确定参数mdp验证
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-12-24 DOI: 10.1007/s10009-022-00673-z
Thom S. Badings, Murat Cubuktepe, N. Jansen, Sebastian Junges, J. Katoen, U. Topcu
{"title":"Scenario-based verification of uncertain parametric MDPs","authors":"Thom S. Badings, Murat Cubuktepe, N. Jansen, Sebastian Junges, J. Katoen, U. Topcu","doi":"10.1007/s10009-022-00673-z","DOIUrl":"https://doi.org/10.1007/s10009-022-00673-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"14 1","pages":"803 - 819"},"PeriodicalIF":1.5,"publicationDate":"2021-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83024528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
A calculus for modular loop acceleration and non-termination proofs 模环加速度的微积分及非终止证明
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-11-27 DOI: 10.1007/s10009-022-00670-2
Florian Frohn, Carsten Fuhs
{"title":"A calculus for modular loop acceleration and non-termination proofs","authors":"Florian Frohn, Carsten Fuhs","doi":"10.1007/s10009-022-00670-2","DOIUrl":"https://doi.org/10.1007/s10009-022-00670-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"8 1","pages":"691 - 715"},"PeriodicalIF":1.5,"publicationDate":"2021-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79976806","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety 更正:如何用KeYmaera建模和证明混合系统:安全教程
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-10-01 DOI: 10.1007/s10009-021-00643-x
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, N. Aréchiga, André Platzer
{"title":"Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety","authors":"Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, N. Aréchiga, André Platzer","doi":"10.1007/s10009-021-00643-x","DOIUrl":"https://doi.org/10.1007/s10009-021-00643-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"30 1","pages":"827 - 827"},"PeriodicalIF":1.5,"publicationDate":"2021-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76704437","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Algebraic aggregation of random forests: towards explainability and rapid evaluation 随机森林的代数聚集:迈向可解释性和快速评估
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-09-29 DOI: 10.1007/s10009-021-00635-x
F. Gossen, B. Steffen
{"title":"Algebraic aggregation of random forests: towards explainability and rapid evaluation","authors":"F. Gossen, B. Steffen","doi":"10.1007/s10009-021-00635-x","DOIUrl":"https://doi.org/10.1007/s10009-021-00635-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"64 2 1","pages":"267 - 285"},"PeriodicalIF":1.5,"publicationDate":"2021-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87700664","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking 用有界模型检查验证同步容错算法的安全性
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-08-30 DOI: 10.1007/s10009-021-00637-9
Ilina Stoilkovska, I. Konnov, Josef Widder, Florian Zuleger
{"title":"Verifying safety of synchronous fault-tolerant algorithms by bounded model checking","authors":"Ilina Stoilkovska, I. Konnov, Josef Widder, Florian Zuleger","doi":"10.1007/s10009-021-00637-9","DOIUrl":"https://doi.org/10.1007/s10009-021-00637-9","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"26 1","pages":"33 - 48"},"PeriodicalIF":1.5,"publicationDate":"2021-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89678622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Extending a brainiac prover to lambda-free higher-order logic 将大脑互动证明扩展到无lambda的高阶逻辑
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-08-16 DOI: 10.1007/s10009-021-00639-7
P. Vukmirović, J. Blanchette, Simon Cruanes, S. Schulz
{"title":"Extending a brainiac prover to lambda-free higher-order logic","authors":"P. Vukmirović, J. Blanchette, Simon Cruanes, S. Schulz","doi":"10.1007/s10009-021-00639-7","DOIUrl":"https://doi.org/10.1007/s10009-021-00639-7","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"92 1","pages":"67 - 87"},"PeriodicalIF":1.5,"publicationDate":"2021-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83775875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Extended abstract dependency graphs 扩展抽象依赖关系图
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-08-07 DOI: 10.1007/s10009-021-00638-8
Søren Enevoldsen, K. Larsen, J. Srba
{"title":"Extended abstract dependency graphs","authors":"Søren Enevoldsen, K. Larsen, J. Srba","doi":"10.1007/s10009-021-00638-8","DOIUrl":"https://doi.org/10.1007/s10009-021-00638-8","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"104 1","pages":"49 - 65"},"PeriodicalIF":1.5,"publicationDate":"2021-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72828569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Using linear algebra in decomposition of Farkas interpolants 用线性代数分解法卡插值
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-08-05 DOI: 10.1007/s10009-021-00641-z
Martin Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina
{"title":"Using linear algebra in decomposition of Farkas interpolants","authors":"Martin Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina","doi":"10.1007/s10009-021-00641-z","DOIUrl":"https://doi.org/10.1007/s10009-021-00641-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"186 1","pages":"111 - 125"},"PeriodicalIF":1.5,"publicationDate":"2021-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77501777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Compositional learning of mutually recursive procedural systems 相互递归程序系统的组合学习
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2021-08-01 DOI: 10.1007/s10009-021-00634-y
Markus Frohme, B. Steffen
{"title":"Compositional learning of mutually recursive procedural systems","authors":"Markus Frohme, B. Steffen","doi":"10.1007/s10009-021-00634-y","DOIUrl":"https://doi.org/10.1007/s10009-021-00634-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"82 1","pages":"521 - 543"},"PeriodicalIF":1.5,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89010808","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页 下一页 尾页
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学术官方微信