Dagstuhl Seminar Proceedings 08332
Distributed Verification and Grid Computing
H. E. Bal, L. Brim, M. Leucker (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 08332, 10.08. - 14.08.2008
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Bal, Henri E.
Barnat, Jiri
Brim, Lubos
Leucker, Martin
Siegel, Stephen F.
van de Pol, Jaco
Verstoep, Kees
08332 Abstracts Collection -- Distributed Verification and Grid Computing
Authors:
Bal, Henri E. ; Brim, Lubos ; Leucker, Martin
Abstract
|
Document (169 KB)
|
BibTeX
08332 Executive Summary -- Distributed Verification and Grid Computing
Authors:
Bal, Henri E. ; Brim, Lubos ; Leucker, Martin
Abstract
|
Document (77 KB)
|
BibTeX
A Typical Verification Challenge for the GRID
Authors:
van de Pol, Jaco
Abstract
|
Document (108 KB)
|
BibTeX
Efficient Large-Scale Model Checking
Authors:
Verstoep, Kees ; Bal, Henri E. ; Barnat, Jiri ; Brim, Lubos
Abstract
|
Document (156 KB)
|
BibTeX
Verification of MPI-based Computations
Authors:
Siegel, Stephen F.
Abstract
|
Document (124 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy
