Formal Methods in System Design

Papers
(The TQCC of Formal Methods in System Design is 2. 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-05-01 to 2026-05-01.)
ArticleCitations
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 202114
Abstraction Modulo Stability7
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
Symbolic encoding of LL(1) parsing and its applications6
Verification modulo theories6
Linearization, model reduction and reachability in nonlinear odes6
Editorial: Special issue on formal methods in computer-aided design6
The probabilistic termination tool amber5
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’4
On monitoring linear temporal properties4
Towards neural-network-guided program synthesis and verification4
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation4
Round- and context-bounded control of dynamic pushdown systems3
Partial bounding for recursive function synthesis3
Enhancing active model learning with equivalence checking using simulation relations3
Memory-efficient fixpoint computation3
Synbit: synthesizing bidirectional programs using unidirectional sketches3
Stratified guarded first-order transition systems2
Formalization of robot collision detection method based on conformal geometric algebra2
(Un)Solvable loop analysis2
Termination of triangular polynomial loops2
Preface of the special issue on the static analysis symposium 2020 and 20222
Automatic WSTS-based repair and deadlock detection of parameterized systems2
Bounded-memory runtime enforcement with probabilistic and performance analysis2
Mining of extended signal temporal logic specifications with ParetoLib 2.02
0.13838481903076