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

Article	Citations
A Survey of Practical Formal Methods for Security	25
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks	19
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM	18
Learning safe neural network controllers with barrier certificates	16
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation	11
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker	11
L∗-based learning of Markov decision processes (extended version)	11
Formal analysis of the compact positionreporting algorithm	10
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
Compositional Reasoning for Non-multicopy Atomic Architectures	8
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula	8
Verifying correctness of persistent concurrent data structures: a sound and complete method	7
Optimal and robust controller synthesis using energytimed automata with uncertainty	6
Machine learning steered symbolic execution framework for complex software code	6
SDLV: Verification of Steering Angle Safety for Self-Driving Cars	6
An axiomatic approach to existence and liveness for differential equations	6
On Formal Methods Thinking in Computer Science Education	6
Efficient data validation for geographical interlocking systems	6
Symbolic execution formally explained	5
A Case in Point: Verification and Testing of a EULYNX Interface	5
Compositional Verification of Railway Interlocking Systems	5
Model-based Safety Assessment of a Triple Modular Generator with xSAP	5
Probabilistic Bigraphs	5
Inferring Switched Nonlinear DynamicalSystems	5

An Event-B based approach for cloudcomposite services verification	5
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management	5
Counterexample-guided inductive synthesis for probabilistic systems	4
Denotational semantics of channel mobility in UTP-CSP	4
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems	4
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning	4
A process calculus BigrTiMo of mobile systemsand its formal semantics	4
Does Every Computer Scientist Need to Know Formal Methods?	4
Language Family Engineering with Product Lines of Multi-level Models	4
Tight Error Analysis in Fixed-point Arithmetic	4
RiskStructures : A design algebra for risk-aware machines	4