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

Article	Citations
The probabilistic model checker Storm	56
A taxonomy for classifying runtime verification tools	34
Rigorous engineering of collective adaptive systems: special section	27
Static analysis for discovering IoT vulnerabilities	27
KLEE symbolic execution engine in 2019	18
An efficient statistical model checker for nondeterminism and rare events	15
The scenario coevolution paradigm: adaptive quality assurance for adaptive systems	13
Programming dynamic reconfigurable systems	12
Swarm model checking on the GPU	12
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches	11
OC-PM: analyzing object-centric event logs and process models	11
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications	11
CPSDebug: Automatic failure explanation in CPS models	10
Stream runtime verification of real-time event streams with the Striver language	10
Algebraic aggregation of random forests: towards explainability and rapid evaluation	9
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic	9
Verification and refutation of C programs based on k-induction and invariant inference	9
DisCoveR: accurate and efficient discovery of declarative process models	9
VerifyThis 2019: a program verification competition	8
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods	8
Graph-based technique for survivability assessment and optimization of IoT applications	8
Correct program parallelisations	8
ESBMC 6.1: automated test case generation using bounded model checking	8
Plain random test generation with PRTest	8
The RERS challenge: towards controllable and scalable benchmark synthesis	7

SaBRe: load-time selective binary rewriting	7
First three years of the international verification of neural networks competition (VNN-COMP)	7
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach	7
Formal methods and tools for industrial critical systems	6
Toward autonomically composable and context-dependent access control specification through ensembles	6
DFT modeling approach for operational risk assessment of railway infrastructure	6
The Refinement Calculus of Reactive Systems Toolset	6
Formal testing of timed graph transformation systems using metric temporal graph logic	6
SMT solving for the validation of B and Event-B models	5
What can we monitor over unreliable channels?	5
Comparing mutation coverage against branch coverage in an industrial setting	5
Scenario-based verification of uncertain parametric MDPs	5
Software test results exploration and visualization with continuous integration and nightly testing	5
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars	5
Compositional learning of mutually recursive procedural systems	5
CoCo 2019: report on the eighth confluence competition	5
Model-based optimization of ARINC-653 partition scheduling	5
Incremental execution of rule-based model transformation	5
Scalable online first-order monitoring	4
Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system	4
Leveraging polyhedral reductions for solving Petri net reachability problems	4
Cooperative verifier-based testing with CoVeriTest	4
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL	4
The Log Skeleton Visualizer in ProM 6.9	4
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation	4
Efficient and expressive bytecode-level instrumentation for Java programs	4
CoVeriTest: interleaving value and predicate analysis for test-case generation	4
Symbiotic 6: generating test cases by slicing and symbolic execution	4
Decision-making under uncertainty: beyond probabilities	4
Towards language-to-language transformation	4
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance	4
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3	4
First international competition on software testing	4
Analyzing neural network behavior through deep statistical model checking	3
A calculus for modular loop acceleration and non-termination proofs	3
Dependency graphs with applications to verification	3
An extension of first-order LTL with rules with application to runtime verification	3
Extending a brainiac prover to lambda-free higher-order logic	3
An overview of structural coverage metrics for testing neural networks	3
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture	3
SyReNN: A tool for analyzing deep neural networks	3
A logic-based incremental approach to graph repair featuring delta preservation	3
Towards rigorous understanding of neural networks via semantics-preserving transformations	3
Forest GUMP: a tool for verification and explanation	3
The power of typed affine decision structures: a case study	3
Comparing controlled system synthesis and suppression enforcement	3
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra	3
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking	3
Temporal-logic query checking over finite data streams	3
Specifying and detecting temporal patterns with shape expressions	3

TOOLympics I: Competition on software testing	3
FairFuzz-TC: a fuzzer targeting rare branches	3
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps	3
Generating test as a web service (TaaWS) through a method-based attribute grammar	2
Into the unknown: active monitoring of neural networks (extended version)	2
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019	2
Extended abstract dependency graphs	2
Supporting safe metamodel evolution with edelta	2
Verifying OpenJDK’s LinkedList using KeY (extended paper)	2
ADTLang: a programming language approach to attack defense trees	2
SL-COMP: competition of solvers for separation logic	2
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions	2
Algebraically explainable controllers: decision trees and support vector machines join forces	2
Diagnosing timed automata using timed markings	2
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata	2
Energy characterization of IoT systems through design aspect monitoring	2
A compositional framework for algebraic quantitative online monitoring over continuous-time signals	2
Automating deductive verification for weak-memory programs (extended version)	2
Analysis of recurrent neural networks via property-directed verification of surrogate models	2
Modelling flocks of birds and colonies of ants from the bottom up	2
A domain-specific language to design false data injection tests for air traffic control systems	2