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 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
Verification modulo theories6
Abstraction Modulo Stability6
Parameterized verification of leader/follower systems via first-order temporal logic5
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis5
The probabilistic termination tool amber4
Distributed bounded model checking4
The complexity gap in the static analysis of cache accesses grows if procedure calls are added4
Symbolic encoding of LL(1) parsing and its applications4
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation4
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’3
Towards neural-network-guided program synthesis and verification3
On monitoring linear temporal properties3
2018 CAV award3
Synbit: synthesizing bidirectional programs using unidirectional sketches3
Partial bounding for recursive function synthesis3
Information-flow control on ARM and POWER multicore processors2
Dynamic dependability analysis of shuffle-exchange networks2
LTL model checking of self modifying code2
Termination of triangular polynomial loops2
Round- and context-bounded control of dynamic pushdown systems2
Bounded-memory runtime enforcement with probabilistic and performance analysis2
Mining of extended signal temporal logic specifications with ParetoLib 2.02
Enhancing active model learning with equivalence checking using simulation relations2
Cut-off theorems for the PV-model2
Automatic proofs of memory deallocation for a Whiley-to-C Compiler2
Preface of the special issue on the conference on formal methods in computer aided design 20182
Automatic WSTS-based repair and deadlock detection of parameterized systems2
Memory-efficient fixpoint computation2
Stratified guarded first-order transition systems2
0.24722790718079