SynCoP 2015 April 11, 2015 - London, United Kingdom

2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)



Étienne André and Goran Frehse (Eds.)
ISBN 978-3-939897-82-8, OASICS Vol. 44 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 6 MB)
Search Publication Server


Authors
  • Abdulla, Parosh A.
  • Alexandre dit Sandretto, Julien
  • André, Étienne
  • Chamoin, Ludovic
  • Chapoutot, Alexandre
  • Christoffersen, Peter
  • Cimatti, Alessandro
  • Coti, Camille
  • David, Nicolas
  • Delahaye, Benoît
  • de Vuyst, Florian
  • Frehse, Goran
  • Fribourg, Laurent
  • Griggio, Alberto
  • Hansen, Mikkel
  • Haziza, Fréderic
  • Holík, Lukáš
  • Jard, Claude
  • Kühne, Ulrich
  • Kwiatkowska, Marta
  • Larsen, Kim Guldstrand
  • Le Coënt, Adrien
  • Lime, Didier
  • Mardare, Radu
  • Mariegaard, Anders
  • Markey, Nicolas
  • Mover, Sergio
  • Mullier, Olivier
  • Nguyen, Hoang Gia
  • Rey, Christian
  • Ringsmose, Julian Trier
  • Roux, Olivier H.
  • Siegle, Markus
  • Tati, Bharath Siva Kumar
  • Tonetta, Stefano

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: André, Étienne ; Frehse, Goran

    Abstract | Document (385 KB) | BibTeX

    View Abstraction – A Tutorial (Invited Paper)
    Authors: Abdulla, Parosh A. ; Haziza, Fréderic ; Holík, Lukáš

    Abstract | Document (538 KB) | BibTeX

    Parameter synthesis for probabilistic real-time systems (Invited Paper)
    Authors: Kwiatkowska, Marta

    Abstract | Document (266 KB) | BibTeX

    Consistency for Parametric Interval Markov Chains
    Authors: Delahaye, Benoît

    Abstract | Document (519 KB) | BibTeX

    Guaranteed control of switched control systems using model order reduction and state-space bisection
    Authors: Le Coënt, Adrien ; de Vuyst, Florian ; Rey, Christian ; Chamoin, Ludovic ; Fribourg, Laurent

    Abstract | Document (871 KB) | BibTeX

    Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
    Authors: Fribourg, Laurent ; Kühne, Ulrich ; Markey, Nicolas

    Abstract | Document (636 KB) | BibTeX

    Parameter and Controller Synthesis for Markov Chains with Actions and State Labels
    Authors: Tati, Bharath Siva Kumar ; Siegle, Markus

    Abstract | Document (689 KB) | BibTeX

    Parametric Verification of Weighted Systems
    Authors: Christoffersen, Peter ; Hansen, Mikkel ; Mariegaard, Anders ; Ringsmose, Julian Trier ; Larsen, Kim Guldstrand ; Mardare, Radu

    Abstract | Document (635 KB) | BibTeX

    Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
    Authors: Alexandre dit Sandretto, Julien ; Chapoutot, Alexandre ; Mullier, Olivier

    Abstract | Document (1,135 KB) | BibTeX

    Discrete Parameters in Petri Nets (Informal Presentation)
    Authors: David, Nicolas ; Jard, Claude ; Lime, Didier ; Roux, Olivier H.

    Abstract | Document (271 KB) | BibTeX

    Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)
    Authors: André, Étienne ; Coti, Camille ; Nguyen, Hoang Gia

    Abstract | Document (229 KB) | BibTeX

    Parameter Synthesis with IC3 (Informal Presentation)
    Authors: Cimatti, Alessandro ; Griggio, Alberto ; Mover, Sergio ; Tonetta, Stefano

    Abstract | Document (258 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI