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 2020-04-01 to 2024-04-01.)
ArticleCitations
A Survey of Practical Formal Methods for Security14
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks14
PuRSUE -from specification of robotic environments to synthesis of controllers12
L∗-based learning of Markov decision processes (extended version)11
Learning safe neural network controllers with barrier certificates11
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM10
Stepwise development and model checking of adistributed interlocking system using RAISE9
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation9
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker8
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter8
0.023871898651123