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 2022-01-01 to 2026-01-01.)
ArticleCitations
Strong Simple Policies for POMDPs54
Introduction to the Special Issue on Runtime Verification32
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata23
Predicate monitoring in distributed cyber-physical systems18
DivSIM , an interactive simulator for LLVM bitcode16
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps16
State of the art in program analysis16
Formal verification and security analysis of MQTT-SN15
Interface control document modeling with Citrus (avionics systems interfaces)14
Formal methods and tools for industrial critical systems13
Formal Methods for Industrial Critical Systems12
Rigorous engineering of collective adaptive systems – 2nd special section12
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap10
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach9
GSDetector: a tool for automatic detection of bad smells in GRL goal models9
Software test results exploration and visualization with continuous integration and nightly testing9
MoonLight: a lightweight tool for monitoring spatio-temporal properties9
LLM-based code generation and system migration in language-driven engineering8
Generating adaptation rule-specific neural networks8
Monitoring with verified guarantees8
Automated property-based testing from AADL component contracts8
A modal approach to conscious social agents7
Randomized reachability analysis in UPPAAL: fast error detection in timed systems7
An automated framework for verifying or refuting trace properties of extended finite state machines7
Compositional runtime enforcement of safety and co-safety timed properties7
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks7
Rance Cleaveland: a life for formal methods6
Monitoring of spatio-temporal properties with nonlinear SAT solvers6
An adaptive, provable correct simplex architecture6
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller6
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods6
What is the best algorithm for MDP model checking?6
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
Preface to the special issue on engineering of computer-based systems5
WhyRel: an auto-active relational verifier5
User-assisted code query customization and optimization5
Reusable formal models for concurrency and communication in custom real-time operating systems5
Bounded DBM-based clock state construction for timed automata in Uppaal5
Pattern-based verification of ROS 2 applications using UPPAAL5
ccReact: a rewriting framework for the formal analysis of reaction systems5
The Reactive Synthesis Competition (SYNTCOMP): 2018–20215
A verified low-level implementation and visualization of the adaptive exterior light and speed control system5
Analysis of recurrent neural networks via property-directed verification of surrogate models4
Certification of avionic software based on machine learning: the case for formal monotony analysis4
Reproducible and hackable software benchmarking with(out) compute clusters4
A technology transfer journey to a model-driven access control system4
Rigorous pattern matching as a language feature4
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking4
First three years of the international verification of neural networks competition (VNN-COMP)4
An Event-B model of an automotive adaptive exterior light system4
The CoLiS platform for the analysis of maintainer scripts in Debian software packages4
A toolchain for strategy synthesis with spatial properties4
Deterministic state space exploration4
Correct by design coordination of autonomous driving systems4
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 20174
A causal, time-independent synchronization pattern for collective adaptive systems4
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT4
0.041054964065552