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

Article	Citations
Strong Simple Policies for POMDPs	57
Introduction to the Special Issue on Runtime Verification	41
Predicate monitoring in distributed cyber-physical systems	18
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps	17
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
Efficiently computable temporal robustness for a practical STL fragment	11
Formal methods and tools for industrial critical systems	11
Rigorous engineering of collective adaptive systems – 2nd special section	11
Formal Methods for Industrial Critical Systems	10
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap	10
Monitoring with verified guarantees	9
Automated property-based testing from AADL component contracts	9
LLM-based code generation and system migration in language-driven engineering	9
MoonLight: a lightweight tool for monitoring spatio-temporal properties	8
Generating adaptation rule-specific neural networks	8
Abstractions of sequences, functions and operators	8
GSDetector: a tool for automatic detection of bad smells in GRL goal models	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 automated framework for verifying or refuting trace properties of extended finite state machines	7
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
Pattern-based verification of ROS 2 applications using UPPAAL	6
Monitoring of spatio-temporal properties with nonlinear SAT solvers	6
An adaptive, provable correct simplex architecture	6
Rance Cleaveland: a life for formal methods	6
Randomized reachability analysis in UPPAAL: fast error detection in timed systems	6
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	6
WhyRel: an auto-active relational verifier	6
A Floyd-Warshall approach to value computation in Markov decision processes	5
ccReact: a rewriting framework for the formal analysis of reaction systems	5
Reusable formal models for concurrency and communication in custom real-time operating systems	5
User-assisted code query customization and optimization	5
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	5
Preface to the special issue on engineering of computer-based systems	5
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool	5
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns	5
Bounded DBM-based clock state construction for timed automata in Uppaal	5
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
First three years of the international verification of neural networks competition (VNN-COMP)	4
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking	4
An efficient stochastic process discovery framework based on optimization	4
Correct by design coordination of autonomous driving systems	4
A compositional semantics for reconfigurable multi-mode interaction in R-CHECK	4
Inferring contracts by abstract interpretation with application to pointer nullness analysis	4
Introduction to the special issue on timed and stochastic approaches to system evaluation	4
Dynamic calibration of trust and trustworthiness in AI-enabled systems	4
Reproducible and hackable software benchmarking with(out) compute clusters	4
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	4
Deterministic state space exploration	4