OOIR: Observatory of International Research

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-09-01 to 2025-09-01.)

Article	Citations
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021	11
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs	6
Abstraction Modulo Stability	6
Verification modulo theories	6
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement	6
Parameterized verification of leader/follower systems via first-order temporal logic	6
Linearization, model reduction and reachability in nonlinear odes	5
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis	4
Symbolic encoding of LL(1) parsing and its applications	4
Distributed bounded model checking	4
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation	3
On monitoring linear temporal properties	3
Synbit: synthesizing bidirectional programs using unidirectional sketches	3
Partial bounding for recursive function synthesis	3
The complexity gap in the static analysis of cache accesses grows if procedure calls are added	3
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’	3
LTL model checking of self modifying code	3
The probabilistic termination tool amber	3
Towards neural-network-guided program synthesis and verification	3
Enhancing active model learning with equivalence checking using simulation relations	3
Automatic WSTS-based repair and deadlock detection of parameterized systems	2
Mining of extended signal temporal logic specifications with ParetoLib 2.0	2
Certified SAT solving with GPU accelerated inprocessing	2
Stratified guarded first-order transition systems	2
Bounded-memory runtime enforcement with probabilistic and performance analysis	2

Preface of the special issue on the static analysis symposium 2020 and 2022	2
SAT solving for variants of first-order subsumption	2
Cut-off theorems for the PV-model	2
Termination of triangular polynomial loops	2
Memory-efficient fixpoint computation	2
(Un)Solvable loop analysis	2
Dynamic dependability analysis of shuffle-exchange networks	2
Round- and context-bounded control of dynamic pushdown systems	2