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-03-01 to 2025-03-01.)
ArticleCitations
Compositional Verification of Railway Interlocking Systems29
Introduction to the Special Collection from FM 202322
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems21
In Memoriam: Ernest Allen Emerson II18
Machine learning steered symbolic execution framework for complex software code15
Algebra-Based Reasoning for Loop Synthesis12
Probabilistic Bigraphs11
RoboWorld: Verification of Robotic Systems with Environment in the Loop9
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking8
Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies8
Review on Theories of Programming: The Life and Works of Tony Hoare8
TOrPEDO: witnessing model correctness with topological proofs8
The Universality of Functions in the Sciences at Large and in Computing7
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 20217
An SMT-Based Approach to the Verification of Knowledge-Based Programs7
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management6
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems6
Introduction to the Special Collection from PRDC 20236
Verification of Crashsafe Caching in a Virtual File System Switch6
Does Every Computer Scientist Need to Know Formal Methods?6
Sound Runtime Assertion Checking for Memory Properties via Program Transformation5
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System5
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis5
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B5
On the Interactive Power of Higher-order Processes Extended with Parameterization5
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints5
ω-Regular Energy Problems5
Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level5
A Case in Point: Verification and Testing of a EULYNX Interface4
Introduction to the Special Section on iFM 20204
Validation of CHC Satisfiability with ATHENA4
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring4
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System4
Learning safe neural network controllers with barrier certificates3
Statistical model checking for variability-intensive systems: applications to bug detection and minimization3
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming3
Formal Specification and Verification of JDK’s Identity Hash Map Implementation3
Kaki: Efficient Concurrent Update Synthesis for SDN3
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs3
UNITY and Büchi automata3
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs3
Editorial3
0.028589010238647