OOIR: Observatory of International Research

Papers

(The median citation count of International Journal on Software Tools for Technology Transfer is 2. 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
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
Statistical model checking of a dynamic vehicle platoon	11
Challenges of Software Verification (CSV’25)	11
Formal Methods for Industrial Critical Systems	10
Monitoring with verified guarantees	9
Generating adaptation rule-specific neural networks	9
Automated property-based testing from AADL component contracts	9
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
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
What is the best algorithm for MDP model checking?	7
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

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
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
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
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
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
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
Analysis of recurrent neural networks via property-directed verification of surrogate models	3
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017	3
An overview of structural coverage metrics for testing neural networks	3
Translating BPMN models into X-Klaim programs for developing multi-robot missions	3
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020	3
Design patterns for swarms engineered with context-role-oriented modeling	3
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT	3
A toolchain for strategy synthesis with spatial properties	3
Program analysis using empirical abstraction	3
Challenges of software verification: the past, the present, the future	3
Containers for specification in SPARK	3
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)	3
Formal analysis of an AUTOSAR-based basic software module	3
An Event-B model of an automotive adaptive exterior light system	3
A causal, time-independent synchronization pattern for collective adaptive systems	3
Rigorous pattern matching as a language feature	3
Machine-learning abstractions for component-based self-optimizing systems	3

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs	3
Modelling flocks of birds and colonies of ants from the bottom up	2
Speeding up static analysis with the split operator	2
Towards rigorous understanding of neural networks via semantics-preserving transformations	2
Leveraging static analysis for cost-aware serverless scheduling policies	2
Interleaving static analysis and LLM prompting with applications to error specification inference	2
IoT backends in the Asset Administration Shell – four integration approaches	2
A process for creating KDM2PSM transformation engines	2
Replicable theory	2
Formal methods for industrial critical systems	2
A kinetic approach to investigate the collective dynamics of multi-agent systems	2
A compositional framework for algebraic quantitative online monitoring over continuous-time signals	2
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML	2
Publisher Correction: Algorithm selection for SMT	2
Validating multiple variants of an automotive light system with Alloy 6	2
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale	2
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants	2
SyReNN: A tool for analyzing deep neural networks	2
Analysing futex-based synchronisation primitives using model checking	2
Introduction to the special issue for SPIN 2021	2
Coordinating and programming multiple ROS-based robots with X-KLAIM	2
Programming event monitors	2
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021	2
Analyzing neural network behavior through deep statistical model checking	2