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

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

Randomized reachability analysis in UPPAAL: fast error detection in timed systems	7
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	7
A modal approach to conscious social agents	7
An adaptive, provable correct simplex architecture	7
Let’s do the swarm flight again: unleashing the potential of PROTEASE 2.0 for drone formation flight	7
Monitoring of spatio-temporal properties with nonlinear SAT solvers	7
WhyRel: an auto-active relational verifier	6
User-assisted code query customization and optimization	6
Reusable formal models for concurrency and communication in custom real-time operating systems	6
A Floyd-Warshall approach to value computation in Markov decision processes	6
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool	6
Preface to the special issue on engineering of computer-based systems	6
Pattern-based verification of ROS 2 applications using UPPAAL	6
Bridging hardware and software analysis with Btor2C: a word-level-circuit-to-C translator	6
ccReact: a rewriting framework for the formal analysis of reaction systems	5
Bounded DBM-based clock state construction for timed automata in Uppaal	5
Deterministic state space exploration	5
Introduction to the special issue on timed and stochastic approaches to system evaluation	5
Dynamic calibration of trust and trustworthiness in AI-enabled systems	5
An efficient stochastic process discovery framework based on optimization	5
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking	5
A compositional semantics for reconfigurable multi-mode interaction in R-CHECK	5
Inferring contracts by abstract interpretation with application to pointer nullness analysis	5
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	5
First three years of the international verification of neural networks competition (VNN-COMP)	5
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	5
Correct by design coordination of autonomous driving systems	5
A causal, time-independent synchronization pattern for collective adaptive systems	4
An Event-B model of an automotive adaptive exterior light system	4
An overview of structural coverage metrics for testing neural networks	4
A toolchain for strategy synthesis with spatial properties	4
A technology transfer journey to a model-driven access control system	4
Analysis of recurrent neural networks via property-directed verification of surrogate models	4
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT	4
Formal analysis of an AUTOSAR-based basic software module	4
Program analysis using empirical abstraction	4
Reproducible and hackable software benchmarking with(out) compute clusters	4
Certification of avionic software based on machine learning: the case for formal monotony analysis	4
The CoLiS platform for the analysis of maintainer scripts in Debian software packages	4
Rigorous pattern matching as a language feature	4
Design patterns for swarms engineered with context-role-oriented modeling	3
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs	3
Machine-learning abstractions for component-based self-optimizing systems	3
Coordinating and programming multiple ROS-based robots with X-KLAIM	3
Towards rigorous understanding of neural networks via semantics-preserving transformations	3
A compositional framework for algebraic quantitative online monitoring over continuous-time signals	3
Containers for specification in SPARK	3
Challenges of software verification: the past, the present, the future	3
Translating BPMN models into X-Klaim programs for developing multi-robot missions	3
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML	3

Programming event monitors	3
Introduction to the special issue for SPIN 2021	3
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020	3
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)	3
Interleaving static analysis and LLM prompting with applications to error specification inference	3
Analysing futex-based synchronisation primitives using model checking	3
Publisher Correction: Algorithm selection for SMT	3
Leveraging static analysis for cost-aware serverless scheduling policies	3
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021	2
Validating multiple variants of an automotive light system with Alloy 6	2
A kinetic approach to investigate the collective dynamics of multi-agent systems	2
Modelling flocks of birds and colonies of ants from the bottom up	2
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern	2
Active discount factor elicitation via reward modification	2
Introduction to the Special Issue on Runtime Verification	2
An evaluation of approaches to model checking real-time task schedulability analysis	2
SyReNN: A tool for analyzing deep neural networks	2
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants	2
IoT backends in the Asset Administration Shell – four integration approaches	2
Speeding up static analysis with the split operator	2
Attribute-based memory updates with priorities for collective adaptive systems	2
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics	2
Generating interactive documents for domain-specific validation of formal models	2
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C	2
Formal methods for industrial critical systems	2
Epistemic ensembles in semantic, symbolic, and distributed environments	2
Replicable theory	2
A process for creating KDM2PSM transformation engines	2
Reproducibility and replication of research results	2
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale	2
Analysis of non-Markovian repairable fault trees through rare event simulation	2
Challenges of software verification	2
Analyzing neural network behavior through deep statistical model checking	2