| 2019 | Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. | Joachim Bard, Heiko Becker, Eva Darulova |
| 2019 | Compiling C and C++ Programs for Dynamic White-Box Analysis. | Zuzana Baranov, Petr Rockai |
| 2019 | Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. | Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq |
| 2019 | What Have Formal Methods Ever Done for Us? An Audience Discussion. | Troy Kaighin Astarte |
| 2019 | Unification in Matching Logic. | Andrei Arusoaie, Dorel Lucanu |
| 2019 | An Abstract Domain for Objects in Dynamic Programming Languages. | Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni |
| 2019 | Addressing Usability in a Formal Development Environment. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | Successes in Deployed Verified Software (and Insights on Key Social Factors). | June Andronick |
| 2019 | GR(1)*: GR(1) Specifications Extended with Existential Guarantees. | Gal Amram, Shahar Maoz, Or Pistiner |
| 2019 | Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. | Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher |
| 2019 | Statistical Model Checking of RANDAO's Resilience to Pre-computed Reveal Strategies. | Musab A. Alturki, Grigore Rosu |
| 2019 | Towards a Verified Model of the Algorand Consensus Protocol in Coq. | Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Pea, Grigore Rosu |
| 2019 | Fkcc: The Farkas Calculator. | Christophe Alias |
| 2019 | Call Me Back, I Have a Type Invariant. | M. Anthony Aiello, Johannes Kanig, Taro Kurita |
| 2019 | Practical Application of SPARK to OpenUxAS. | M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
| 2019 | An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning. | Aigerim Aibassova, Antonio Cerone, Mukhtar Tashkenbayev |
| 2018 | Compositional Reasoning for Shared-Variable Concurrent Programs. | Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun |
| 2018 | Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. | Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang |
| 2018 | Towards 'Verifying' a Water Treatment System. | Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu |
| 2018 | QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. | Andrea Vandin, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente |
| 2018 | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. | Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot |
| 2018 | Vector Barrier Certificates and Comparison Systems. | Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan, Andr Platzer |
| 2018 | IPL: An Integration Property Language for Multi-model Cyber-physical Systems. | Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan |
| 2018 | To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. | Sander de Putter, Anton Wijs |
| 2018 | CompoSAT: Specification-Guided Coverage for Model Finding. | Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi |