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-04-01 to 2024-04-01.)
ArticleCitations
Reluplex: a calculus for reasoning about deep neural networks18
Automatic verification of concurrent stochastic systems11
Boolean functional synthesis: hardness and practical algorithms6
Debug-localize-repair: a symbiotic construction for heap manipulations5
SAT modulo discrete event simulation applied to railway design capacity analysis5
Distributed bounded model checking5
0.017725229263306