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    = {Tue, 15 Feb 2022 09:40:05 +0100},
  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    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/syncop/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.