International Journal on Software Tools for Technology Transfer

Papers
(The TQCC of International Journal on Software Tools for Technology Transfer is 4. 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-11-01 to 2025-11-01.)
ArticleCitations
Strong Simple Policies for POMDPs52
Introduction to the Special Issue on Runtime Verification29
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps22
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata18
DivSIM , an interactive simulator for LLVM bitcode16
Predicate monitoring in distributed cyber-physical systems16
Formal verification and security analysis of MQTT-SN15
State of the art in program analysis14
Interface control document modeling with Citrus (avionics systems interfaces)12
Formal methods and tools for industrial critical systems11
Rigorous engineering of collective adaptive systems – 2nd special section11
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach9
Generating adaptation rule-specific neural networks9
MoonLight: a lightweight tool for monitoring spatio-temporal properties9
Formal Methods for Industrial Critical Systems9
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap9
GSDetector: a tool for automatic detection of bad smells in GRL goal models9
LLM-based code generation and system migration in language-driven engineering8
Automated property-based testing from AADL component contracts8
Monitoring with verified guarantees8
Software test results exploration and visualization with continuous integration and nightly testing8
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks7
An automated framework for verifying or refuting trace properties of extended finite state machines7
Randomized reachability analysis in UPPAAL: fast error detection in timed systems7
A modal approach to conscious social agents7
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller6
Rance Cleaveland: a life for formal methods6
Compositional runtime enforcement of safety and co-safety timed properties6
What is the best algorithm for MDP model checking?6
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods6
Monitoring of spatio-temporal properties with nonlinear SAT solvers6
An adaptive, provable correct simplex architecture6
User-assisted code query customization and optimization5
WhyRel: an auto-active relational verifier5
ccReact: a rewriting framework for the formal analysis of reaction systems5
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool5
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns5
Pattern-based verification of ROS 2 applications using UPPAAL5
Bounded DBM-based clock state construction for timed automata in Uppaal4
Reproducible and hackable software benchmarking with(out) compute clusters4
Deterministic state space exploration4
Preface to the special issue on engineering of computer-based systems4
First three years of the international verification of neural networks competition (VNN-COMP)4
Certification of avionic software based on machine learning: the case for formal monotony analysis4
Analysis of recurrent neural networks via property-directed verification of surrogate models4
The Reactive Synthesis Competition (SYNTCOMP): 2018–20214
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking4
Correct by design coordination of autonomous driving systems4
An Event-B model of an automotive adaptive exterior light system4
A verified low-level implementation and visualization of the adaptive exterior light and speed control system4
Reusable formal models for concurrency and communication in custom real-time operating systems4
0.040164947509766