Formal Aspects of Computing

Papers
(The TQCC of Formal Aspects of Computing is 3. 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-11-01 to 2025-11-01.)
ArticleCitations
TOrPEDO: witnessing model correctness with topological proofs35
Introduction to the Special Collection from FM 202324
The Universality of Functions in the Sciences at Large and in Computing23
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs19
Validation of CHC Satisfiability with ATHENA16
Editorial14
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)11
Embeddings Between State and Action Based Probabilistic Logics10
Review of Logical Analysis of Hybrid Systems10
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data9
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains8
Rod Burstall: In Memoriam8
Compositional Analysis of Probabilistic Timed Graph Transformation Systems7
Hybrid dynamic logic institutions for event/data-based systems7
Trace Semantics for C++11 Memory Model6
The Development and Deployment of Formal Methods in the UK6
Tight Error Analysis in Fixed-point Arithmetic6
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary6
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems6
Mechanised Safety Verification for a Distributed Autonomous Railway Control System5
Introduction to the Special Collection from PRDC 20235
Introduction to the Special Section on FM 20215
Memory Consistency and Program Transformations5
Introduction to the Special Collection from iFM 20234
Verification of Crashsafe Caching in a Virtual File System Switch4
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System4
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B3
Review of Understanding Programming Languages3
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT3
The Concept of Class Invariant in Object-oriented Programming3
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities3
State Machines for Large Scale Computer Software and Systems3
A Debugging Game for Probabilistic Models3
0.020907878875732