OOIR: Observatory of International Research

Papers

(The median citation count of International Journal on Software Tools for Technology Transfer is 1. 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-01-01 to 2026-01-01.)

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

Compositional runtime enforcement of safety and co-safety timed properties	7
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods	6
What is the best algorithm for MDP model checking?	6
Rance Cleaveland: a life for formal methods	6
Monitoring of spatio-temporal properties with nonlinear SAT solvers	6
An adaptive, provable correct simplex architecture	6
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	6
ccReact: a rewriting framework for the formal analysis of reaction systems	5
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	5
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	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
Preface to the special issue on engineering of computer-based systems	5
WhyRel: an auto-active relational verifier	5
User-assisted code query customization and optimization	5
Reusable formal models for concurrency and communication in custom real-time operating systems	5
Bounded DBM-based clock state construction for timed automata in Uppaal	5
Pattern-based verification of ROS 2 applications using UPPAAL	5
Deterministic state space exploration	4
Correct by design coordination of autonomous driving systems	4
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017	4
A causal, time-independent synchronization pattern for collective adaptive systems	4
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT	4
Analysis of recurrent neural networks via property-directed verification of surrogate models	4
Certification of avionic software based on machine learning: the case for formal monotony analysis	4
Reproducible and hackable software benchmarking with(out) compute clusters	4
A technology transfer journey to a model-driven access control system	4
Rigorous pattern matching as a language feature	4
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking	4
First three years of the international verification of neural networks competition (VNN-COMP)	4
An Event-B model of an automotive adaptive exterior light system	4
The CoLiS platform for the analysis of maintainer scripts in Debian software packages	4
A toolchain for strategy synthesis with spatial properties	4
An overview of structural coverage metrics for testing neural networks	3
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)	3
Challenges of software verification: the past, the present, the future	3
Formal analysis of an AUTOSAR-based basic software module	3
Machine-learning abstractions for component-based self-optimizing systems	3
Program analysis using empirical abstraction	3
Coordinating and programming multiple ROS-based robots with X-KLAIM	3
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021	2
Formal methods for industrial critical systems	2
Publisher Correction: Algorithm selection for SMT	2
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML	2
Containers for specification in SPARK	2
Leveraging static analysis for cost-aware serverless scheduling policies	2
A compositional framework for algebraic quantitative online monitoring over continuous-time signals	2
IoT backends in the Asset Administration Shell – four integration approaches	2
Replicable theory	2
Analyzing neural network behavior through deep statistical model checking	2

Validating multiple variants of an automotive light system with Alloy 6	2
Programming event monitors	2
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2	2
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020	2
Analysing futex-based synchronisation primitives using model checking	2
Parameterized verification of systems with component identities, using view abstraction	2
Speeding up static analysis with the split operator	2
SyReNN: A tool for analyzing deep neural networks	2
Towards rigorous understanding of neural networks via semantics-preserving transformations	2
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs	2
Interleaving static analysis and LLM prompting with applications to error specification inference	2
Introduction to the special issue for SPIN 2021	2
A kinetic approach to investigate the collective dynamics of multi-agent systems	2
A process for creating KDM2PSM transformation engines	2
Reformulating regression test suite optimization using quantum annealing - an empirical study	1
SaBRe: load-time selective binary rewriting	1
Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers	1
Machine learning-based cache miss prediction	1
Non-numerical weakly relational domains	1
Supporting safe metamodel evolution with edelta	1
The power of typed affine decision structures: a case study	1
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C	1
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics	1
Modelling flocks of birds and colonies of ants from the bottom up	1
Software verification challenges in the blockchain ecosystem	1
Approximate verification of concurrent systems using token structures and invariants	1
Partial-order reduction for parity games and parameterised Boolean equation systems	1
Algebraically explainable controllers: decision trees and support vector machines join forces	1
Abstract domain adequacy	1
Language support for verifying reconfigurable interacting systems	1
Decision-making under uncertainty: beyond probabilities	1
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture	1
Machine learning-based ambient temperature prediction in radio access network environments	1
Temporal-logic query checking over finite data streams	1
Introduction to the Special Issue on Runtime Verification	1
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern	1
Efficient and expressive bytecode-level instrumentation for Java programs	1
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale	1
CFL-based methods for approximating interleaved Dyck reachability	1
OC-PM: analyzing object-centric event logs and process models	1
Algorithm selection for SMT	1
Formally verifying decompositions of stochastic specifications	1
On the applicability of hybrid systems safety verification tools from the automotive perspective	1
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY	1
Verifying OpenJDK’s LinkedList using KeY (extended paper)	1
An evaluation of approaches to model checking real-time task schedulability analysis	1
Generating test as a web service (TaaWS) through a method-based attribute grammar	1
Generating interactive documents for domain-specific validation of formal models	1
Analysis of non-Markovian repairable fault trees through rare event simulation	1
Reproducibility and replication of research results	1
Challenges of software verification	1
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense	1
Formal methods in industrial critical systems	1
Causal analysis of positive Reaction Systems	1