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-06-01 to 2026-06-01.)
ArticleCitations
Introduction to the Special Collection from FM 202331
The Universality of Functions in the Sciences at Large and in Computing23
OLTL: An Optimization Extension of Linear Temporal Logic19
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs15
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)13
Validation of CHC Satisfiability with ATHENA13
Review of Logical Analysis of Hybrid Systems11
Embeddings Between State and Action Based Probabilistic Logics9
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data8
Rod Burstall: In Memoriam7
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems7
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains7
Compositional Analysis of Probabilistic Timed Graph Transformation Systems7
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary6
Trace Semantics for C++11 Memory Model6
Introduction to the Special Section on FM 20216
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity5
Mechanised Safety Verification for a Distributed Autonomous Railway Control System5
Introduction to the Special Collection from PRDC 20234
Memory Consistency and Program Transformations4
Formal Methods - My 50+ Years as an Engineer, Researcher and Scientist4
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B3
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System3
Introduction to the Special Collection from iFM 20233
An Introduction to Input/Output Automata3
Decidability of Liveness on the TSO Memory Model3
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities3
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT2
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics2
A Debugging Game for Probabilistic Models2
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model2
State Machines for Large Scale Computer Software and Systems2
Tony Hoare: his path to the ACM Turing Award2
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems2
Review of Understanding Programming Languages2
0.052896976470947