Dagstuhl Seminar Proceedings 08332

Distributed Verification and Grid Computing

H. E. Bal, L. Brim, M. Leucker (Eds.)

published by LZI
Host

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 | Fulltext Search | Imprint
    Published by LZI