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-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
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker	11
L∗-based learning of Markov decision processes (extended version)	11
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation	11
Formal analysis of the compact positionreporting algorithm	10
Stepwise development and model checking of adistributed interlocking system using RAISE	9
Compositional Reasoning for Non-multicopy Atomic Architectures	8
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula	8
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter	8
Verifying correctness of persistent concurrent data structures: a sound and complete method	7
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
Optimal and robust controller synthesis using energytimed automata with uncertainty	6
Machine learning steered symbolic execution framework for complex software code	6
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
Symbolic execution formally explained	5

A Case in Point: Verification and Testing of a EULYNX Interface	5
Compositional Verification of Railway Interlocking Systems	5
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
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
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking	3
Multi-objective ω-Regular Reinforcement Learning	3
A Weakness Measure for GR(1) Formulae	3
From generic partition refinement to weighted tree automata minimization	3
Compositional Analysis of Probabilistic Timed Graph Transformation Systems	3
Algebra-Based Reasoning for Loop Synthesis	3
Principles of Abstract Interpretation	3
Statistical model checking for variability-intensive systems: applications to bug detection and minimization	3
Formal Methods in Industry	2
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems	2
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics	2
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies	2
A Deep Reinforcement Learning Framework with Formal Verification	2
A refinement-based development of a distributed signalling system	2
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring	2
Modular verification of programs with effectsand effects handlers	2
A tale of two graph models: a case study in wireless sensor networks	2
TOrPEDO: witnessing model correctness with topological proofs	2
Modeling and analysis of communicating systems	1
Quantitative verification of Kalman filters	1
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT	1
Formal Specification and Verification of JDK’s Identity Hash Map Implementation	1
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis	1
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers	1
On Lexicographic Proof Rules for Probabilistic Termination	1
Hybrid dynamic logic institutions for event/data-based systems	1
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)	1
UNITY and Büchi automata	1
Sound Runtime Assertion Checking for Memory Properties via Program Transformation	1
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations	1
GR(1)*: GR(1) specifications extended withexistential guarantees	1
The Development and Deployment of Formal Methods in the UK	1
Enhancing Probabilistic Model Checking with Ontologies	1
Verification of Crashsafe Caching in a Virtual File System Switch	1
Review on Theories of Programming: The Life and Works of Tony Hoare	1