VERIFY-2010:Author Index

AuthorPapers
B
Beckert, BernhardMind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
Bickford, MarkAutomated Proof of Authentication Protocols in a Logic of Events
Brillout, AngeloProgram Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Bruns, DanielMind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
C
Carioni, AlessandroMCMT in the Land of Parametrized Timed Automata
Cortier, VéroniqueVerification of Security Protocols
D
Di Rosa, EmanueleAutomatic generation of high quality test sets via CBMC
G
Ghilardi, SilvioMCMT in the Land of Parametrized Timed Automata
Giunchiglia, EnricoAutomatic generation of high quality test sets via CBMC
Grebing, SarahMind the Gap: Formal Verification and the Common Criteria (Discussion Paper)
J
Jones, CliffAbstractions Before Proofs
K
Kroening, DanielProgram Verification via Craig Interpolation for Presburger Arithmetic with Arrays
L
Lapets, AndreiUser-friendly Support for Common Mathematical Concepts in a Lightweight Verifier
Leslie-Hurd, JoeComposable Packages for Higher Order Logic Theories
Lohner, DenisProving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing
N
Narizzano, MassimoAutomatic generation of high quality test sets via CBMC
P
Palma, GabrieleAutomatic generation of high quality test sets via CBMC
Platzer, AndréReal Analysis for Complex Systems
Puddu, AlessandraAutomatic generation of high quality test sets via CBMC
R
Ranise, SilvioMCMT in the Land of Parametrized Timed Automata
Rümmer, PhilippProgram Verification via Craig Interpolation for Presburger Arithmetic with Arrays
V
von Tessin, MichaelTowards High-Assurance Multiprocessor Virtualisation
W
Wahl, ThomasProgram Verification via Craig Interpolation for Presburger Arithmetic with Arrays
Wang, ShulingProving Simpson's Four-Slot Algorithm Using Ownership Transfer
Wang, XuProving Simpson's Four-Slot Algorithm Using Ownership Transfer
Wasserrab, DanielProving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing