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 2020-04-01 to 2024-04-01.)
ArticleCitations
The probabilistic model checker Storm61
A taxonomy for classifying runtime verification tools35
Static analysis for discovering IoT vulnerabilities27
Rigorous engineering of collective adaptive systems: special section27
KLEE symbolic execution engine in 201918
An efficient statistical model checker for nondeterminism and rare events16
Swarm model checking on the GPU14
Programming dynamic reconfigurable systems12
CPSDebug: Automatic failure explanation in CPS models11
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches11
OC-PM: analyzing object-centric event logs and process models11
0.022297143936157