logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
I

International Journal on Software Tools for Technology Transfer

IF1.4
Papers37
Citations842
Journal Papers 37
Publication Date
delete
Challenges of Software Verification (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
deleteShare
deleteSave
Optimality-preserving reduction of controlled chemical reaction networks
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-04-01
delete0
PREAI
deleteLarsen, Kim G.; Toller, Daniele; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
deleteShare
deleteSave
Statistical model checking of a dynamic vehicle platoon
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-04-01
delete0
PREAI
deleteBernardeschi, Cinzia; Fagiolini, Adriano; Lettieri, Giuseppe; Pagani, Dario; Rossi, Federico
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
The evolving conscious agent, II
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteChen, Yifeng; Sanders, J. W.
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
The revised practitioner's guide to MDP model checking algorithms
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteHartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian
deleteShare
deleteSave
Efficiently computable temporal robustness for a practical STL fragment
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteRino, Neha; Foughali, Mohammed; Renkin, Florian; Asarin, Eugene
deleteShare
deleteSave
A compositional semantics for reconfigurable multi-mode interaction in R-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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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.
deleteShare
deleteSave
A Floyd-Warshall approach to value computation in Markov decision processes
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete1
PREAI
deleteCome, Aymeric; Fabre, Eric; Helouet, Loic
deleteShare
deleteSave
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
deleteShare
deleteSave
Introduction to the special issue on timed and stochastic approaches to system evaluation
deleteInternational Journal on Software Tools for Technology Transfer
IF1.4
delete2026-03-01
delete0
PREAI
deleteHillston, Jane; Soudjani, Sadegh; Waga, Masaki
deleteShare
deleteSave