Dagstuhl Seminar Proceedings: Simulation and Verification of Dynamic Systems 2006

David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (Eds.): Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 BibTeX

Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher:
06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
Electronic Edition (link) BibTeX
Jörg Bauer, Reinhard Wilhelm:
Abstract Interpretation of Graph Transformation.
Electronic Edition (link) BibTeX
Jeremy T. Bradley, Thomas Thorne:
Stochastic Process Algebra Models of a Circadian Clock.
Electronic Edition (link) BibTeX
Matteo Cavaliere, Sean Sedwards:
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
Electronic Edition (link) BibTeX
Jane Hillston:
Population models from PEPA descriptions.
Electronic Edition (link) BibTeX
Peter Kemper, Carsten Tepper:
A Petri Net Approach to Verify and Debug Simulation Models.
Electronic Edition (link) BibTeX
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
Static Analysis of a Model of the LDL Degradation Pathway.
Electronic Edition (link) BibTeX
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.
Electronic Edition (link) BibTeX
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
Context Dependent Analysis of BioAmbients.
Electronic Edition (link) BibTeX
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.
Electronic Edition (link) BibTeX