2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Proceedings{andre_et_al:OASIcs.SynCoP.2015, title = {{OASIcs, Volume 44, SynCoP'15, Complete Volume}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015}, URN = {urn:nbn:de:0030-drops-56168}, doi = {10.4230/OASIcs.SynCoP.2015}, annote = {Keywords: Software/Program Verification} }
2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. i-xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{andre_et_al:OASIcs.SynCoP.2015.i, author = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {i--xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.i}, URN = {urn:nbn:de:0030-drops-56034}, doi = {10.4230/OASIcs.SynCoP.2015.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} }
Parosh A. Abdulla, Fréderic Haziza, and Lukáš Holík. View Abstraction – A Tutorial (Invited Paper). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{abdulla_et_al:OASIcs.SynCoP.2015.1, author = {Abdulla, Parosh A. and Haziza, Fr\'{e}deric and Hol{\'\i}k, Luk\'{a}\v{s}}, title = {{View Abstraction – A Tutorial}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {1--15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.1}, URN = {urn:nbn:de:0030-drops-56057}, doi = {10.4230/OASIcs.SynCoP.2015.1}, annote = {Keywords: program verification, model checking, parameterized systems} }
Marta Kwiatkowska. Parameter synthesis for probabilistic real-time systems (Invited Paper). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, p. 16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{kwiatkowska:OASIcs.SynCoP.2015.16, author = {Kwiatkowska, Marta}, title = {{Parameter synthesis for probabilistic real-time systems}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {16--16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.16}, URN = {urn:nbn:de:0030-drops-56062}, doi = {10.4230/OASIcs.SynCoP.2015.16}, annote = {Keywords: Quantitative verification, Timed automata, Parameter synthesis} }
Benoît Delahaye. Consistency for Parametric Interval Markov Chains. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 17-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{delahaye:OASIcs.SynCoP.2015.17, author = {Delahaye, Beno\^{i}t}, title = {{Consistency for Parametric Interval Markov Chains}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {17--32}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.17}, URN = {urn:nbn:de:0030-drops-56079}, doi = {10.4230/OASIcs.SynCoP.2015.17}, annote = {Keywords: Specification, Parameters, Markov Chains, Consistency} }
Adrien Le Coënt, Florian de Vuyst, Christian Rey, Ludovic Chamoin, and Laurent Fribourg. Guaranteed control of switched control systems using model order reduction and state-space bisection. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 32-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{lecoent_et_al:OASIcs.SynCoP.2015.33, author = {Le Co\"{e}nt, Adrien and de Vuyst, Florian and Rey, Christian and Chamoin, Ludovic and Fribourg, Laurent}, title = {{Guaranteed control of switched control systems using model order reduction and state-space bisection}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {32--46}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.33}, URN = {urn:nbn:de:0030-drops-56089}, doi = {10.4230/OASIcs.SynCoP.2015.33}, annote = {Keywords: Model Order Reduction, guaranteed control, stability control, reachability control, error bounding} }
Laurent Fribourg, Ulrich Kühne, and Nicolas Markey. Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 48-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{fribourg_et_al:OASIcs.SynCoP.2015.48, author = {Fribourg, Laurent and K\"{u}hne, Ulrich and Markey, Nicolas}, title = {{Game-based Synthesis of Distributed Controllers for Sampled Switched Systems}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {48--62}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.48}, URN = {urn:nbn:de:0030-drops-56091}, doi = {10.4230/OASIcs.SynCoP.2015.48}, annote = {Keywords: Cyber-physical systems, controller synthesis, games, robustness, partial observation} }
Bharath Siva Kumar Tati and Markus Siegle. Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 63-76, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{tati_et_al:OASIcs.SynCoP.2015.63, author = {Tati, Bharath Siva Kumar and Siegle, Markus}, title = {{Parameter and Controller Synthesis for Markov Chains with Actions and State Labels}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {63--76}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.63}, URN = {urn:nbn:de:0030-drops-56107}, doi = {10.4230/OASIcs.SynCoP.2015.63}, annote = {Keywords: Markov chains with actions and state labels, Parameter synthesis, Controller synthesis, Probabilistic model checking} }
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, and Radu Mardare. Parametric Verification of Weighted Systems. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 77-90, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{christoffersen_et_al:OASIcs.SynCoP.2015.77, author = {Christoffersen, Peter and Hansen, Mikkel and Mariegaard, Anders and Ringsmose, Julian Trier and Larsen, Kim Guldstrand and Mardare, Radu}, title = {{Parametric Verification of Weighted Systems}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {77--90}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.77}, URN = {urn:nbn:de:0030-drops-56115}, doi = {10.4230/OASIcs.SynCoP.2015.77}, annote = {Keywords: parametric weighted transition systems, parametric weighted CTL, parametric model checking, well-quasi ordering, tool} }
Julien Alexandre dit Sandretto, Alexandre Chapoutot, and Olivier Mullier. Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 91-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{alexandreditsandretto_et_al:OASIcs.SynCoP.2015.91, author = {Alexandre dit Sandretto, Julien and Chapoutot, Alexandre and Mullier, Olivier}, title = {{Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {91--102}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.91}, URN = {urn:nbn:de:0030-drops-56125}, doi = {10.4230/OASIcs.SynCoP.2015.91}, annote = {Keywords: PID Tuning, Guaranteed numerical integration, non-linear ordinary differential equations} }
Nicolas David, Claude Jard, Didier Lime, and Olivier H. Roux. Discrete Parameters in Petri Nets (Informal Presentation). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, p. 103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{david_et_al:OASIcs.SynCoP.2015.103, author = {David, Nicolas and Jard, Claude and Lime, Didier and Roux, Olivier H.}, title = {{Discrete Parameters in Petri Nets}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {103--103}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.103}, URN = {urn:nbn:de:0030-drops-56046}, doi = {10.4230/OASIcs.SynCoP.2015.103}, annote = {Keywords: Petri nets, Parameters, Coverability} }
Étienne André, Camille Coti, and Hoang Gia Nguyen. Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 104-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{andre_et_al:OASIcs.SynCoP.2015.104, author = {Andr\'{e}, \'{E}tienne and Coti, Camille and Nguyen, Hoang Gia}, title = {{Enhanced Distributed Behavioral Cartography of Parametric Timed Automata}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {104--105}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.104}, URN = {urn:nbn:de:0030-drops-56134}, doi = {10.4230/OASIcs.SynCoP.2015.104}, annote = {Keywords: Formal methods, model checking, distributed algorithmic, real-time systems, parameter synthesis} }
Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta. Parameter Synthesis with IC3 (Informal Presentation). In 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Open Access Series in Informatics (OASIcs), Volume 44, pp. 106-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cimatti_et_al:OASIcs.SynCoP.2015.106, author = {Cimatti, Alessandro and Griggio, Alberto and Mover, Sergio and Tonetta, Stefano}, title = {{Parameter Synthesis with IC3}}, booktitle = {2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)}, pages = {106--107}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-82-8}, ISSN = {2190-6807}, year = {2015}, volume = {44}, editor = {Andr\'{e}, \'{E}tienne and Frehse, Goran}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.106}, URN = {urn:nbn:de:0030-drops-56144}, doi = {10.4230/OASIcs.SynCoP.2015.106}, annote = {Keywords: Parameter Synthesis, Infinite-state Transition Systems, Satisfiability Modulo Theories, IC3} }
Feedback for Dagstuhl Publishing