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

- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/NielsonNPU06
- ask others
Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher: 06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BauerW06
- ask others
Jörg Bauer, Reinhard Wilhelm: Abstract Interpretation of Graph Transformation.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BradleyT06
- ask others
Jeremy T. Bradley, Thomas Thorne: Stochastic Process Algebra Models of a Circadian Clock.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/CavaliereS06
- ask others
Matteo Cavaliere, Sean Sedwards: Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/Hillston06
- ask others
Jane Hillston: Population models from PEPA descriptions.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/KemperT06
- ask others
Peter Kemper, Carsten Tepper: A Petri Net Approach to Verify and Debug Simulation Models.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/PilegaardNN06
- ask others
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Static Analysis of a Model of the LDL Degradation Pathway.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BattBEFHHKMMNSU06
- ask others
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.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/PilegaardNN06a
- ask others
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson: Context Dependent Analysis of BioAmbients.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/NicolPNU06
- ask others
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher: 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.