Crossref indexed
International Journal on Software Tools for Technology Transfer
Published by Springer-Verlag.
ISSN 1433-2779 / 1433-2787
Submit to this journal
01
Aims & scope
International Journal on Software Tools for Technology Transfer publishes peer-reviewed research. Manuscripts pass a technical check and a scope check by the handling editor before going to independent reviewers.
02
Recently published
Models at runtime (both design time and operation time): an HCI view on the modelling of AMAN
DOI 10.1007/s10009-026-00868-8 Camille Fayollas, David Navarre, Célia Martinie, Philippe Palanque, Eric Barboni · 2026
State of the art in program analysis
DOI 10.1007/s10009-026-00867-9 Kihong Heo, Luca Negrini · 2026
From affine to polynomial: synthesizing loops with branches via algebraic geometry
DOI 10.1007/s10009-026-00866-w Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet · 2026
FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability
DOI 10.1007/s10009-026-00864-y Ilia Muravev, Semyon Grigorev · 2026
Challenges of Software Verification (CSV’25)
DOI 10.1007/s10009-026-00865-x Luca Olivieri, Vincenzo Arceri, Luca Negrini, Gianluca Caiazza · 2026
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator
DOI 10.1007/s10009-026-00847-z Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee · 2026
Statistical model checking of a dynamic vehicle platoon
DOI 10.1007/s10009-026-00862-0 Cinzia Bernardeschi, Adriano Fagiolini, Giuseppe Lettieri, Dario Pagani, Federico Rossi · 2026
Optimality-preserving reduction of controlled chemical reaction networks
DOI 10.1007/s10009-026-00854-0 Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin · 2026
Rigorous engineering of collective adaptive systems – 3rd special section: part II
DOI 10.1007/s10009-026-00859-9 Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone · 2026
Composable models and guarantees for aggregate systems
DOI 10.1007/s10009-026-00860-2 Giorgio Audrito, Ferruccio Damiani, Gianluca Torta · 2026
The evolving conscious agent, II
DOI 10.1007/s10009-026-00858-w Chen Yifeng, J. W. Sanders · 2026
Understanding code semantics: a benchmark study of LLMs
DOI 10.1007/s10009-026-00842-4 Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi · 2026
Journal metrics
Total DOIs1,085
Current DOIs122
Backfile DOIs963
Published here0
Publish with us
Five steps, about 15 minutes. You can save and come back at any point.
Submit manuscript