A Software Exoskeleton to Protect Ethics and Privacy of Users in the Digital World (abstract)

End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK (abstract)

Runtime Verification of Contracts with Themulus (abstract)

Sound C Code Decompilation for a subset of x86-64 Binaries (abstract)

Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods (abstract)

Multi-Purpose Syntax Definition with SDF3 (abstract)

A Formal Modeling Approach for Portable Low-Level OS Functionality (abstract)

Synthesis of P-stable abstraction (abstract)

Formal Verification of Human-Robot Interaction in Healthcare Scenarios (abstract)

Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems (abstract)

Making software a first class citizen in the scholarly world (abstract)

Hoare-Style Logic for Unstructured Programs (abstract)

Model-based Testing under Parametric Variability of Uncertain Beliefs (abstract)

Difference Verification with Conditions (abstract)

Statically Checking REST API Consumers (abstract)

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis (abstract)

Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification (abstract)

FRed: Conditional Model Checking via Reducers and Folders (abstract)

Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study (abstract)