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 2020-11-01 to 2024-11-01.)
ArticleCitations
Reluplex: a calculus for reasoning about deep neural networks23
Automatic verification of concurrent stochastic systems12
Distributed bounded model checking6
Gray-box monitoring of hyperproperties with an application to privacy5
Debug-localize-repair: a symbiotic construction for heap manipulations5
SAT modulo discrete event simulation applied to railway design capacity analysis5
0.022981882095337