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

Article	Citations
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021	12
Abstraction Modulo Stability	8
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs	6
Parameterized verification of leader/follower systems via first-order temporal logic	6
Editorial: Special issue on formal methods in computer-aided design	6
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement	6
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis	6
Verification modulo theories	6
Linearization, model reduction and reachability in nonlinear odes	5
The probabilistic termination tool amber	4
Distributed bounded model checking	4
The complexity gap in the static analysis of cache accesses grows if procedure calls are added	4
Symbolic encoding of LL(1) parsing and its applications	4
Partial bounding for recursive function synthesis	3
LTL model checking of self modifying code	3
On monitoring linear temporal properties	3
Enhancing active model learning with equivalence checking using simulation relations	3
Cut-off theorems for the PV-model	3
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation	3
Preface for the Formal Methods in System Design special issue on ‘FASE 2022’	3
Memory-efficient fixpoint computation	3
Synbit: synthesizing bidirectional programs using unidirectional sketches	3
Towards neural-network-guided program synthesis and verification	3
Termination of triangular polynomial loops	2
Formalization of robot collision detection method based on conformal geometric algebra	2

Dynamic dependability analysis of shuffle-exchange networks	2
Round- and context-bounded control of dynamic pushdown systems	2
Bounded-memory runtime enforcement with probabilistic and performance analysis	2
Mining of extended signal temporal logic specifications with ParetoLib 2.0	2
Stratified guarded first-order transition systems	2
Automatic WSTS-based repair and deadlock detection of parameterized systems	2
Preface of the special issue on the static analysis symposium 2020 and 2022	2