VERISURE ON WEDNESDAY, JULY 23RD: TALK VIEW

View: with abstracts session overview side by side with other conferences

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

08:45-09:15

Balancing the Formal and Informal in Safety Case Arguments

Tim Kelly, Ibrahim Habli

09:15-09:45

Quantification of Verification Progress

Stephan Arlt, John Murray, Philipp Ruemmer, Martin Schäf

09:45-10:15 Discussion

10:45-11:15

Introducing Semi-Formal Specifications into a Distributed Development Process

Hardi Hungar, Michael Meyer Zu Hörste

11:15-11:45

Witnessing an SSA Transformation

Kedar Namjoshi

11:45-12:15 Discussion

12:15-12:45

Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED

P. Curzon, P. Masci, P. Oladimeji, R. Rukšėnas, H. Thimbleby, E. D'Urso

14:30-15:00

Implicit Assumptions in a Model for Separation Kernels

Freek Verbeek, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Oto Havle

15:00-15:30

Assurance and Verification of Security Properties

Constance Heitmeyer

15:30-16:00 Discussion

16:30-17:00

A Graphical Notation for Probabilistic Specifications

Sebastian Nielebock, Tim Gonschorek, Frank Ortmeier

17:00-17:30

Assurance of some system reliability characteristics in formal design verification

Sergey Frenkel

17:30-18:00 Discussion and Closing

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break