OOIR: Observatory of International Research

Papers

(The TQCC of Formal Aspects of Computing 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-05-01 to 2024-05-01.)

Article	Citations
A Survey of Practical Formal Methods for Security	16
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks	14
PuRSUE -from specification of robotic environments to synthesis of controllers	12
L∗-based learning of Markov decision processes (extended version)	11
Learning safe neural network controllers with barrier certificates	11
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM	11
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation	9
Formal analysis of the compact positionreporting algorithm	9
Stepwise development and model checking of adistributed interlocking system using RAISE	9
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter	8
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker	8
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula	7
Runtime enforcement of timed properties usinggames	7
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP	7
SDLV: Verification of Steering Angle Safety for Self-Driving Cars	6
Verifying correctness of persistent concurrent data structures: a sound and complete method	6
Collaborative models for autonomous systems controller synthesis	6
Optimal and robust controller synthesis using energytimed automata with uncertainty	5
A Case in Point: Verification and Testing of a EULYNX Interface	5
An axiomatic approach to existence and liveness for differential equations	5
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light	5
Model-based Safety Assessment of a Triple Modular Generator with xSAP	5
An Event-B based approach for cloudcomposite services verification	5
Machine learning steered symbolic execution framework for complex software code	5
Symbolic execution formally explained	4

Efficient data validation for geographical interlocking systems	4
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management	4
Counterexample-guided inductive synthesis for probabilistic systems	4
Compositional Reasoning for Non-multicopy Atomic Architectures	4
Compositional Verification of Railway Interlocking Systems	4
Denotational semantics of channel mobility in UTP-CSP	4
RiskStructures : A design algebra for risk-aware machines	4