OOIR: Observatory of International Research

Papers

(The median citation count of Formal Aspects of Computing is 1. 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
PuRSUE -from specification of robotic environments to synthesis of controllers	11
Learning safe neural network controllers with barrier certificates	11
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM	10
L∗-based learning of Markov decision processes (extended version)	10
Stepwise development and model checking of adistributed interlocking system using RAISE	9
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation	9
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker	8
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter	8
Formal analysis of the compact positionreporting algorithm	7
Runtime enforcement of timed properties usinggames	7
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
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
An Event-B based approach for cloudcomposite services verification	5
Model-based Safety Assessment of a Triple Modular Generator with xSAP	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
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
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
Tight Error Analysis in Fixed-point Arithmetic	3
Language Family Engineering with Product Lines of Multi-level Models	3
A process calculus BigrTiMo of mobile systemsand its formal semantics	3
Symbolic execution formally explained	3
Modular verification of programs with effectsand effects handlers	2
A refinement-based development of a distributed signalling system	2
Algebra-Based Reasoning for Loop Synthesis	2
Probabilistic Bigraphs	2
From generic partition refinement to weighted tree automata minimization	2
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems	2
A Weakness Measure for GR(1) Formulae	2
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management	2
Inferring Switched Nonlinear DynamicalSystems	2
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics	2
Statistical model checking for variability-intensive systems: applications to bug detection and minimization	2
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems	2
TOrPEDO: witnessing model correctness with topological proofs	1
Legislation-driven development of a Gift Aid system using Event-B	1
Principles of Abstract Interpretation	1
Quantitative verification of Kalman filters	1
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)	1
UNITY and Büchi automata	1
Review on Theories of Programming: The Life and Works of Tony Hoare	1
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations	1
Multi-objective ω-Regular Reinforcement Learning	1
GR(1)*: GR(1) specifications extended withexistential guarantees	1
Compositional Analysis of Probabilistic Timed Graph Transformation Systems	1
Enhancing Probabilistic Model Checking with Ontologies	1
Verification of Crashsafe Caching in a Virtual File System Switch	1
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies	1
Modeling and analysis of communicating systems	1
A Deep Reinforcement Learning Framework with Formal Verification	1
The Development and Deployment of Formal Methods in the UK	1
Hybrid dynamic logic institutions for event/data-based systems	1
Formal Specification and Verification of JDK’s Identity Hash Map Implementation	1
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs using Coverage-Guided Fuzzing and Runtime Assertion Checking	1