Formal Methods in System Design

Papers
(The H4-Index of Formal Methods in System Design is 6. 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-05-01 to 2026-05-01.)
ArticleCitations
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 202114
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement7
Abstraction Modulo Stability7
Symbolic encoding of LL(1) parsing and its applications6
Verification modulo theories6
Linearization, model reduction and reachability in nonlinear odes6
Editorial: Special issue on formal methods in computer-aided design6
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs6
0.19234991073608