- Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods in System Design, 56(1):55-89, 2020.
- Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar. Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods in System Design, 55(3):137-170, 2020.
- William T. Hallahan, Ennan Zhai, Ruzica Piskac. Automated repair by example for firewalls. Formal Methods in System Design, 56(1):127-153, 2020.
- Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík. Learning inductive invariants by sampling from frequency distributions. Formal Methods in System Design, 56(1):154-177, 2020.
- Umang Mathur 0001, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001. Exact quantitative probabilistic model checking through rational search. Formal Methods in System Design, 56(1):90-126, 2020.
- Daniela Kaufmann, Armin Biere, Manuel Kauers. Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods in System Design, 56(1):22-54, 2020.
- Klaus Havelund, Doron Peled, Dogan Ulus. First-order temporal logic monitoring with BDDs. Formal Methods in System Design, 56(1):1-21, 2020.
- Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001. Multi-scale verification of distributed synchronisation. Formal Methods in System Design, 55(3):171-221, 2020.
- Bernhard K. Aichernig, Martin Tappler. Probabilistic black-box reachability checking (extended version). Formal Methods in System Design, 54(3):416-448, 2019.
- Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud. Statistical verification of PCTL using antithetic and stratified samples. Formal Methods in System Design, 54(2):145-163, 2019.