Formal Aspects of Computing

Papers
(The TQCC of Formal Aspects of Computing is 2. 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 2022-01-01 to 2026-01-01.)
ArticleCitations
Introduction to the Special Collection from FM 202341
The Universality of Functions in the Sciences at Large and in Computing20
Validation of CHC Satisfiability with ATHENA16
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs13
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)12
Review of Logical Analysis of Hybrid Systems12
Embeddings Between State and Action Based Probabilistic Logics10
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data9
Rod Burstall: In Memoriam7
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains7
The Development and Deployment of Formal Methods in the UK7
Tight Error Analysis in Fixed-point Arithmetic6
Trace Semantics for C++11 Memory Model6
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems6
Compositional Analysis of Probabilistic Timed Graph Transformation Systems6
Memory Consistency and Program Transformations5
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary5
Mechanised Safety Verification for a Distributed Autonomous Railway Control System5
Introduction to the Special Section on FM 20215
Introduction to the Special Collection from PRDC 20234
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B4
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities3
Introduction to the Special Collection from iFM 20233
Verification of Crashsafe Caching in a Virtual File System Switch3
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System3
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT3
Decidability of Liveness on the TSO Memory Model3
The Concept of Class Invariant in Object-oriented Programming2
State Machines for Large Scale Computer Software and Systems2
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics2
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems2
Review of Understanding Programming Languages2
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model2
A Debugging Game for Probabilistic Models2
0.059439897537231