| A Software Exoskeleton to Protect Ethics and Privacy of Users in the Digital World (pdf) |
| Multi-Purpose Syntax Definition with SDF3 (pdf) |
| Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods (pdf) |
| Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems (pdf) |
| End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK (pdf) |
| Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification (pdf) |
| Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study (pdf) |
| FRed: Conditional Model Checking via Reducers and Folders (pdf) |
| Difference Verification with Conditions (pdf) |
| A Formal Modeling Approach for Portable Low-Level OS Functionality (pdf) |
| Model-based Testing under Parametric Variability of Uncertain Beliefs (pdf) |
| Hoare-Style Logic for Unstructured Programs (pdf) |
| Synthesis of P-stable Abstractions (pdf) |
| Runtime Verification of Contracts with Themulus (pdf) |
| Sound C Code Decompilation for a subset of x86-64 Binaries (pdf) |
| Statically Checking REST API Consumers (pdf) |
| A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis (pdf) |
| Formal Verification of Human-Robot Interaction in Healthcare Scenarios (pdf) |