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-04-01 to 2025-04-01.)
ArticleCitations
Preface for the formal methods in system design special issue on SYNT 202123
Special Issue on Syntax-Guided Synthesis Preface9
Specifiable robustness in reactive synthesis6
An input–output relational domain for algebraic data types and functional arrays6
Finite-trace and generalized-reactivity specifications in temporal synthesis5
Dissecting ltlsynt5
Automated repair for timed systems4
Bridging the gap between single- and multi-model predictive runtime verification4
Certifying proofs for SAT-based model checking4
Synbit: synthesizing bidirectional programs using unidirectional sketches3
A verified durable transactional mutex lock for persistent x86-TSO3
Abstraction Modulo Stability3
SMT-based verification of program changes through summary repair3
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 20213
Partial bounding for recursive function synthesis3
Data-driven invariant learning for probabilistic programs3
Enhancing active model learning with equivalence checking using simulation relations2
Preface for the formal methods in system design special issue on ‘Formal Methods 2021’2
Assumption-based Runtime Verification2
Verification modulo theories2
Church synthesis on register automata over linearly ordered data domains2
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification2
The hexatope and octatope abstract domains for neural network verification2
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)2
Automatic proofs of memory deallocation for a Whiley-to-C Compiler2
Control strategies for off-line testing of timed systems2
Runtime verification of partially-synchronous distributed system2
Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement2
2018 CAV award2
LTL model checking of self modifying code2
Extending rely-guarantee thinking to handle real-time scheduling2
0.091981887817383