+ 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, 2019Camera-Ready Papers: JUNE 10, 2019