default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/syncop:"
download as .bib file
@inproceedings{DBLP:journals/corr/BrihayeDGHM16,
author = {Thomas Brihaye and
Amit Kumar Dhar and
Gilles Geeraerts and
Axel Haddad and
Benjamin Monmege},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Efficient Energy Distribution in a Smart Grid using Multi-Player Games},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {1--12},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.1},
doi = {10.4204/EPTCS.220.1},
timestamp = {Sat, 09 Apr 2022 12:27:04 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrihayeDGHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BrutschT16,
author = {Benedikt Br{\"{u}}tsch and
Wolfgang Thomas},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Playing Games in the Baire Space},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {13--25},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.2},
doi = {10.4204/EPTCS.220.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrutschT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Coti16a,
author = {Camille Coti},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Parametric, Probabilistic, Timed Resource Discovery System},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {53--62},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.5},
doi = {10.4204/EPTCS.220.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Coti16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FoshammerLM16,
author = {Louise Foshammer and
Kim Guldstrand Larsen and
Anders Mariegaard},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Weighted Branching Simulation Distance for Parametric Weighted Kripke
Structures},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {63--75},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.6},
doi = {10.4204/EPTCS.220.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FoshammerLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HutagalungHKLL16,
author = {Milka Hutagalung and
Norbert Hundeshagen and
Dietrich Kuske and
Martin Lange and
{\'{E}}tienne Lozes},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Two-Buffer Simulation Games},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {27--38},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.3},
doi = {10.4204/EPTCS.220.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HutagalungHKLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MoschoyiannisEP16,
author = {Sotiris Moschoyiannis and
Nicholas Elia and
Alexandra S. Penn and
David J. B. Lloyd and
Christopher J. K. Knight},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {A Web-based Tool for Identifying Strategic Intervention Points in
Complex Systems},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {39--52},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.4},
doi = {10.4204/EPTCS.220.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoschoyiannisEP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TatiS16,
author = {Bharath Siva Kumar Tati and
Markus Siegle},
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Rate Reduction for State-labelled Markov Chains with Upper Time-bounded
{CSL} Requirements},
booktitle = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
pages = {77--89},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220.7},
doi = {10.4204/EPTCS.220.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TatiS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BrihayeDJMS16,
editor = {Thomas Brihaye and
Beno{\^{\i}}t Delahaye and
Lo{\"{\i}}g Jezequel and
Nicolas Markey and
Jir{\'{\i}} Srba},
title = {Proceedings Cassting Workshop on Games for the Synthesis of Complex
Systems and 3rd International Workshop on Synthesis of Complex Parameters,
Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016},
series = {{EPTCS}},
volume = {220},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.220},
doi = {10.4204/EPTCS.220},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrihayeDJMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:journals/corr/HashemiHK14,
author = {Vahid Hashemi and
Hassan Hatefi and
Jan Krc{\'{a}}l},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Probabilistic Bisimulations for {PCTL} Model Checking of Interval
MDPs (extended version)},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {19--33},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.4},
doi = {10.4204/EPTCS.145.4},
timestamp = {Tue, 29 Dec 2020 18:21:20 +0100},
biburl = {https://dblp.org/rec/journals/corr/HashemiHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Quaas14a,
author = {Karin Quaas},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {5--17},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.3},
doi = {10.4204/EPTCS.145.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Quaas14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchivoSKPPL14,
author = {Stefano Schivo and
Jetse Scholma and
Marcel Karperien and
Janine N. Post and
Jaco van de Pol and
Rom Langerak},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Setting Parameters for Biological Models With {ANIMO}},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {35--47},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.5},
doi = {10.4204/EPTCS.145.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchivoSKPPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SkelinGCH14,
author = {Mladen Skelin and
Marc Geilen and
Francky Catthoor and
Sverre Hendseth},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Worst-case Throughput Analysis for Parametric Rate and Parametric
Actor Execution Time Scenario-Aware Dataflow Graphs},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {65--79},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.7},
doi = {10.4204/EPTCS.145.7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SkelinGCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SunLAF14,
author = {Youcheng Sun and
Giuseppe Lipari and
{\'{E}}tienne Andr{\'{e}} and
Laurent Fribourg},
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Toward Parametric Timed Interfaces for Real-Time Components},
booktitle = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
pages = {49--64},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145.6},
doi = {10.4204/EPTCS.145.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SunLAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/AndreF14,
editor = {{\'{E}}tienne Andr{\'{e}} and
Goran Frehse},
title = {Proceedings 1st International Workshop on Synthesis of Continuous
Parameters, SynCoP 2014, Grenoble, France, 6th April 2014},
series = {{EPTCS}},
volume = {145},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.145},
doi = {10.4204/EPTCS.145},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AndreF14.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.
retrieved on 2024-12-22 05:15 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
