ID2019: ID@FM'19 (INDUSTRY DAY - FORMAL METHODS 2019)
PROGRAM
Friday, October 11th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: Invited talk
Chair:
David Deharbe
09:00
Michael Leuschel
Formal Models as Executable Prototypes and Interactive Requirements Documents (abstract)
10:00-10:30Coffee Break
10:30-12:00 Session 2: Railways applications
Chair:
Michael Leuschel
10:30
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi and Franco Mazzanti
Adopting Formal Methods in an Industrial Setting: the Railways Case (abstract)
11:00
Mathieu Comptier, David Déharbe, Paulin Fournier and Julien Molinero-Perez
Property-Driven Software Analysis (abstract)
11:30
Robert Eschbach
Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System (abstract)
12:00-14:00Lunch Break
14:00-15:00 Session 3: Invited talk
Chair:
Stephan Merz
14:00
Constance Heitmeyer
On the Role of Formal Methods in Assuring Autonomous Systems That Use Machine Learning (abstract)
15:00-15:30 Session 4: Industry Applications 1
Chair:
Dominique Méry
15:00
M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura Humphrey and James Hamil
Practical Application of SPARK to OpenUxAS (abstract)
15:30-16:00Coffee Break
16:00-16:30 Session 5: Industry Applications 2
Chair:
Dominique Méry
16:00
Daniel Silveira, Andreas Jung, Marcel Verhoef and Tiago Jorge
Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP (abstract)