| 2019 | Two Cognitive Systems, Two Implications, and Selection Tasks. | Angelina Bobrova, Ahti-Veikko Pietarinen |
| 2019 | SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. | Paul Maximilian Bittner, Thomas Thm, Ina Schaefer |
| 2019 | Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. | Cinzia Bernardeschi, Dini Pierpaolo, Andrea Domenici, Sergio Saponara |
| 2019 | Using Relational Verification for Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2019 | Automatic Failure Explanation in CPS Models. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
| 2019 | Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. | Florent Avellaneda, Alexandre Petrenko |
| 2019 | Multi-objective Search for Effective Testing of Cyber-Physical Systems. | Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio |
| 2019 | Measuring the Intelligence of an Idealized Mechanical Knowing Agent. | Samuel Allen Alexander |
| 2019 | An Operational Guide to Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2019 | Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data. | Wil M. P. van der Aalst |
| 2018 | Cross-Architecture Lifter Synthesis. | Rijnard van Tonder, Claire Le Goues |
| 2018 | Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. | Stefan Schupp, Erika brahm |
| 2018 | Automated Specification Extraction and Analysis with Specstractor. | Christoph Schulze, Rance Cleaveland, Mikael Lindvall |
| 2018 | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jrgen Knig, Heike Wehrheim |
| 2018 | Formal Verification of Platoon Control Strategies. | Adnan Rashid, Umair Siddique, Osman Hasan |
| 2018 | Monte Carlo Tree Search for Finding Costly Paths in Programs. | Kasper Se Luckow, Corina S. Pasareanu, Willem Visser |
| 2018 | We Need a Testability Transformation Semantics. | Mark Harman |
| 2018 | From Software Specifications to Constraint Programming. | Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel |
| 2018 | Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. | Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquires, Imen Sayar, Sylvain Gurin |
| 2018 | Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. | Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson |
| 2018 | Program Verification for Exception Handling on Active Objects Using Futures. | Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen |
| 2018 | Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation. | Yunja Choi |
| 2018 | Facilitating Component Reusability in Embedded Systems with GPUs. | Gabriel Campeanu |
| 2018 | Online Enumeration of All Minimal Inductive Validity Cores. | Jaroslav Bendk, Elaheh Ghassabani, Michael W. Whalen, Ivana Cern |
| 2018 | Counterexample Simplification for Liveness Property Violation. | Gianluca Barbon, Vincent Leroy, Gwen Salan |