ID2019: ID@FM'19 (INDUSTRY DAY - FORMAL METHODS 2019)

A
Aiello, M. Anthony	Practical Application of SPARK to OpenUxAS
C
Comptier, Mathieu	Property-Driven Software Analysis
D
Dross, Claire	Practical Application of SPARK to OpenUxAS
Déharbe, David	Property-Driven Software Analysis
E
Eschbach, Robert	Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System
F
Fantechi, Alessandro	Adopting Formal Methods in an Industrial Setting: the Railways Case
Ferrari, Alessio	Adopting Formal Methods in an Industrial Setting: the Railways Case
Fournier, Paulin	Property-Driven Software Analysis
G
Gnesi, Stefania	Adopting Formal Methods in an Industrial Setting: the Railways Case
H
Hamil, James	Practical Application of SPARK to OpenUxAS
Heitmeyer, Constance	On the Role of Formal Methods in Assuring Autonomous Systems That Use Machine Learning
Humphrey, Laura	Practical Application of SPARK to OpenUxAS
J
Jorge, Tiago	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
Jung, Andreas	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
L
Leuschel, Michael	Formal Models as Executable Prototypes and Interactive Requirements Documents
M
Mazzanti, Franco	Adopting Formal Methods in an Industrial Setting: the Railways Case
Molinero-Perez, Julien	Property-Driven Software Analysis
R
Rogers, Patrick	Practical Application of SPARK to OpenUxAS
S
Silveira, Daniel	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP
T
ter Beek, Maurice H.	Adopting Formal Methods in an Industrial Setting: the Railways Case
V
Verhoef, Marcel	Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP

Disclaimer | Powered by EasyChair Smart Program