VERISURE 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B C D F G H K M N O R S T V

A
Arlt, Stephan	Quantification of Verification Progress (PDF, talk)
B
Blasum, Holger	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
C
Curzon, Paul	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
D
D'Urso, Enrico	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
F
Frenkel, Sergey	Assurance of some system reliability characteristics in formal design verification (PDF, talk)
G
Gonschorek, Tim	A Graphical Notation for Probabilistic Specifications (PDF, talk)
H
Habli, Ibrahim	Balancing the Formal and Informal in Safety Case Arguments (PDF, talk)
Havle, Oto	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
Heitmeyer, Constance	Assurance and Verification of Security Properties (PDF, talk)
Hungar, Hardi	Introducing Semi-Formal Specifications into a Distributed Development Process (PDF, talk)
K
Kelly, Tim	Balancing the Formal and Informal in Safety Case Arguments (PDF, talk)
M
Masci, Paolo	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
Meyer Zu Hörste, Michael	Introducing Semi-Formal Specifications into a Distributed Development Process (PDF, talk)
Murray, John	Quantification of Verification Progress (PDF, talk)
N
Namjoshi, Kedar	Witnessing an SSA Transformation (PDF, talk)
Nielebock, Sebastian	A Graphical Notation for Probabilistic Specifications (PDF, talk)
O
Oladimeji, Patrick	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
Ortmeier, Frank	A Graphical Notation for Probabilistic Specifications (PDF, talk)
R
Ruemmer, Philipp	Quantification of Verification Progress (PDF, talk)
Rukšėnas, Rimvydas	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
S
Schmaltz, Julien	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
Schäf, Martin	Quantification of Verification Progress (PDF, talk)
T
Thimbleby, Harold	Human-Computer Interaction and the Formal Certification and Assurance of Medical Devices: The CHI+MED Project (PDF, talk)
Tverdyshev, Sergey	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)
V
Verbeek, Freek	Implicit Assumptions in a Model for Separation Kernels (PDF, talk)