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

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

筛选
英文 中文
Modelling flocks of birds and colonies of ants from the bottom up 从下往上模拟鸟群和蚁群
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-02 DOI: 10.1007/s10009-023-00731-0
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
{"title":"Modelling flocks of birds and colonies of ants from the bottom up","authors":"Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani","doi":"10.1007/s10009-023-00731-0","DOIUrl":"https://doi.org/10.1007/s10009-023-00731-0","url":null,"abstract":"Abstract This paper advocates the use of compositional specifications based on formal languages as a means of modelling and analysing sophisticated collective behaviour in natural systems. With the use of appropriate linguistic constructs, models can be developed that are both compact and intuitive, and can be easily refined and extended in small steps. Automated workflows can be implemented on top of this methodology to provide quick feedback, enabling rapid design iterations. To support our argument, we present three examples from the natural world, focusing on flocks of birds and colonies of ants, which feature well-known examples of emergent behaviour in collective adaptive systems. We use an agent-based language to develop simple models that aim at capturing these collective phenomena, and discuss the specific language constructs that we use in the process. Then, we adapt an existing verification tool for the language to simulate our models, and show that our simulations do display emergent behaviour.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"9 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135934953","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
A kinetic approach to investigate the collective dynamics of multi-agent systems 研究多智能体系统集体动力学的动力学方法
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-11-02 DOI: 10.1007/s10009-023-00724-z
Stefania Monica, Federico Bergenti, Franco Zambonelli
{"title":"A kinetic approach to investigate the collective dynamics of multi-agent systems","authors":"Stefania Monica, Federico Bergenti, Franco Zambonelli","doi":"10.1007/s10009-023-00724-z","DOIUrl":"https://doi.org/10.1007/s10009-023-00724-z","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"3 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135934321","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
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics RTAMT -运行时健壮性监视器与应用到CPS和机器人
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-10-05 DOI: 10.1007/s10009-023-00720-3
Tomoya Yamaguchi, Bardh Hoxha, Dejan Ničković
{"title":"RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics","authors":"Tomoya Yamaguchi, Bardh Hoxha, Dejan Ničković","doi":"10.1007/s10009-023-00720-3","DOIUrl":"https://doi.org/10.1007/s10009-023-00720-3","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134975194","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}
引用次数: 0
Publisher Correction: Algorithm selection for SMT 出版商更正:SMT的算法选择
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-08-14 DOI: 10.1007/s10009-023-00714-1
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
{"title":"Publisher Correction: Algorithm selection for SMT","authors":"Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh","doi":"10.1007/s10009-023-00714-1","DOIUrl":"https://doi.org/10.1007/s10009-023-00714-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135214674","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}
引用次数: 0
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs 分布式异步程序的不确定性动态监测
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-08-01 DOI: 10.1007/s10009-023-00717-y
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
{"title":"Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs","authors":"Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic","doi":"10.1007/s10009-023-00717-y","DOIUrl":"https://doi.org/10.1007/s10009-023-00717-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134950925","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
Predicate monitoring in distributed cyber-physical systems 分布式网络物理系统中的谓词监测
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-08-01 DOI: 10.1007/s10009-023-00718-x
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
{"title":"Predicate monitoring in distributed cyber-physical systems","authors":"Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour","doi":"10.1007/s10009-023-00718-x","DOIUrl":"https://doi.org/10.1007/s10009-023-00718-x","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134950926","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}
引用次数: 10
A compositional framework for algebraic quantitative online monitoring over continuous-time signals 连续时间信号代数定量在线监测的组成框架
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-08-01 DOI: 10.1007/s10009-023-00719-w
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
{"title":"A compositional framework for algebraic quantitative online monitoring over continuous-time signals","authors":"Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang","doi":"10.1007/s10009-023-00719-w","DOIUrl":"https://doi.org/10.1007/s10009-023-00719-w","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134950920","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
Introduction to the Special Issue on Runtime Verification 《运行时验证》特刊简介
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-08-01 DOI: 10.1007/s10009-023-00722-1
Lu Feng, Dana Fisman
{"title":"Introduction to the Special Issue on Runtime Verification","authors":"Lu Feng, Dana Fisman","doi":"10.1007/s10009-023-00722-1","DOIUrl":"https://doi.org/10.1007/s10009-023-00722-1","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135056067","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}
引用次数: 0
Introduction to the Special Issue on Runtime Verification 《运行时验证》特刊简介
3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-08-01 DOI: 10.1007/s10009-023-00721-2
Jyotirmoy Deshmukh, Dejan Ničković
{"title":"Introduction to the Special Issue on Runtime Verification","authors":"Jyotirmoy Deshmukh, Dejan Ničković","doi":"10.1007/s10009-023-00721-2","DOIUrl":"https://doi.org/10.1007/s10009-023-00721-2","url":null,"abstract":"Abstract Runtime verification (RV) refers to methods for formal reasoning about all aspects of the dynamic execution of systems, including hardware, software, and cyber-physical systems. RV includes techniques to assess and enforce correctness of a system against systemic bugs or extrinsic uncertainties. These methods are typically considered lightweight as they may not involve exhaustive verification or proofs, but they provide a higher level of rigor and versatility compared to conventional testing methods. This article introduces the extended versions of selected papers from the peer-reviewed proceedings of the 20th International Conference on Runtime Verification (RV 2020). RV 2020 was supposed to be held in Los Angeles, California, USA in July 2020, but was instead held virtually due to the global Covid-19 pandemic.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135054320","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}
引用次数: 0
Program analysis using empirical abstraction 使用经验抽象的程序分析
IF 1.5 3区 计算机科学
International Journal on Software Tools for Technology Transfer Pub Date : 2023-07-06 DOI: 10.1007/s10009-023-00709-y
Vivian M. Ho, Chris Alvin, J. Lawson, S. Mukhopadhyay, Brian Peterson
{"title":"Program analysis using empirical abstraction","authors":"Vivian M. Ho, Chris Alvin, J. Lawson, S. Mukhopadhyay, Brian Peterson","doi":"10.1007/s10009-023-00709-y","DOIUrl":"https://doi.org/10.1007/s10009-023-00709-y","url":null,"abstract":"","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"46 1","pages":"431 - 452"},"PeriodicalIF":1.5,"publicationDate":"2023-07-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77602778","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
首页 上一页 下一页 尾页
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学术官方微信