| 2020 | Model-Based Testing Under Parametric Variability of Uncertain Beliefs. | Matteo Camilli, Barbara Russo |
| 2020 | Statically Checking REST API Consumers. | Nuno Burnay, Antnia Lopes, Vasco T. Vasconcelos |
| 2020 | Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. | Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed |
| 2020 | Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study. | Torben Braner, Aishwarya Ghosh, Sujata Ghosh |
| 2020 | Difference Verification with Conditions. | Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger |
| 2020 | FRed: Conditional Model Checking via Reducers and Folders. | Dirk Beyer, Marie-Christine Jakobs |
| 2020 | Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar |
| 2020 | Modeling and Verification of Temporal Constraints for Web Service Composition. | Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufada |
| 2020 | Synthesis of P-Stable Abstractions. | Anna Becchi, Alessandro Cimatti, Enea Zaffanella |
| 2020 | Multi-purpose Syntax Definition with SDF3. | Lus Eduardo de Souza Amorim, Eelco Visser |
| 2020 | Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. | Samuel Allen Alexander |
| 2020 | Reasoning About Ignorance and Beliefs. | Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri |
| 2019 | Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. | Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando |
| 2019 | Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. | Anton Wijs, Maciej Wilkowski |
| 2019 | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2019 | A Trust Logic for the Varieties of Trust. | Mirko Tagliaferri, Alessandro Aldini |
| 2019 | Local Nontermination Detection for Parallel C++ Programs. | Vladimr Still, Jiri Barnat |
| 2019 | Challenges for Integrating Humans into Vehicular Cyber-Physical Systems. | Sulayman K. Sowe, Martin Frnzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber, Andreas Ldtke |
| 2019 | Automated Feature Identification for Android Apps. | Gian Luca Scoccia |
| 2019 | Cognitive Learning with a Robot: The Case of Script Acquisition. | Anara Sandygulova, Anna CohenMiller, Nurziya Oralbayeva, Wafa Johal, Thibault Asselborn, Pierre Dillenbourg |
| 2019 | Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. | Gwen Salan |
| 2019 | Modeling Self-adaptive Fog Systems Using Bigraphs. | Hamza Sahli, Thomas Ledoux, ric Rutten |
| 2019 | Partially Bounded Context-Aware Verification. | Luka Le Roux, Ciprian Teodorov |
| 2019 | Reproducible Execution of POSIX Programs with DiOS. | Petr Rockai, Zuzana Baranov, Jan Mrzek, Katarna Kejstov, Jiri Barnat |
| 2019 | Let's Prove It Later - Verification at Different Points in Time. | Martin Ring, Christoph Lth |