| Authors | Title | Paper | Talk |
|---|
| Tim Kelly and Ibrahim Habli | Balancing the Formal and Informal in Safety Case Arguments |  | Jul 23 08:45 |
| Stephan Arlt, John Murray, Philipp Ruemmer and Martin Schäf | Quantification of Verification Progress | | Jul 23 09:15 |
| Hardi Hungar and Michael Meyer Zu Hörste | Introducing Semi-Formal Specifications into a Distributed Development Process | | Jul 23 10:45 |
| Kedar Namjoshi | Witnessing an SSA Transformation | | Jul 23 11:15 |
| Paul Curzon, Paolo Masci, Patrick Oladimeji, Rimvydas Rukšėnas, Harold Thimbleby and Enrico D'Urso | Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project | | Jul 23 12:15 |
| Freek Verbeek, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum and Oto Havle | Implicit Assumptions in a Model for Separation Kernels | | Jul 23 14:30 |
| Constance Heitmeyer | Assurance and Verification of Security Properties | | Jul 23 15:00 |
| Sebastian Nielebock, Tim Gonschorek and Frank Ortmeier | A Graphical Notation for Probabilistic Specifications | | Jul 23 16:30 |
| Sergey Frenkel | Assurance of some system reliability characteristics in formal design verification | | Jul 23 17:00 |