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

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

筛选
英文 中文
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata 从线性时间逻辑和极限确定性bchi自动机到确定性宇称自动机
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-07-23 DOI: 10.1007/s10009-022-00663-1
J. Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert
{"title":"From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata","authors":"J. Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert","doi":"10.1007/s10009-022-00663-1","DOIUrl":"https://doi.org/10.1007/s10009-022-00663-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"56 1","pages":"635 - 659"},"PeriodicalIF":1.5,"publicationDate":"2022-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79221635","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
Assume, guarantee or repair: a regular framework for non regular properties 承担、保证或修理:不规则属性的常规框架
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-07-21 DOI: 10.1007/s10009-022-00669-9
Hadar Frenkel, O. Grumberg, C. Pasareanu, Sarai Sheinvald
{"title":"Assume, guarantee or repair: a regular framework for non regular properties","authors":"Hadar Frenkel, O. Grumberg, C. Pasareanu, Sarai Sheinvald","doi":"10.1007/s10009-022-00669-9","DOIUrl":"https://doi.org/10.1007/s10009-022-00669-9","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"39 1","pages":"667 - 689"},"PeriodicalIF":1.5,"publicationDate":"2022-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74390302","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
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 构建和分析系统的工具和算法:TACAS 2017特刊
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-07-12 DOI: 10.1007/s10009-022-00664-0
Axel Legay, T. Margaria
{"title":"Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017","authors":"Axel Legay, T. Margaria","doi":"10.1007/s10009-022-00664-0","DOIUrl":"https://doi.org/10.1007/s10009-022-00664-0","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"21 1","pages":"611 - 612"},"PeriodicalIF":1.5,"publicationDate":"2022-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88997850","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
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns 包络和波浪:水平不确定性转弯的安全多车碰撞避免
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-05-02 DOI: 10.1007/s10009-022-00654-2
Yanni Kouskoulas, T. J. Machado, D. Genin, A. Schmidt, I. Papusha, Joshua Brulé
{"title":"Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns","authors":"Yanni Kouskoulas, T. J. Machado, D. Genin, A. Schmidt, I. Papusha, Joshua Brulé","doi":"10.1007/s10009-022-00654-2","DOIUrl":"https://doi.org/10.1007/s10009-022-00654-2","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"64 1","pages":"371 - 394"},"PeriodicalIF":1.5,"publicationDate":"2022-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84802240","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
Formal verification of OIL component specifications using mCRL2 使用mCRL2正式验证OIL组件规格
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-21 DOI: 10.1007/s10009-022-00658-y
Olav Bunte, L. V. Gool, T. Willemse
{"title":"Formal verification of OIL component specifications using mCRL2","authors":"Olav Bunte, L. V. Gool, T. Willemse","doi":"10.1007/s10009-022-00658-y","DOIUrl":"https://doi.org/10.1007/s10009-022-00658-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"75 1","pages":"441 - 472"},"PeriodicalIF":1.5,"publicationDate":"2022-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85993736","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}
引用次数: 3
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture 超标量三角核结构中放大时序异常的形式化建模与验证
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-11 DOI: 10.1007/s10009-022-00655-1
Benjamin Binder, Mihail Asavoae, F. Brandner, Belgacem Ben Hedia, M. Jan
{"title":"Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture","authors":"Benjamin Binder, Mihail Asavoae, F. Brandner, Belgacem Ben Hedia, M. Jan","doi":"10.1007/s10009-022-00655-1","DOIUrl":"https://doi.org/10.1007/s10009-022-00655-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"9 1","pages":"415 - 440"},"PeriodicalIF":1.5,"publicationDate":"2022-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74024330","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}
引用次数: 3
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 探索ERTMS/ETCS全移动块规范:形式化方法的经验
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-10 DOI: 10.1007/s10009-022-00653-3
D. Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay
{"title":"Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods","authors":"D. Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay","doi":"10.1007/s10009-022-00653-3","DOIUrl":"https://doi.org/10.1007/s10009-022-00653-3","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"396 1","pages":"351 - 370"},"PeriodicalIF":1.5,"publicationDate":"2022-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76457667","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
Approximate verification of concurrent systems using token structures and invariants 使用令牌结构和不变量的并行系统的近似验证
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-07 DOI: 10.1007/s10009-022-00650-6
P. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
{"title":"Approximate verification of concurrent systems using token structures and invariants","authors":"P. Antonino, Thomas Gibson-Robinson, A. W. Roscoe","doi":"10.1007/s10009-022-00650-6","DOIUrl":"https://doi.org/10.1007/s10009-022-00650-6","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"71 1","pages":"613 - 633"},"PeriodicalIF":1.5,"publicationDate":"2022-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73589215","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
DFT modeling approach for operational risk assessment of railway infrastructure 铁路基础设施运行风险评估的DFT建模方法
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-05 DOI: 10.1007/s10009-022-00652-4
N. Weik, Matthias Volk, J. Katoen, Nils Nießen
{"title":"DFT modeling approach for operational risk assessment of railway infrastructure","authors":"N. Weik, Matthias Volk, J. Katoen, Nils Nießen","doi":"10.1007/s10009-022-00652-4","DOIUrl":"https://doi.org/10.1007/s10009-022-00652-4","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"40 1","pages":"331 - 350"},"PeriodicalIF":1.5,"publicationDate":"2022-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80349479","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
Formal methods and tools for industrial critical systems 工业关键系统的形式化方法和工具
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2022-04-04 DOI: 10.1007/s10009-022-00660-4
Maurice H. ter Beek, K. Larsen, D. Ničković, T. Willemse
{"title":"Formal methods and tools for industrial critical systems","authors":"Maurice H. ter Beek, K. Larsen, D. Ničković, T. Willemse","doi":"10.1007/s10009-022-00660-4","DOIUrl":"https://doi.org/10.1007/s10009-022-00660-4","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"28 1","pages":"325 - 330"},"PeriodicalIF":1.5,"publicationDate":"2022-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80650077","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
首页 上一页 下一页 尾页
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学术官方微信