Formal Methods in System Design

Papers
(The H4-Index of Formal Methods in System Design is 5. 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-05-01 to 2025-05-01.)
ArticleCitations
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement29
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 20219
Abstraction Modulo Stability6
Verification modulo theories6
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis5
Parameterized verification of leader/follower systems via first-order temporal logic5
0.041728019714355