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 2021-05-01 to 2025-05-01.)
ArticleCitations
Strong Simple Policies for POMDPs124
Predicate monitoring in distributed cyber-physical systems36
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps21
Introduction to the Special Issue on Runtime Verification19
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata18
DivSIM , an interactive simulator for LLVM bitcode15
The probabilistic model checker Storm15
Formal verification and security analysis of MQTT-SN14
State of the art in program analysis13
Extended abstract dependency graphs11
Interface control document modeling with Citrus (avionics systems interfaces)11
Using linear algebra in decomposition of Farkas interpolants11
Introduction to the special issue of the 19th International Conference on Runtime Verification11
Formal methods and tools for industrial critical systems11
0.022891998291016