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-05-01 to 2024-05-01.)
ArticleCitations
Reluplex: a calculus for reasoning about deep neural networks18
Automatic verification of concurrent stochastic systems11
Boolean functional synthesis: hardness and practical algorithms7
Distributed bounded model checking6
SAT modulo discrete event simulation applied to railway design capacity analysis5
Gray-box monitoring of hyperproperties with an application to privacy5
Debug-localize-repair: a symbiotic construction for heap manipulations5
0.018928050994873