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

Article	Citations
Strong Simple Policies for POMDPs	57
Introduction to the Special Issue on Runtime Verification	41
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps	18
Predicate monitoring in distributed cyber-physical systems	18
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata	16
State of the art in program analysis	14
Formal verification and security analysis of MQTT-SN	14
Statistical model checking of a dynamic vehicle platoon	11
Challenges of Software Verification (CSV’25)	11
Formal methods and tools for industrial critical systems	11
Efficiently computable temporal robustness for a practical STL fragment	11
Rigorous engineering of collective adaptive systems – 2nd special section	11
Formal Methods for Industrial Critical Systems	10
Automated property-based testing from AADL component contracts	9
Monitoring with verified guarantees	9
Generating adaptation rule-specific neural networks	9
GSDetector: a tool for automatic detection of bad smells in GRL goal models	8
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap	8
MoonLight: a lightweight tool for monitoring spatio-temporal properties	8
FastMatrixCFPQ: an efficient linear-algebra-based approach to CFL-reachability	8
LLM-based code generation and system migration in language-driven engineering	8
Abstractions of sequences, functions and operators	8
Compositional runtime enforcement of safety and co-safety timed properties	7
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks	7
What is the best algorithm for MDP model checking?	7

An adaptive, provable correct simplex architecture	6
Randomized reachability analysis in UPPAAL: fast error detection in timed systems	6
Monitoring of spatio-temporal properties with nonlinear SAT solvers	6
Pattern-based verification of ROS 2 applications using UPPAAL	6
Rance Cleaveland: a life for formal methods	6
Let’s do the swarm flight again: unleashing the potential of PROTEASE 2.0 for drone formation flight	6
A modal approach to conscious social agents	6
WhyRel: an auto-active relational verifier	6
An automated framework for verifying or refuting trace properties of extended finite state machines	6
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	6
First three years of the international verification of neural networks competition (VNN-COMP)	5
Bounded DBM-based clock state construction for timed automata in Uppaal	5
ccReact: a rewriting framework for the formal analysis of reaction systems	5
User-assisted code query customization and optimization	5
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator	5
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool	5
Preface to the special issue on engineering of computer-based systems	5
Reusable formal models for concurrency and communication in custom real-time operating systems	5
A Floyd-Warshall approach to value computation in Markov decision processes	5
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	4
Deterministic state space exploration	4
Certification of avionic software based on machine learning: the case for formal monotony analysis	4
A technology transfer journey to a model-driven access control system	4
Inferring contracts by abstract interpretation with application to pointer nullness analysis	4
An efficient stochastic process discovery framework based on optimization	4
A compositional semantics for reconfigurable multi-mode interaction in R-CHECK	4
Correct by design coordination of autonomous driving systems	4
The CoLiS platform for the analysis of maintainer scripts in Debian software packages	4
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	4
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking	4
Dynamic calibration of trust and trustworthiness in AI-enabled systems	4
Reproducible and hackable software benchmarking with(out) compute clusters	4
Introduction to the special issue on timed and stochastic approaches to system evaluation	4