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-06-01 to 2026-06-01.)
ArticleCitations
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 202115
Abstraction Modulo Stability8
Verification modulo theories7
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement7
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs6
Linear temporal constraints for sketch-based synthesizers6
Linearization, model reduction and reachability in nonlinear odes6
Editorial: Special issue on formal methods in computer-aided design6
0.201092004776