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

This page contains an index consisting of author-provided keywords.

A
Abstract Interpretation	Synthesis of P-stable abstraction
affine systems	Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
Automated testing	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
B
Bayesian inference	Model-based Testing under Parametric Variability of Uncertain Beliefs
Binary Analysis	Sound C Code Decompilation for a subset of x86-64 Binaries Hoare-Style Logic for Unstructured Programs
C
channel communication	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
Collisions Avoidance	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
COLREG rules	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
conditional model checking	Difference Verification with Conditions FRed: Conditional Model Checking via Reducers and Folders
conditional verification	Difference Verification with Conditions
D
data race	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
decompilation	Sound C Code Decompilation for a subset of x86-64 Binaries
Deontic Logic	Runtime Verification of Contracts with Themulus
dynamic architecture	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
E
end-to-end verification	End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
Event-B	A Formal Modeling Approach for Portable Low-Level OS Functionality
F
Formal Methods	Runtime Verification of Contracts with Themulus
Formal Verification	Hoare-Style Logic for Unstructured Programs Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
functional verification	End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
G
Golang	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
H
Healthcare Robotics	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Hoare Logic	Hoare-Style Logic for Unstructured Programs
Human-Robot Interaction	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
hybrid systems	Synthesis of P-stable abstraction Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
I
incremental verification	Difference Verification with Conditions
Integration	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Internet of Things	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Interoperability	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Isabelle	Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
L
LARVA	Runtime Verification of Contracts with Themulus
linear systems	Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
M
Maritime Autonomous Systems	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
memory model	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
message passing	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
Model-based Testing	Model-based Testing under Parametric Variability of Uncertain Beliefs
Model-Driven Approach	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
modeling	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
monitoring	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
N
Navigation	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
O
Optimization	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
ordinary differential equations	Affine Systems of ODEs in Isabelle/HOL for Hybrid-program verification
P
Parametric Markov Decision Processes	Model-based Testing under Parametric Variability of Uncertain Beliefs
portability	A Formal Modeling Approach for Portable Low-Level OS Functionality
Program Analysis	FRed: Conditional Model Checking via Reducers and Folders
Program Logics	Hoare-Style Logic for Unstructured Programs
Program Reducer	FRed: Conditional Model Checking via Reducers and Folders
Program verification	Statically Checking REST API Consumers
R
reactive synthesis	End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
reconfigurable systems	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
refinement	A Formal Modeling Approach for Portable Low-Level OS Functionality
REST APIs	Statically Checking REST API Consumers
RTOS	A Formal Modeling Approach for Portable Low-Level OS Functionality
Runtime verification	Runtime Verification of Contracts with Themulus
S
Safety	Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Sequential Combination	FRed: Conditional Model Checking via Reducers and Folders
Service Robots	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
simulation	A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
software heritage	Making software a first class citizen in the scholarly world
Software provenance	Making software a first class citizen in the scholarly world
software repositories	Making software a first class citizen in the scholarly world
software verification	Difference Verification with Conditions FRed: Conditional Model Checking via Reducers and Folders
Stability	Synthesis of P-stable abstraction
Statistical Model Checking	Formal Verification of Human-Robot Interaction in Healthcare Scenarios
synchronization	Finding and fixing a mismatch between the Go memory model and data-race detector. A story on applied formal methods
T
Testing	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Theorem Proving	Hoare-Style Logic for Unstructured Programs
Type systems	Statically Checking REST API Consumers
U
Uncertainty analysis	Model-based Testing under Parametric Variability of Uncertain Beliefs
V
Verification	A Formal Modeling Approach for Portable Low-Level OS Functionality Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
X
x86-64 assembly	Sound C Code Decompilation for a subset of x86-64 Binaries

Disclaimer | Powered by EasyChair Smart Program