Dagstuhl Seminar Proceedings, Volume 6161,

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