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-09-01 to 2025-09-01.)
ArticleCitations
TOrPEDO: witnessing model correctness with topological proofs32
The Universality of Functions in the Sciences at Large and in Computing24
Introduction to the Special Collection from FM 202322
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs19
Validation of CHC Satisfiability with ATHENA15
Rod Burstall: In Memoriam13
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains11
Embeddings Between State and Action Based Probabilistic Logics10
Editorial10
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data9
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)8
Review of Logical Analysis of Hybrid Systems7
Compositional Analysis of Probabilistic Timed Graph Transformation Systems6
Tight Error Analysis in Fixed-point Arithmetic6
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems6
The Development and Deployment of Formal Methods in the UK6
Hybrid dynamic logic institutions for event/data-based systems6
Mechanised Safety Verification for a Distributed Autonomous Railway Control System5
Trace Semantics for C++11 Memory Model5
Introduction to the Special Collection from PRDC 20235
Introduction to the Special Section on FM 20215
Memory Consistency and Program Transformations5
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary5
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System4
Verification of Crashsafe Caching in a Virtual File System Switch4
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
Efficient data validation for geographical interlocking systems3
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B3
A Debugging Game for Probabilistic Models3
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT3
0.046910047531128