OASIcs, Volume 44, SynCoP 2015

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