Formal Aspects of Computing

Papers
(The H4-Index of Formal Aspects of Computing is 9. 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 2020-11-01 to 2024-11-01.)
ArticleCitations
A Survey of Practical Formal Methods for Security25
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks19
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM18
Learning safe neural network controllers with barrier certificates16
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation11
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker11
L∗-based learning of Markov decision processes (extended version)11
Formal analysis of the compact positionreporting algorithm10
Stepwise development and model checking of adistributed interlocking system using RAISE9
0.021345853805542