Formal Aspects of Computing

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 2021-08-01 to 2025-08-01.)
ArticleCitations
TOrPEDO: witnessing model correctness with topological proofs32
Introduction to the Special Collection from FM 202324
The Universality of Functions in the Sciences at Large and in Computing22
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs19
Validation of CHC Satisfiability with ATHENA13
Editorial13
Embeddings Between State and Action Based Probabilistic Logics12
Review of Logical Analysis of Hybrid Systems12
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)11
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data11
Verifying correctness of persistent concurrent data structures: a sound and complete method10
Rod Burstall: In Memoriam10
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains9
Hybrid dynamic logic institutions for event/data-based systems8
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems8
Compositional Analysis of Probabilistic Timed Graph Transformation Systems7
The Development and Deployment of Formal Methods in the UK7
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary6
Mechanised Safety Verification for a Distributed Autonomous Railway Control System6
Trace Semantics for C++11 Memory Model6
Introduction to the Special Section on FM 20216
Tight Error Analysis in Fixed-point Arithmetic6
Memory Consistency and Program Transformations5
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities5
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System5
Verification of Crashsafe Caching in a Virtual File System Switch5
Introduction to the Special Collection from PRDC 20235
RiskStructures : A design algebra for risk-aware machines5
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B5
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT4
Efficient data validation for geographical interlocking systems4
A Debugging Game for Probabilistic Models4
The Concept of Class Invariant in Object-oriented Programming4
Waitfree Linearization of an Arbitrary Data Object3
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model3
State Machines for Large Scale Computer Software and Systems3
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter3
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics3
Exploring Scalability of BFT Blockchain Protocols through Network Simulations3
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems3
Review of Understanding Programming Languages3
A Deep Reinforcement Learning Framework with Formal Verification2
Editorial2
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems2
Language Family Engineering with Product Lines of Multi-level Models2
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints2
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover2
Multi-objective ω-Regular Reinforcement Learning2
From generic partition refinement to weighted tree automata minimization2
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking2
Introduction to the Special Collection from FASE 20211
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS1
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies1
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks1
Obituary for Niklaus Wirth1
Canonical Automata for Persistent Linearizability - A Corrigendum1
Counterexample-guided inductive synthesis for probabilistic systems1
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning1
An axiomatic approach to existence and liveness for differential equations1
Statistical model checking for variability-intensive systems: applications to bug detection and minimization1
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL1
Formal Methods in Industry1
GR(1)*: GR(1) specifications extended withexistential guarantees1
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations1
Review on Theories of Programming: The Life and Works of Tony Hoare1
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring1
A refinement-based development of a distributed signalling system1
Review on : Domain Science and Engineering - A Foundation for Software Development1
0.40627694129944