@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
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
Feedback for Dagstuhl Publishing