SynCoP

Keyphrases

Publications

2015

Laurent Fribourg, Ulrich Kühne, Nicolas Markey
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP (2015)
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare
Parametric Verification of Weighted Systems. SynCoP (2015)
Étienne André, Camille Coti, Hoang Gia Nguyen
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). SynCoP (2015)
Frontmatter, Table of Contents, Preface, Workshop Organization. SynCoP (2015)
Bharath Siva Kumar Tati, Markus Siegle
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. SynCoP (2015)
Marta Kwiatkowska
Parameter synthesis for probabilistic real-time systems (Invited Paper). SynCoP (2015)
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP (2015)
Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
Parameter Synthesis with IC3 (Informal Presentation). SynCoP (2015)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP (2015)
Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg
Guaranteed control of switched control systems using model order reduction and state-space bisection. SynCoP (2015)
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
View Abstraction - A Tutorial (Invited Paper). SynCoP (2015)
Benoît Delahaye
Consistency for Parametric Interval Markov Chains. SynCoP (2015)

volume 44, 2015

2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom SynCoP 44 (2015)

2014

volume 145, 2014

Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. SynCoP 145 (2014)