VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program