OOIR: Observatory of International Research

Papers

(The TQCC of International Journal on Software Tools for Technology Transfer is 4. 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
Swarm model checking on the GPU	12
Programming dynamic reconfigurable systems	12
OC-PM: analyzing object-centric event logs and process models	11
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications	11
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches	11
CPSDebug: Automatic failure explanation in CPS models	10
Stream runtime verification of real-time event streams with the Striver language	10
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
Algebraic aggregation of random forests: towards explainability and rapid evaluation	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
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
SMT solving for the validation of B and Event-B models	5
What can we monitor over unreliable channels?	5
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
Scalable online first-order monitoring	4
Learning-based coordination model for spontaneous self-composition of reliable services in a distributed system	4