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-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
The probabilistic model checker Storm15
DivSIM , an interactive simulator for LLVM bitcode15
Formal verification and security analysis of MQTT-SN14
State of the art in program analysis13
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
Extended abstract dependency graphs11
Interface control document modeling with Citrus (avionics systems interfaces)11
GSDetector: a tool for automatic detection of bad smells in GRL goal models10
Rigorous engineering of collective adaptive systems – 2nd special section10
Monitoring with verified guarantees9
Generating adaptation rule-specific neural networks9
A logic-based incremental approach to graph repair featuring delta preservation8
Formal Methods for Industrial Critical Systems8
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach7
MoonLight: a lightweight tool for monitoring spatio-temporal properties7
Software test results exploration and visualization with continuous integration and nightly testing6
The RERS challenge: towards controllable and scalable benchmark synthesis6
Automated property-based testing from AADL component contracts6
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap6
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller5
An automated framework for verifying or refuting trace properties of extended finite state machines5
LLM-based code generation and system migration in language-driven engineering5
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks5
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods5
A modal approach to conscious social agents5
Compositional runtime enforcement of safety and co-safety timed properties5
Multi-level privacy analysis of business processes: the Pleak toolset5
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool5
Monitoring of spatio-temporal properties with nonlinear SAT solvers5
Randomized reachability analysis in UPPAAL: fast error detection in timed systems5
DisCoveR: accurate and efficient discovery of declarative process models5
An adaptive, provable correct simplex architecture4
Pattern-based verification of ROS 2 applications using UPPAAL4
Bounded DBM-based clock state construction for timed automata in Uppaal4
A verified low-level implementation and visualization of the adaptive exterior light and speed control system4
First three years of the international verification of neural networks competition (VNN-COMP)4
Rance Cleaveland: a life for formal methods4
WhyRel: an auto-active relational verifier4
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns4
TOOLympics I: Competition on software testing4
The Reactive Synthesis Competition (SYNTCOMP): 2018–20214
TOOLympics II: competitions on formal methods4
User-assisted code query customization and optimization4
Reusable formal models for concurrency and communication in custom real-time operating systems4
ccReact: a rewriting framework for the formal analysis of reaction systems4
Specifying and detecting temporal patterns with shape expressions4
0.057307004928589