| 2018 | A Cloud-Based Execution Framework for Program Analysis. Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai |
| 2018 | Automated Specification Extraction and Analysis with Specstractor. Christoph Schulze, Rance Cleaveland, Mikael Lindvall |
| 2018 | Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. Yunja Choi |
| 2018 | Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin |
| 2018 | Counterexample Simplification for Liveness Property Violation. Gianluca Barbon, Vincent Leroy, Gwen Salaün |
| 2018 | Cross-Architecture Lifter Synthesis. Rijnard van Tonder, Claire Le Goues |
| 2018 | Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
| 2018 | Facilitating Component Reusability in Embedded Systems with GPUs. Gabriel Campeanu |
| 2018 | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim |
| 2018 | Formal Verification of Platoon Control Strategies. Adnan Rashid, Umair Siddique, Osman Hasan |
| 2018 | From Software Specifications to Constraint Programming. Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
| 2018 | Graph-Based Shape Analysis Beyond Context-Freeness. Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll |
| 2018 | Monte Carlo Tree Search for Finding Costly Paths in Programs. Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser |
| 2018 | Online Enumeration of All Minimal Inductive Validity Cores. Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná |
| 2018 | Program Verification for Exception Handling on Active Objects Using Futures. Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
| 2018 | Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings Einar Broch Johnsen, Ina Schaefer |
| 2018 | Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. Stefan Schupp, Erika Ábrahám |
| 2018 | We Need a Testability Transformation Semantics. Mark Harman |