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

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

What is the best algorithm for MDP model checking?	6
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks	6
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	6
An automated framework for verifying or refuting trace properties of extended finite state machines	6
Compositional runtime enforcement of safety and co-safety timed properties	6
Monitoring of spatio-temporal properties with nonlinear SAT solvers	6
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool	5
An adaptive, provable correct simplex architecture	5
User-assisted code query customization and optimization	5
WhyRel: an auto-active relational verifier	5
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods	5
Pattern-based verification of ROS 2 applications using UPPAAL	5
Rance Cleaveland: a life for formal methods	5
First three years of the international verification of neural networks competition (VNN-COMP)	4
ccReact: a rewriting framework for the formal analysis of reaction systems	4
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	4
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking	4
Preface to the special issue on engineering of computer-based systems	4
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	4
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking	4
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns	4
Bounded DBM-based clock state construction for timed automata in Uppaal	4
Reusable formal models for concurrency and communication in custom real-time operating systems	4