HTML Export for SynCoP 2015

Copy to Clipboard Download

<h2>OASIcs, Volume 44, SynCoP 2015</h2>
<ul>
<li>
    <span class="authors">Étienne André and Goran Frehse</span>
    <span class="title">OASIcs, Volume 44, SynCoP&#039;15, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015">10.4230/OASIcs.SynCoP.2015</a>
</li>
<li>
    <span class="authors">Étienne André and Goran Frehse</span>
    <span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.i">10.4230/OASIcs.SynCoP.2015.i</a>
</li>
<li>
    <span class="authors">Parosh A. Abdulla, Fréderic Haziza, and Lukáš Holík</span>
    <span class="title">View Abstraction – A Tutorial (Invited Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.1">10.4230/OASIcs.SynCoP.2015.1</a>
</li>
<li>
    <span class="authors">Marta Kwiatkowska</span>
    <span class="title">Parameter synthesis for probabilistic real-time systems (Invited Paper)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.16">10.4230/OASIcs.SynCoP.2015.16</a>
</li>
<li>
    <span class="authors">Benoît Delahaye</span>
    <span class="title">Consistency for Parametric Interval Markov Chains</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.17">10.4230/OASIcs.SynCoP.2015.17</a>
</li>
<li>
    <span class="authors">Adrien Le Coënt, Florian de Vuyst, Christian Rey, Ludovic Chamoin, and Laurent Fribourg</span>
    <span class="title">Guaranteed control of switched control systems using model order reduction and state-space bisection</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.33">10.4230/OASIcs.SynCoP.2015.33</a>
</li>
<li>
    <span class="authors">Laurent Fribourg, Ulrich Kühne, and Nicolas Markey</span>
    <span class="title">Game-based Synthesis of Distributed Controllers for Sampled Switched Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.48">10.4230/OASIcs.SynCoP.2015.48</a>
</li>
<li>
    <span class="authors">Bharath Siva Kumar Tati and Markus Siegle</span>
    <span class="title">Parameter and Controller Synthesis for Markov Chains with Actions and State Labels</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.63">10.4230/OASIcs.SynCoP.2015.63</a>
</li>
<li>
    <span class="authors">Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, and Radu Mardare</span>
    <span class="title">Parametric Verification of Weighted Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.77">10.4230/OASIcs.SynCoP.2015.77</a>
</li>
<li>
    <span class="authors">Julien Alexandre dit Sandretto, Alexandre Chapoutot, and Olivier Mullier</span>
    <span class="title">Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.91">10.4230/OASIcs.SynCoP.2015.91</a>
</li>
<li>
    <span class="authors">Nicolas David, Claude Jard, Didier Lime, and Olivier H. Roux</span>
    <span class="title">Discrete Parameters in Petri Nets (Informal Presentation)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.103">10.4230/OASIcs.SynCoP.2015.103</a>
</li>
<li>
    <span class="authors">Étienne André, Camille Coti, and Hoang Gia Nguyen</span>
    <span class="title">Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.104">10.4230/OASIcs.SynCoP.2015.104</a>
</li>
<li>
    <span class="authors">Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta</span>
    <span class="title">Parameter Synthesis with IC3 (Informal Presentation)</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.SynCoP.2015.106">10.4230/OASIcs.SynCoP.2015.106</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