Formal Aspects of Computing

Papers
(The TQCC of Formal Aspects of Computing is 4. 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-06-01 to 2025-06-01.)
ArticleCitations
TOrPEDO: witnessing model correctness with topological proofs31
The Universality of Functions in the Sciences at Large and in Computing24
Introduction to the Special Collection from FM 202322
Validation of CHC Satisfiability with ATHENA20
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs18
Editorial13
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
Embeddings Between State and Action Based Probabilistic Logics10
Rod Burstall: In Memoriam10
Verifying correctness of persistent concurrent data structures: a sound and complete method9
The Development and Deployment of Formal Methods in the UK9
Tight Error Analysis in Fixed-point Arithmetic8
Hybrid dynamic logic institutions for event/data-based systems8
Compositional Analysis of Probabilistic Timed Graph Transformation Systems8
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems7
Trace Semantics for C++11 Memory Model7
Introduction to the Special Section on FM 20217
Mechanised Safety Verification for a Distributed Autonomous Railway Control System6
Introduction to the Special Collection from PRDC 20236
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary6
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System6
Memory Consistency and Program Transformations6
Verification of Crashsafe Caching in a Virtual File System Switch6
Efficient data validation for geographical interlocking systems5
A Debugging Game for Probabilistic Models5
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B5
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics5
The Concept of Class Invariant in Object-oriented Programming5
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT5
State Machines for Large Scale Computer Software and Systems5
Review of Understanding Programming Languages5
RiskStructures : A design algebra for risk-aware machines5
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model4
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter4
Language Family Engineering with Product Lines of Multi-level Models4
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems4
0.033803939819336