VERISURE PROGRAM
Wednesday, July 23rd, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-09:45 Session 159B: Partial/Semi-Formal Assurance and Verification
Location: FH, Hörsaal 2
| 08:45 | Balancing the Formal and Informal in Safety Case Arguments (abstract) |
| 09:15 | Quantification of Verification Progress (abstract) |
09:45-10:15 Session 165: Discussion
Location: FH, Hörsaal 2
10:15-10:45Coffee Break
10:45-11:45 Session 166G: Making Hard Assurance Problems Feasible
Location: FH, Hörsaal 2
| 10:45 | Introducing Semi-Formal Specifications into a Distributed Development Process (abstract) |
| 11:15 | Witnessing an SSA Transformation (abstract) |
11:45-12:15 Session 170B: Discussion
Location: FH, Hörsaal 2
12:15-13:00 Session 171A: Human Interfaces and Medical Devices, and discussion
Location: FH, Hörsaal 2
| 12:15 | Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 172F: Assurance for Secure Systems
Location: FH, Hörsaal 2
| 14:30 | Implicit Assumptions in a Model for Separation Kernels (abstract) |
| 15:00 | Assurance and Verification of Security Properties (abstract) |
15:30-16:00 Session 174: Discussion
Location: FH, Hörsaal 2
16:00-16:30Coffee Break
16:30-17:30 Session 175H: Assurance and Probability
Location: FH, Hörsaal 2
| 16:30 | A Graphical Notation for Probabilistic Specifications (abstract) |
| 17:00 | Assurance of some system reliability characteristics in formal design verification (abstract) |
17:30-18:00 Session 176: Discussion and Closing
Location: FH, Hörsaal 2