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 2020-10-01 to 2024-10-01.)

Article	Citations
The probabilistic model checker Storm	82
A taxonomy for classifying runtime verification tools	48
Static analysis for discovering IoT vulnerabilities	36
First three years of the international verification of neural networks competition (VNN-COMP)	22
OC-PM: analyzing object-centric event logs and process models	15
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches	13
CPSDebug: Automatic failure explanation in CPS models	13
Algebraic aggregation of random forests: towards explainability and rapid evaluation	13
Programming dynamic reconfigurable systems	13
Stream runtime verification of real-time event streams with the Striver language	12
DisCoveR: accurate and efficient discovery of declarative process models	11
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods	11
DFT modeling approach for operational risk assessment of railway infrastructure	10
VerifyThis 2019: a program verification competition	10
Software test results exploration and visualization with continuous integration and nightly testing	10
SaBRe: load-time selective binary rewriting	9
Graph-based technique for survivability assessment and optimization of IoT applications	9
Formal testing of timed graph transformation systems using metric temporal graph logic	9
The RERS challenge: towards controllable and scalable benchmark synthesis	8
Formal methods and tools for industrial critical systems	8
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach	8
Correct program parallelisations	8
SMT solving for the validation of B and Event-B models	7
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL	7
Compositional learning of mutually recursive procedural systems	6

Decision-making under uncertainty: beyond probabilities	6
Model-based optimization of ARINC-653 partition scheduling	6
Scalable online first-order monitoring	6
Efficient and expressive bytecode-level instrumentation for Java programs	5
Towards rigorous understanding of neural networks via semantics-preserving transformations	5
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML	5
CoCo 2019: report on the eighth confluence competition	5
Scenario-based verification of uncertain parametric MDPs	5
What can we monitor over unreliable channels?	5
The Log Skeleton Visualizer in ProM 6.9	5
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra	5
Cooperative verifier-based testing with CoVeriTest	5
Forest GUMP: a tool for verification and explanation	5
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019	4
First international competition on software testing	4
Towards language-to-language transformation	4
ADTLang: a programming language approach to attack defense trees	4
SyReNN: A tool for analyzing deep neural networks	4
Algorithm selection for SMT	4
Verifying OpenJDK’s LinkedList using KeY (extended paper)	4
Temporal-logic query checking over finite data streams	4
An extension of first-order LTL with rules with application to runtime verification	4
The power of typed affine decision structures: a case study	4
An overview of structural coverage metrics for testing neural networks	4
Leveraging polyhedral reductions for solving Petri net reachability problems	4
A logic-based incremental approach to graph repair featuring delta preservation	4
Analysis of recurrent neural networks via property-directed verification of surrogate models	3
Diagnosing timed automata using timed markings	3
On the road with RTLola	3
Extending a brainiac prover to lambda-free higher-order logic	3
DivSIM , an interactive simulator for LLVM bitcode	3
Comparing controlled system synthesis and suppression enforcement	3
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture	3
A calculus for modular loop acceleration and non-termination proofs	3
Programming event monitors	3
TOOLympics I: Competition on software testing	3
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps	3
Formal verification of OIL component specifications using mCRL2	3
Analyzing neural network behavior through deep statistical model checking	3
Supporting safe metamodel evolution with edelta	3
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking	3
Specifying and detecting temporal patterns with shape expressions	3
Algebraically explainable controllers: decision trees and support vector machines join forces	3
Modelling flocks of birds and colonies of ants from the bottom up	3
Machine-learning abstractions for component-based self-optimizing systems	2
Verification of randomized consensus algorithms under round-rigid adversaries	2
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata	2
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions	2
Full-program induction: verifying array programs sans loop invariants	2
A domain-specific language to design false data injection tests for air traffic control systems	2

Into the unknown: active monitoring of neural networks (extended version)	2
Bounded DBM-based clock state construction for timed automata in Uppaal	2
Extended abstract dependency graphs	2
Predicate monitoring in distributed cyber-physical systems	2
Generating test as a web service (TaaWS) through a method-based attribute grammar	2
Correct by design coordination of autonomous driving systems	2
Monitoring with verified guarantees	2
Automated formal analysis of temporal properties of Ladder programs	2
A compositional framework for algebraic quantitative online monitoring over continuous-time signals	2
Analysis of non-Markovian repairable fault trees through rare event simulation	2
Causal analysis of positive Reaction Systems	2
A toolchain for strategy synthesis with spatial properties	2
GSDetector: a tool for automatic detection of bad smells in GRL goal models	2
Energy characterization of IoT systems through design aspect monitoring	2
SL-COMP: competition of solvers for separation logic	2