Search dblp for Publications

export results for "toc:db/conf/syncop/syncop2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/syncop/AbdullaHH15,
  author       = {Parosh Aziz Abdulla and
                  Fr{\'{e}}d{\'{e}}ric Haziza and
                  Luk{\'{a}}s Hol{\'{\i}}k},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {View Abstraction - {A} Tutorial (Invited Paper)},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {1--15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.1},
  doi          = {10.4230/OASICS.SYNCOP.2015.1},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/AbdullaHH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/AndreCN15,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Camille Coti and
                  Hoang Gia Nguyen},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Enhanced Distributed Behavioral Cartography of Parametric Timed Automata
                  (Informal Presentation)},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {104--105},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.104},
  doi          = {10.4230/OASICS.SYNCOP.2015.104},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/AndreCN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/ChristoffersenH15,
  author       = {Peter Christoffersen and
                  Mikkel Hansen and
                  Anders Mariegaard and
                  Julian Trier Ringsmose and
                  Kim Guldstrand Larsen and
                  Radu Mardare},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Parametric Verification of Weighted Systems},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {77--90},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.77},
  doi          = {10.4230/OASICS.SYNCOP.2015.77},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/ChristoffersenH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/CimattiGMT15,
  author       = {Alessandro Cimatti and
                  Alberto Griggio and
                  Sergio Mover and
                  Stefano Tonetta},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Parameter Synthesis with {IC3} (Informal Presentation)},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {106--107},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.106},
  doi          = {10.4230/OASICS.SYNCOP.2015.106},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/CimattiGMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/CoentVRCF15,
  author       = {Adrien Le Co{\"{e}}nt and
                  Florian De Vuyst and
                  Christian Rey and
                  Ludovic Chamoin and
                  Laurent Fribourg},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  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
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {33--47},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.33},
  doi          = {10.4230/OASICS.SYNCOP.2015.33},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/CoentVRCF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/DavidJLR15,
  author       = {Nicolas David and
                  Claude Jard and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Discrete Parameters in Petri Nets (Informal Presentation)},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {103--103},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.103},
  doi          = {10.4230/OASICS.SYNCOP.2015.103},
  timestamp    = {Tue, 20 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/syncop/DavidJLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/Delahaye15,
  author       = {Beno{\^{\i}}t Delahaye},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Consistency for Parametric Interval Markov Chains},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {17--32},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.17},
  doi          = {10.4230/OASICS.SYNCOP.2015.17},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/Delahaye15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/FribourgKM15,
  author       = {Laurent Fribourg and
                  Ulrich K{\"{u}}hne and
                  Nicolas Markey},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Game-based Synthesis of Distributed Controllers for Sampled Switched
                  Systems},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {48--62},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.48},
  doi          = {10.4230/OASICS.SYNCOP.2015.48},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/FribourgKM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/Kwiatkowska15,
  author       = {Marta Kwiatkowska},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Parameter synthesis for probabilistic real-time systems (Invited Paper)},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {16--16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.16},
  doi          = {10.4230/OASICS.SYNCOP.2015.16},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/Kwiatkowska15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/SandrettoCM15,
  author       = {Julien Alexandre Dit Sandretto and
                  Alexandre Chapoutot and
                  Olivier Mullier},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Tuning {PI} controller in non-linear uncertain closed-loop systems
                  with interval analysis},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {91--102},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.91},
  doi          = {10.4230/OASICS.SYNCOP.2015.91},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/SandrettoCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/TatiS15,
  author       = {Bharath Siva Kumar Tati and
                  Markus Siegle},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Parameter and Controller Synthesis for Markov Chains with Actions
                  and State Labels},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {63--76},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.63},
  doi          = {10.4230/OASICS.SYNCOP.2015.63},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/TatiS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syncop/X15,
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {Frontmatter, Table of Contents, Preface, Workshop Organization},
  booktitle    = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  pages        = {i--xii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/OASIcs.SynCoP.2015.i},
  doi          = {10.4230/OASICS.SYNCOP.2015.I},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/X15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/syncop/2015,
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Goran Frehse},
  title        = {2nd International Workshop on Synthesis of Complex Parameters, SynCoP
                  2015, April 11, 2015, London, United Kingdom},
  series       = {OASIcs},
  volume       = {44},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {http://www.dagstuhl.de/dagpub/978-3-939897-82-8},
  isbn         = {978-3-939897-82-8},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/syncop/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.