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-08-01 to 2026-08-01.)
ArticleCitations
Introduction to the Special Collection from FM 202338
The Universality of Functions in the Sciences at Large and in Computing23
OLTL: An Optimization Extension of Linear Temporal Logic21
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs17
A Theory of Probabilistic Contracts14
Validation of CHC Satisfiability with ATHENA11
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains10
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)9
Review of Logical Analysis of Hybrid Systems8
Embeddings Between State and Action Based Probabilistic Logics8
Rod Burstall: In Memoriam6
Compositional Analysis of Probabilistic Timed Graph Transformation Systems6
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data6
Trace Semantics for C++11 Memory Model6
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems6
Introduction to the Special Section on FM 20215
On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity5
Celebrating Rance. Walter Rance Cleaveland II: July 18, 1961 - March 27, 2024. An Obituary5
Memory Consistency and Program Transformations5
Mechanised Safety Verification for a Distributed Autonomous Railway Control System4
Introduction to the Special Collection from PRDC 20234
Formal Methods—My 50+ Years as an Engineer, Researcher and Scientist4
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B3
Decidability of Liveness on the TSO Memory Model3
Introduction to the Special Collection from iFM 20233
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 IoT2
State Machines for Large Scale Computer Software and Systems2
The Concept of Class Invariant in Object-oriented Programming2
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities2
Tony Hoare: his path to the ACM Turing Award2
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics2
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems2
An Introduction to Input/Output Automata2
Review of Understanding Programming Languages2
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model2
Waitfree Linearization of an Arbitrary Data Object2
0.12132716178894