OOIR: Observatory of International Research

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-06-01 to 2025-06-01.)

Article	Citations
Strong Simple Policies for POMDPs	130
Introduction to the Special Issue on Runtime Verification	38
Predicate monitoring in distributed cyber-physical systems	21
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata	19
The probabilistic model checker Storm	18
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps	15
DivSIM , an interactive simulator for LLVM bitcode	14
Formal verification and security analysis of MQTT-SN	13
State of the art in program analysis	13
Using linear algebra in decomposition of Farkas interpolants	11
Formal methods and tools for industrial critical systems	11
Interface control document modeling with Citrus (avionics systems interfaces)	11
Rigorous engineering of collective adaptive systems – 2nd special section	10
Extended abstract dependency graphs	10
GSDetector: a tool for automatic detection of bad smells in GRL goal models	9
Monitoring with verified guarantees	9
Generating adaptation rule-specific neural networks	9
Formal Methods for Industrial Critical Systems	8
A logic-based incremental approach to graph repair featuring delta preservation	8
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap	7
MoonLight: a lightweight tool for monitoring spatio-temporal properties	7
Software test results exploration and visualization with continuous integration and nightly testing	6
A modal approach to conscious social agents	6
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach	6
LLM-based code generation and system migration in language-driven engineering	6

Monitoring of spatio-temporal properties with nonlinear SAT solvers	6
Automated property-based testing from AADL component contracts	6
The RERS challenge: towards controllable and scalable benchmark synthesis	6
An automated framework for verifying or refuting trace properties of extended finite state machines	6
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks	5
Randomized reachability analysis in UPPAAL: fast error detection in timed systems	5
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods	5
TOOLympics II: competitions on formal methods	5
DisCoveR: accurate and efficient discovery of declarative process models	5
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	5
An adaptive, provable correct simplex architecture	5
Pattern-based verification of ROS 2 applications using UPPAAL	5
Compositional runtime enforcement of safety and co-safety timed properties	5
What is the best algorithm for MDP model checking?	5
Rance Cleaveland: a life for formal methods	5
Multi-level privacy analysis of business processes: the Pleak toolset	5
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool	4
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns	4
Reusable formal models for concurrency and communication in custom real-time operating systems	4
Specifying and detecting temporal patterns with shape expressions	4
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	4
User-assisted code query customization and optimization	4
ccReact: a rewriting framework for the formal analysis of reaction systems	4
First three years of the international verification of neural networks competition (VNN-COMP)	4
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019	4
WhyRel: an auto-active relational verifier	4
Bounded DBM-based clock state construction for timed automata in Uppaal	4
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking	4
Preface to the special issue on engineering of computer-based systems	4
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	4