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

Article	Citations
Strong Simple Policies for POMDPs	124
Predicate monitoring in distributed cyber-physical systems	36
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps	21
Introduction to the Special Issue on Runtime Verification	19
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata	18
The probabilistic model checker Storm	15
DivSIM , an interactive simulator for LLVM bitcode	15
Formal verification and security analysis of MQTT-SN	14
State of the art in program analysis	13
Using linear algebra in decomposition of Farkas interpolants	11
Introduction to the special issue of the 19th International Conference on Runtime Verification	11
Formal methods and tools for industrial critical systems	11
Extended abstract dependency graphs	11
Interface control document modeling with Citrus (avionics systems interfaces)	11
GSDetector: a tool for automatic detection of bad smells in GRL goal models	10
Rigorous engineering of collective adaptive systems – 2nd special section	10
Generating adaptation rule-specific neural networks	9
Monitoring with verified guarantees	9
A logic-based incremental approach to graph repair featuring delta preservation	8
Formal Methods for Industrial Critical Systems	8
MoonLight: a lightweight tool for monitoring spatio-temporal properties	7
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach	7
The RERS challenge: towards controllable and scalable benchmark synthesis	6
Automated property-based testing from AADL component contracts	6
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap	6

Software test results exploration and visualization with continuous integration and nightly testing	6
An automated framework for verifying or refuting trace properties of extended finite state machines	5
LLM-based code generation and system migration in language-driven engineering	5
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks	5
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods	5
A modal approach to conscious social agents	5
Compositional runtime enforcement of safety and co-safety timed properties	5
Multi-level privacy analysis of business processes: the Pleak toolset	5
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool	5
Monitoring of spatio-temporal properties with nonlinear SAT solvers	5
Randomized reachability analysis in UPPAAL: fast error detection in timed systems	5
DisCoveR: accurate and efficient discovery of declarative process models	5
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller	5
Bounded DBM-based clock state construction for timed automata in Uppaal	4
A verified low-level implementation and visualization of the adaptive exterior light and speed control system	4
First three years of the international verification of neural networks competition (VNN-COMP)	4
Rance Cleaveland: a life for formal methods	4
WhyRel: an auto-active relational verifier	4
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns	4
TOOLympics I: Competition on software testing	4
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021	4
TOOLympics II: competitions on formal methods	4
User-assisted code query customization and optimization	4
Reusable formal models for concurrency and communication in custom real-time operating systems	4
ccReact: a rewriting framework for the formal analysis of reaction systems	4
Specifying and detecting temporal patterns with shape expressions	4
An adaptive, provable correct simplex architecture	4
Pattern-based verification of ROS 2 applications using UPPAAL	4
An extension of first-order LTL with rules with application to runtime verification	3
Correct by design coordination of autonomous driving systems	3
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019	3
Formal analysis of an AUTOSAR-based basic software module	3
Rigorous pattern matching as a language feature	3
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking	3
Analysis of recurrent neural networks via property-directed verification of surrogate models	3
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT	3
A causal, time-independent synchronization pattern for collective adaptive systems	3
An Event-B model of an automotive adaptive exterior light system	3
A technology transfer journey to a model-driven access control system	3
Certification of avionic software based on machine learning: the case for formal monotony analysis	3
The CoLiS platform for the analysis of maintainer scripts in Debian software packages	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
Interleaving static analysis and LLM prompting with applications to error specification inference	2
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019	2
What can we monitor over unreliable channels?	2
Publisher Correction: Algorithm selection for SMT	2
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020	2
A toolchain for strategy synthesis with spatial properties	2
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2	2

Introduction to the special issue for SPIN 2021	2
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML	2
A compositional framework for algebraic quantitative online monitoring over continuous-time signals	2
Machine-learning abstractions for component-based self-optimizing systems	2
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs	2
Correction to: An integrated specification and verification technique for highly concurrent data structures	2
Challenges of software verification: the past, the present, the future	2
Coordinating and programming multiple ROS-based robots with X-KLAIM	2
Leveraging static analysis for cost-aware serverless scheduling policies	2
A kinetic approach to investigate the collective dynamics of multi-agent systems	2
Extending a brainiac prover to lambda-free higher-order logic	2
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)	2
Program analysis using empirical abstraction	2
Temporal-logic query checking over finite data streams	1
Modelling flocks of birds and colonies of ants from the bottom up	1
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety	1
Validating multiple variants of an automotive light system with Alloy 6	1
Analysing futex-based synchronisation primitives using model checking	1
Towards rigorous understanding of neural networks via semantics-preserving transformations	1
Analysis of non-Markovian repairable fault trees through rare event simulation	1
Verifying OpenJDK’s LinkedList using KeY (extended paper)	1
Formally verifying decompositions of stochastic specifications	1
Introduction to the Special Issue on Runtime Verification	1
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture	1
SaBRe: load-time selective binary rewriting	1
IoT backends in the Asset Administration Shell – four integration approaches	1
Challenges of software verification	1
Quantitative estimation of side-channel leaks with neural networks	1
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics	1
Parameterized verification of systems with component identities, using view abstraction	1
SL-COMP: competition of solvers for separation logic	1
Generating interactive documents for domain-specific validation of formal models	1
A process for creating KDM2PSM transformation engines	1
Approximate verification of concurrent systems using token structures and invariants	1
Language support for verifying reconfigurable interacting systems	1
Efficient and expressive bytecode-level instrumentation for Java programs	1
CoCo 2019: report on the eighth confluence competition	1
Supporting safe metamodel evolution with edelta	1
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale	1
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications	1
Analyzing neural network behavior through deep statistical model checking	1
Speeding up static analysis with the split operator	1
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021	1
Programming event monitors	1
SyReNN: A tool for analyzing deep neural networks	1
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C	1
Machine learning-based cache miss prediction	1
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY	1
Software verification challenges in the blockchain ecosystem	1
An evaluation of approaches to model checking real-time task schedulability analysis	1