Journal Report

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER

Download PDF
Journal Information
Journal Title
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Publisher
SPRINGER HEIDELBERG
ISSN
1433-2779
E-ISSN
1433-2787
Database
Clarivate
Domain
Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018 ✓
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
Models at runtime (both design time and operation time): an HCI view on the modelling of AMAN
Camille Fayollas, David Navarre, Célia Martinie et al.
2026-9-14
DOI: 10.1007/s10009-026-00868-8
State of the art in program analysis
Kihong Heo, Luca Negrini
2026-9-1
DOI: 10.1007/s10009-026-00867-9
From affine to polynomial: synthesizing loops with branches via algebraic geometry
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2026-7-10
DOI: 10.1007/s10009-026-00866-w
FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability
Ilia Muravev, Semyon Grigorev
2026-5-21
DOI: 10.1007/s10009-026-00864-y
Challenges of Software Verification (CSV’25)
Luca Olivieri, Vincenzo Arceri, Luca Negrini et al.
2026-5-18 Vol. 28 Issue 3 Pages 251-253
DOI: 10.1007/s10009-026-00865-x
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator
Salih Ates, Dirk Beyer, Po-Chun Chien et al.
2026-4-30
DOI: 10.1007/s10009-026-00847-z
Statistical model checking of a dynamic vehicle platoon
Cinzia Bernardeschi, Adriano Fagiolini, Giuseppe Lettieri et al.
2026-4 Vol. 28 Issue 2 Pages 235-250
DOI: 10.1007/s10009-026-00862-0
Optimality-preserving reduction of controlled chemical reaction networks
Kim G. Larsen, Daniele Toller, Mirco Tribastone et al.
2026-4 Vol. 28 Issue 2 Pages 131-145
DOI: 10.1007/s10009-026-00854-0
Rigorous engineering of collective adaptive systems – 3rd special section: part II
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen et al.
2026-3-31 Vol. 28 Issue 2 Pages 123-129
DOI: 10.1007/s10009-026-00859-9
Composable models and guarantees for aggregate systems
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2026-3-31 Vol. 28 Issue 2 Pages 147-165
DOI: 10.1007/s10009-026-00860-2
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 11, 2026 13:48