Formal Aspects of Computing

Papers
(The H4-Index of Formal Aspects of Computing is 8. 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-02-01 to 2025-02-01.)
ArticleCitations
Compositional Verification of Railway Interlocking Systems25
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management19
On the Interactive Power of Higher-order Processes Extended with Parameterization18
Review on Theories of Programming: The Life and Works of Tony Hoare16
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems11
Machine learning steered symbolic execution framework for complex software code11
Sound Runtime Assertion Checking for Memory Properties via Program Transformation11
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System8
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking8
0.035329103469849