+ Home
+ Program
+ Keynote
+ Important Dates
+ Call for Papers
+ Submit
+ Committees
+ Past Workshops
+ Contact Us
+ ES
+ IDT
+ MDH
ASSURE 2019 Preliminary Program
08:00 - 09:00
Registration
Session 1: Welcome and Keynote
09:00 - 09:10
Welcome and Introduction, ASSURE 2019 Organizers
09:10 - 10:00
Keynote
: Prof. Martin Törngren
Title:
Assurance cases in an era of smart and collaborative cyber-physical systems – pain points and ways forward
Assurance Case Tools
10:00 - 10:15
Tool:
AdvoCATE
Speaker:
Ewen Denney
10:15 - 10:30
Tool:
PolarSys OpenCert Tools Platform (AMASS Platform)
Speaker:
Barbara Gallina
10:30 - 11:00
Morning Coffee/Tea Break
Session 2: Research Papers
11:00 - 11:30
Contract-based Modular Safety Cases for Incremental Certification of Product Lines
,
Damir Nesic and Mattias Nyberg
11:30 - 12:00
Combining GSN and STPA for safety arguments
,
Celso Hirata and Simin Nadjm-Tehrani
12:00 - 12:30
A modelling approach for system life cycles assurance
,
Shuji Kinoshita, Yoshiki Kinoshita and Makoto Takeyama
Paper Submission: MAY 22, 2019 (Extended deadline)
•
Author Notification: JUNE 03, 2019
•
Camera-Ready Papers: JUNE 10, 2019