Dagstuhl Seminar Proceedings 06161

Simulation and Verification of Dynamic Systems

D. M. Nicol, C. Priami, H. R. Nielson, A. M. Uhrmacher (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 06161, 17.04. - 22.04.2006
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Batt, Gregory
  • Bauer, J÷rg
  • Bradley, Jeremy T.
  • Cavaliere, Matteo
  • Ewald, Roland
  • Fages, Franšois
  • Hermans, Holger
  • Hillston, Jane
  • Kemper, Peter
  • Martens, Alke
  • Mosterman, Pieter
  • Nicol, David M.
  • Nielson, Flemming
  • Pilegaard, Henrik
  • Priami, Corrado
  • Riis-Nielson, Hanne
  • Sedwards, Sean
  • Sokolsky, Oleg
  • Tepper, Carsten
  • Thorne, Thomas
  • Uhrmacher, Adelinde M.
  • Wilhelm, Reinhard

  •   
    06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems
    Authors: Nicol, David M. ; Priami, Corrado ; Riis-Nielson, Hanne ; Uhrmacher, Adelinde M.

    Abstract | Document (135 KB) | BibTeX

    06161 Executive Summary -- Simulation and Verification of Dynamic Systems
    Authors: Riis-Nielson, Hanne ; Nicol, David M. ; Priami, Corrado ; Uhrmacher, Adelinde M.

    Abstract | Document (75 KB) | BibTeX

    06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification
    Authors: Batt, Gregory ; Bradley, Jeremy T. ; Ewald, Roland ; Fages, Franšois ; Hermans, Holger ; Hillston, Jane ; Kemper, Peter ; Martens, Alke ; Mosterman, Pieter ; Nielson, Flemming ; Sokolsky, Oleg ; Uhrmacher, Adelinde M.

    Abstract | Document (193 KB) | BibTeX

    A Petri Net Approach to Verify and Debug Simulation Models
    Authors: Kemper, Peter ; Tepper, Carsten

    Abstract | Document (211 KB) | BibTeX

    Abstract Interpretation of Graph Transformation
    Authors: Bauer, J÷rg ; Wilhelm, Reinhard

    Abstract | Document (191 KB) | BibTeX

    Context Dependent Analysis of BioAmbients
    Authors: Pilegaard, Henrik ; Riis-Nielson, Hanne ; Nielson, Flemming

    Abstract | Document (304 KB) | BibTeX

    Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
    Authors: Cavaliere, Matteo ; Sedwards, Sean

    Abstract | Document (411 KB) | BibTeX

    Population models from PEPA descriptions
    Authors: Hillston, Jane

    Abstract | Document (154 KB) | BibTeX

    Static Analysis of a Model of the LDL Degradation Pathway
    Authors: Pilegaard, Henrik ; Riis-Nielson, Hanne ; Nielson, Flemming

    Abstract | Document (255 KB) | BibTeX

    Stochastic Process Algebra Models of a Circadian Clock
    Authors: Bradley, Jeremy T. ; Thorne, Thomas

    Abstract | Document (219 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI