Dagstuhl Seminar Proceedings: Simulation and Verification of Dynamic Systems 2006

• Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher:
  06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
  
• Jörg Bauer, Reinhard Wilhelm:
  Abstract Interpretation of Graph Transformation.
  
• Jeremy T. Bradley, Thomas Thorne:
  Stochastic Process Algebra Models of a Circadian Clock.
  
• Matteo Cavaliere, Sean Sedwards:
  Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
  
• Jane Hillston:
  Population models from PEPA descriptions.
  
• Peter Kemper, Carsten Tepper:
  A Petri Net Approach to Verify and Debug Simulation Models.
  
• Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
  Static Analysis of a Model of the LDL Degradation Pathway.
  
• Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher:
  06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
  
• Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
  Context Dependent Analysis of BioAmbients.
  
• David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
  06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.