HTML Export for Dagstuhl Seminar Proceedings, Volume 6161

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 6161, </h2>
<ul>
<li>
    <span class="authors">David M. Nicol, Corrado Priami, Hanne Riis-Nielson, and Adelinde M. Uhrmacher</span>
    <span class="title">06161 Abstracts Collection – Simulation and Verification of Dynamic Systems</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.1">10.4230/DagSemProc.06161.1</a>
</li>
<li>
    <span class="authors">Hanne Riis-Nielson, David M. Nicol, Corrado Priami, and Adelinde M. Uhrmacher</span>
    <span class="title">06161 Executive Summary – Simulation and Verification of Dynamic Systems</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.2">10.4230/DagSemProc.06161.2</a>
</li>
<li>
    <span class="authors">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</span>
    <span class="title">06161 Working Groups&#039; Report: The Challlenge of Combining Simulation and Verification</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.3">10.4230/DagSemProc.06161.3</a>
</li>
<li>
    <span class="authors">Peter Kemper and Carsten Tepper</span>
    <span class="title">A Petri Net Approach to Verify and Debug Simulation Models</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.4">10.4230/DagSemProc.06161.4</a>
</li>
<li>
    <span class="authors">Jörg Bauer and Reinhard Wilhelm</span>
    <span class="title">Abstract Interpretation of Graph Transformation</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.5">10.4230/DagSemProc.06161.5</a>
</li>
<li>
    <span class="authors">Henrik Pilegaard, Hanne Riis-Nielson, and Flemming Nielson</span>
    <span class="title">Context Dependent Analysis of BioAmbients</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.6">10.4230/DagSemProc.06161.6</a>
</li>
<li>
    <span class="authors">Matteo Cavaliere and Sean Sedwards</span>
    <span class="title">Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.7">10.4230/DagSemProc.06161.7</a>
</li>
<li>
    <span class="authors">Jane Hillston</span>
    <span class="title">Population models from PEPA descriptions</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.8">10.4230/DagSemProc.06161.8</a>
</li>
<li>
    <span class="authors">Henrik Pilegaard, Hanne Riis-Nielson, and Flemming Nielson</span>
    <span class="title">Static Analysis of a Model of the LDL Degradation Pathway</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.9">10.4230/DagSemProc.06161.9</a>
</li>
<li>
    <span class="authors">Jeremy T. Bradley and Thomas Thorne</span>
    <span class="title">Stochastic Process Algebra Models of a Circadian Clock</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.06161.10">10.4230/DagSemProc.06161.10</a>
</li>
</ul>

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