- 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.
- David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel. Almost event-rate independent monitoring. Formal Methods in System Design, 54(3):449-478, 2019.
- César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss. A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 54(3):279-335, 2019.
- Aziem Chawdhary, Edward Robbins, Andy King. Incrementally closing octagons. Formal Methods in System Design, 54(2):232-277, 2019.
- Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan. Template polyhedra and bilinear optimization. Formal Methods in System Design, 54(1):27-63, 2019.
- Francesco Ranzato. Foreword to the special issue on the 2017 Static Analysis Symposium. Formal Methods in System Design, 54(1):1-3, 2019.
- Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup. Monitoring hyperproperties. Formal Methods in System Design, 54(3):336-363, 2019.
- Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner. Some complexity results for stateful network verification. Formal Methods in System Design, 54(2):191-231, 2019.
- Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina. Exploiting partial variable assignment in interpolation-based model checking. Formal Methods in System Design, 55(1):33-71, 2019.