International Journal on Software Tools for Technology Transfer

Papers
(The H4-Index of International Journal on Software Tools for Technology Transfer is 10. 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-08-01 to 2025-08-01.)
ArticleCitations
Strong Simple Policies for POMDPs41
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata25
Predicate monitoring in distributed cyber-physical systems21
Introduction to the Special Issue on Runtime Verification18
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps15
DivSIM , an interactive simulator for LLVM bitcode14
State of the art in program analysis14
Interface control document modeling with Citrus (avionics systems interfaces)11
Formal verification and security analysis of MQTT-SN11
Formal methods and tools for industrial critical systems11
Using linear algebra in decomposition of Farkas interpolants10
0.046178102493286