@InProceedings{nicol_et_al:DagSemProc.06161.1,
author = {Nicol, David M. and Priami, Corrado and Riis-Nielson, Hanne and Uhrmacher, Adelinde M.},
title = {{06161 Abstracts Collection – Simulation and Verification of Dynamic Systems}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.1},
URN = {urn:nbn:de:0030-drops-7102},
doi = {10.4230/DagSemProc.06161.1},
annote = {Keywords: Modeling, Simulation, Verification, Dynamic Systems, Systemsbiology}
}
@InProceedings{riisnielson_et_al:DagSemProc.06161.2,
author = {Riis-Nielson, Hanne and Nicol, David M. and Priami, Corrado and Uhrmacher, Adelinde M.},
title = {{06161 Executive Summary – Simulation and Verification of Dynamic Systems}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--2},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.2},
URN = {urn:nbn:de:0030-drops-7028},
doi = {10.4230/DagSemProc.06161.2},
annote = {Keywords: Modelling, Simulation, Verification, Systemsbiology}
}
@InProceedings{batt_et_al:DagSemProc.06161.3,
author = {Batt, Gregory and Bradley, Jeremy T. and Ewald, Roland and Fages, Fran\c{c}ois and Hermans, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.},
title = {{06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--21},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.3},
URN = {urn:nbn:de:0030-drops-7249},
doi = {10.4230/DagSemProc.06161.3},
annote = {Keywords: Modelling, Simulation, Verification, Systemsbiology}
}
@InProceedings{kemper_et_al:DagSemProc.06161.4,
author = {Kemper, Peter and Tepper, Carsten},
title = {{A Petri Net Approach to Verify and Debug Simulation Models}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.4},
URN = {urn:nbn:de:0030-drops-7084},
doi = {10.4230/DagSemProc.06161.4},
annote = {Keywords: Discrete event simulation, verification, debugging, process interaction, Petri net analysis}
}
@InProceedings{bauer_et_al:DagSemProc.06161.5,
author = {Bauer, J\"{o}rg and Wilhelm, Reinhard},
title = {{Abstract Interpretation of Graph Transformation}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.5},
URN = {urn:nbn:de:0030-drops-7039},
doi = {10.4230/DagSemProc.06161.5},
annote = {Keywords: Abstract Interpretation, Graph Transformation}
}
@InProceedings{pilegaard_et_al:DagSemProc.06161.6,
author = {Pilegaard, Henrik and Riis-Nielson, Hanne and Nielson, Flemming},
title = {{Context Dependent Analysis of BioAmbients}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.6},
URN = {urn:nbn:de:0030-drops-7093},
doi = {10.4230/DagSemProc.06161.6},
annote = {Keywords: Static analysis, abstract interpretation, BioAmbients}
}
@InProceedings{cavaliere_et_al:DagSemProc.06161.7,
author = {Cavaliere, Matteo and Sedwards, Sean},
title = {{Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.7},
URN = {urn:nbn:de:0030-drops-7061},
doi = {10.4230/DagSemProc.06161.7},
annote = {Keywords: Systems biology, membrane systems, formal language, simulation}
}
@InProceedings{hillston:DagSemProc.06161.8,
author = {Hillston, Jane},
title = {{Population models from PEPA descriptions}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--6},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.8},
URN = {urn:nbn:de:0030-drops-7071},
doi = {10.4230/DagSemProc.06161.8},
annote = {Keywords: Stochastic Process Algebra, Fluid Approximation, Discrete vs Continuous models}
}
@InProceedings{pilegaard_et_al:DagSemProc.06161.9,
author = {Pilegaard, Henrik and Riis-Nielson, Hanne and Nielson, Flemming},
title = {{Static Analysis of a Model of the LDL Degradation Pathway}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.9},
URN = {urn:nbn:de:0030-drops-7230},
doi = {10.4230/DagSemProc.06161.9},
annote = {Keywords: Static analysis, Systems Biology, BioAmbients, LDL Degradation Pathway}
}
@InProceedings{bradley_et_al:DagSemProc.06161.10,
author = {Bradley, Jeremy T. and Thorne, Thomas},
title = {{Stochastic Process Algebra Models of a Circadian Clock}},
booktitle = {Simulation and Verification of Dynamic Systems},
pages = {1--6},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6161},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.10},
URN = {urn:nbn:de:0030-drops-7050},
doi = {10.4230/DagSemProc.06161.10},
annote = {Keywords: Stochastic process algebras, ODEs, Circadian clock}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing