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-10-01 to 2024-10-01.)
ArticleCitations
The probabilistic model checker Storm82
A taxonomy for classifying runtime verification tools48
Static analysis for discovering IoT vulnerabilities36
First three years of the international verification of neural networks competition (VNN-COMP)22
OC-PM: analyzing object-centric event logs and process models15
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches13
CPSDebug: Automatic failure explanation in CPS models13
Algebraic aggregation of random forests: towards explainability and rapid evaluation13
Programming dynamic reconfigurable systems13
Stream runtime verification of real-time event streams with the Striver language12
DisCoveR: accurate and efficient discovery of declarative process models11
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods11
0.017062902450562