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-06-01 to 2025-06-01.)
ArticleCitations
Strong Simple Policies for POMDPs130
Introduction to the Special Issue on Runtime Verification38
Predicate monitoring in distributed cyber-physical systems21
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata19
The probabilistic model checker Storm18
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps15
DivSIM , an interactive simulator for LLVM bitcode14
Formal verification and security analysis of MQTT-SN13
State of the art in program analysis13
Using linear algebra in decomposition of Farkas interpolants11
Formal methods and tools for industrial critical systems11
Interface control document modeling with Citrus (avionics systems interfaces)11
0.042722940444946