| 2019 | Test Model Coverage Analysis Under Uncertainty. | I. S. W. B. Prasetya, Rick Klomp |
| 2019 | A Formal Programming Framework for Digital Avatars. | Alejandro Prez-Vereda, Carlos Canal, Ernesto Pimentel |
| 2019 | Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct Environment. | Dorottya Papp, Thorsten Tarrach, Levente Buttyn |
| 2019 | Automatic Generation of Functional Mock-Up Units from Formal Specifications. | Maurizio Palmieri, Hugo Daniel Macedo |
| 2019 | Efficient Formal Verification for the Linux Kernel. | Daniel Bristot de Oliveira, Tommaso Cucinotta, Rmulo Silva de Oliveira |
| 2019 | Mapping BPMN2 Service Choreographies to Colored Petri Nets. | Tala Najem, Alexander Perucci |
| 2019 | Type Theory and Universal Grammar. | Erkki Luuk |
| 2019 | An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. | Raluca Lefticaru, Robert M. Hierons, Manuel Nez |
| 2019 | Towards Logical Specification of Statistical Machine Learning. | Yusuke Kawamoto |
| 2019 | Asynchronous Cooperative Contracts for Cooperative Scheduling. | Eduard Kamburjan, Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen |
| 2019 | Generation of Co-simulation Algorithms Subject to Simulator Contracts. | Cludio Gomes, Casper Thule, Levi Lcio, Hans Vangheluwe, Peter Gorm Larsen |
| 2019 | Evolution of Formal Model-Based Assurance Cases for Autonomous Robots. | Mario Gleirscher, Simon Foster, Yakoub Nemouchi |
| 2019 | Incorporating Data into EFSM Inference. | Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhn North, John Derrick |
| 2019 | Mutation Testing with Hyperproperties. | Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher |
| 2019 | Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. | Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple |
| 2019 | Formal Verification of Rewriting Rules for Dynamic Fault Trees. | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofine Tahar |
| 2019 | Compositional Feature-Oriented Systems. | Clemens Dubslaff |
| 2019 | Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems. | Mirko D'Angelo, Lorenzo Pagliari, Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani |
| 2019 | Interdisciplinary Aspects of Cognition. | Antonio Cerone, Siamac Fazli, Kathy L. Malone, Ahti-Veikko Pietarinen |
| 2019 | Behaviour and Reasoning Description Language (BRDL). | Antonio Cerone |
| 2019 | Software Evolution with a Typeful Version Control System. | Lus Carvalho, Joo Costa Seco |
| 2019 | Isabelle/DOF: Design and Implementation. | Achim D. Brucker, Burkhart Wolff |
| 2019 | Identifying Failure Causalities in Multi-component Applications. | Antonio Brogi, Jacopo Soldani |
| 2019 | Relating Session Types and Behavioural Contracts: The Asynchronous Case. | Mario Bravetti, Gianluigi Zavattaro |
| 2019 | From SOS to Asynchronously Communicating Actors. | Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |