SEFM 2020: 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
PROGRAM

Days: Wednesday, September 16th Thursday, September 17th

Wednesday, September 16th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: Invited Talk I

Verification

09:00
A Software Exoskeleton to Protect Ethics and Privacy of Users in the Digital World (abstract)
10:30-12:30 Session 2: Session I (Verification)
10:30
Hoare-Style Logic for Unstructured Programs (abstract)
11:00
Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification (abstract)
11:30
End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK (abstract)
12:00
Difference Verification with Conditions (abstract)
15:00-17:00 Session 4: Session II (Applications)
15:00
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study (abstract)
15:30
Formal Verification of Human-Robot Interaction in Healthcare Scenarios (abstract)
16:00
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems (abstract)
16:30
Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods (abstract)
Thursday, September 17th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 5: Invited Talk III
09:00
Making software a first class citizen in the scholarly world (abstract)
10:30-12:30 Session 6: Session III (Static and Runtime Analysis)
10:30
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis (abstract)
11:00
Model-based Testing under Parametric Variability of Uncertain Beliefs (abstract)
11:30
FRed: Conditional Model Checking via Reducers and Folders (abstract)
12:00
Runtime Verification of Contracts with Themulus (abstract)
13:30-15:30 Session 7: Session IV (Behavioral Abstraction)
13:30
Statically Checking REST API Consumers (abstract)
14:00
Sound C Code Decompilation for a subset of x86-64 Binaries (abstract)
14:30
Synthesis of P-stable abstraction (abstract)
15:00
A Formal Modeling Approach for Portable Low-Level OS Functionality (abstract)