International Journal on Software Tools for Technology Transfer

Papers
(The H4-Index of International Journal on Software Tools for Technology Transfer is 11. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-08-01 to 2026-08-01.)
ArticleCitations
Strong Simple Policies for POMDPs65
Introduction to the Special Issue on Runtime Verification45
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps19
Predicate monitoring in distributed cyber-physical systems18
Formal verification and security analysis of MQTT-SN17
State of the art in program analysis16
Formal methods and tools for industrial critical systems14
Rigorous engineering of collective adaptive systems – 2nd special section12
Statistical model checking of a dynamic vehicle platoon12
Efficiently computable temporal robustness for a practical STL fragment11
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap11
Formal Methods for Industrial Critical Systems11
Challenges of Software Verification (CSV’25)11
FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability11
0.24783205986023