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

A
Ahmed, Bestoun S.	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Aichernig, Bernhard	A Formal Modeling Approach for Portable Low-Level OS Functionality
Aranda, Alberto	Runtime Verification of Contracts with Themulus
Askarpour, Mehrnoosh	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Atkinson, Robert	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
B
Baunach, Marcel	A Formal Modeling Approach for Portable Low-Level OS Functionality
Becchi, Anna	Synthesis of P-stable abstraction
Bellekens, Xavier	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Bensalem, Saddek	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
Bersani, Marcello M.	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Beyer, Dirk	Difference Verification with Conditions FRed: Conditional Model Checking via Reducers and Folders
Bozga, Marius	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
Bures, Miroslav	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Burnay, Nuno	Statically Checking REST API Consumers
C
Cambronero, María	Runtime Verification of Contracts with Themulus
Camilli, Matteo	Model-based Testing under Parametric Variability of Uncertain Beliefs
Cimatti, Alessandro	Synthesis of P-stable abstraction
Colombo, Christian	Runtime Verification of Contracts with Themulus
D
Dam, Mads	Hoare-Style Logic for Unstructured Programs
Di Cosmo, Roberto	Making software a first class citizen in the scholarly world
E
El-Hokayem, Antoine	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
F
Fava, Daniel	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
G
Gomes, Renata	A Formal Modeling Approach for Portable Low-Level OS Functionality
Guanciale, Roberto	Hoare-Style Logic for Unstructured Programs
H
Hamil, James	End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
Huerta Y Munive, Jonathan	Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
Huguet, Joffrey	End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
Humphrey, Laura	End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
I
Inverardi, Paola	A Software Exoskeleton to Protect Ethics and Privacy of Users in the Digital World
J
Jakobs, Marie-Christine	Difference Verification with Conditions FRed: Conditional Model Checking via Reducers and Folders
K
Klima, Matej	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
L
Lemberger, Thomas	Difference Verification with Conditions
Lestingi, Livia	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Lindner, Andreas	Hoare-Style Logic for Unstructured Programs
Llana, Luis	Runtime Verification of Contracts with Themulus
Lopes, Antónia	Statically Checking REST API Consumers
Lundberg, Didrik	Hoare-Style Logic for Unstructured Programs
O
Olivier, Pierre	Sound C Code Decompilation for a subset of x86-64 Binaries
P
Pace, Gordon	Runtime Verification of Contracts with Themulus
R
Ravindran, Binoy	Sound C Code Decompilation for a subset of x86-64 Binaries
Rechtberger, Vaclav	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Rossi, Matteo	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Russo, Barbara	Model-based Testing under Parametric Variability of Uncertain Beliefs
S
Shokri-Manninen, Fatima	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Sifakis, Joseph	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
T
Tachtatzis, Christos	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
V
Vain, Jüri	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Vasconcelos, Vasco T.	Statically Checking REST API Consumers
Verbeek, Freek	Sound C Code Decompilation for a subset of x86-64 Binaries
Visser, Eelco	Multi-Purpose Syntax Definition with SDF3
W
Waldén, Marina	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Z
Zaffanella, Enea	Synthesis of P-stable abstraction

Disclaimer | Powered by EasyChair Smart Program