logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
I

International Journal on Software Tools for Technology Transfer

IF1.4
论文数38
被引数842
期刊论文 38
发表时间
delete
Challenges of Software Verification (CSV'25)软件验证挑战 (CSV'25)
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-06-01
delete0
PREAI
deleteOlivieri, Luca; Arceri, Vincenzo; Negrini, Luca; Caiazza, Gianluca
delete分享
delete收藏
FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachabilityFastMatrixCFPQ: 一种基于线性代数的CFL可达性高效方法
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-05-01
delete1
PREAI
deleteMuravev, Ilia; Grigorev, Semyon
delete分享
delete收藏
Optimality-preserving reduction of controlled chemical reaction networks保持最优性的受控化学反应网络约简
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-04-01
delete0
deleteOAAI
deleteLarsen, Kim G.; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
delete分享
delete收藏
Statistical model checking of a dynamic vehicle platoon动态车辆编队的统计模型检测
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-04-01
delete0
deleteOAAI
deleteBernardeschi, Cinzia; Fagiolini, Adriano; Lettieri, Giuseppe; Pagani, Dario; Rossi, Federico
delete分享
delete收藏
Epistemic ensembles in semantic, symbolic, and distributed environments认识论集合在语义、符号和分布式环境中的表现
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteKnapp, Alexander; Hennicker, Rolf; Wirsing, Martin
delete分享
delete收藏
Attribute-based memory updates with priorities for collective adaptive systems基于属性的记忆更新与优先级机制用于群体自适应系统
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deletePasqua, Michele; Miculan, Marino
delete分享
delete收藏
The evolving conscious agent, II演化中的意识主体，II
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteChen, Yifeng; Sanders, J. W.
delete分享
delete收藏
Composable models and guarantees for aggregate systems组合模型与聚合系统的保证
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteAudrito, Giorgio; Damiani, Ferruccio; Torta, Gianluca
delete分享
delete收藏
The revised practitioner's guide to MDP model checking algorithmsMDP模型检测算法的修订实践者指南
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteHartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian
delete分享
delete收藏
Challenges in Quantum Programs Analysis量子程序分析的挑战
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteAssolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella
delete分享
delete收藏
Efficiently computable temporal robustness for a practical STL fragment针对实用STL片段的高效可计算时序鲁棒性
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteRino, Neha; Foughali, Mohammed; Renkin, Florian; Asarin, Eugene
delete分享
delete收藏
A compositional semantics for reconfigurable multi-mode interaction in R-CHECKR-CHECK中可重构多模交互的组合语义
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteAbd Alrahman, Yehia; Azzopardi, Shaun; Di Stefano, Luca; Piterman, Nir
delete分享
delete收藏
LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions大型语言模型与模糊测试协同：自动生成最弱前置条件的新方法
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteKing, Daragh; Koutavas, Vasileios; Kovacs, Laura
delete分享
delete收藏
Active discount factor elicitation via reward modification通过奖励修改获取动态折扣因子
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteKalat, Shadi Tasdighi; Sankaranarayanan, Sriram; Trivedi, Ashutosh
delete分享
delete收藏
Understanding code semantics: a benchmark study of LLMs理解代码语义：大型语言模型基准研究
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete2
PREAI
deleteLaneve, Cosimo; Spano, Alvise; Ressi, Dalila; Rossi, Sabina; Bugliesi, Michele
delete分享
delete收藏
Rigorous engineering of collective adaptive systems-3rd special section: part II集体自适应系统的严格工程化-第三特别部分：第二部分
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteWirsing, Martin; De Nicola, Rocco; Jahnichen, Stefan; Tribastone, Mirco
delete分享
delete收藏
An efficient stochastic process discovery framework based on optimization基于优化的高效随机过程发现框架
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteCry, Pierre; Horvath, Andras; Ballarini, Paolo; Le Gall, Pascale
delete分享
delete收藏
Abstractions of sequences, functions and operators序列、函数和算子的抽象
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteRustenholz, Louis; Lopez-Garcia, Pedro; Hermenegildo, Manuel V.
delete分享
delete收藏
A Floyd-Warshall approach to value computation in Markov decision processes马尔可夫决策过程中的值计算的一种Floyd-Warshall方法
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteCome, Aymeric; Fabre, Eric; Helouet, Loic
delete分享
delete收藏
Clause-reachability is undecidable in legal contracts条款可达性在法律合同中是不可判定的
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteDelzanno, Giorgio; Laneve, Cosimo; Sangnier, Arnaud; Zavattaro, Gianluigi
delete分享
delete收藏