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

Article	Citations
A Survey of Practical Formal Methods for Security	14
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks	13
Learning safe neural network controllers with barrier certificates	11
PuRSUE -from specification of robotic environments to synthesis of controllers	11
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM	10
L∗-based learning of Markov decision processes (extended version)	10
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation	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
Formal analysis of the compact positionreporting algorithm	7
Runtime enforcement of timed properties usinggames	7
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula	6
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP	6
Collaborative models for autonomous systems controller synthesis	6
SDLV: Verification of Steering Angle Safety for Self-Driving Cars	6
Verifying correctness of persistent concurrent data structures: a sound and complete method	6
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
An Event-B based approach for cloudcomposite services verification	5
Model-based Safety Assessment of a Triple Modular Generator with xSAP	5
Counterexample-guided inductive synthesis for probabilistic systems	4
Optimal and robust controller synthesis using energytimed automata with uncertainty	4
Compositional Verification of Railway Interlocking Systems	4

Efficient data validation for geographical interlocking systems	4
Compositional Reasoning for Non-multicopy Atomic Architectures	4
Machine learning steered symbolic execution framework for complex software code	4
Denotational semantics of channel mobility in UTP-CSP	4
RiskStructures : A design algebra for risk-aware machines	4