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-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
Formal testing of timed graph transformation systems using metric temporal graph logic	9
SaBRe: load-time selective binary rewriting	9
Graph-based technique for survivability assessment and optimization of IoT applications	9
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach	8
Correct program parallelisations	8
The RERS challenge: towards controllable and scalable benchmark synthesis	8
Formal methods and tools for industrial critical systems	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
Model-based optimization of ARINC-653 partition scheduling	6

Scalable online first-order monitoring	6
Compositional learning of mutually recursive procedural systems	6
Decision-making under uncertainty: beyond probabilities	6
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
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
Leveraging polyhedral reductions for solving Petri net reachability problems	4
A logic-based incremental approach to graph repair featuring delta preservation	4
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