@inproceedings{DBLP:conf/qestformats/LeclercqLR24,
author = {Loriane Leclercq and
Didier Lime and
Olivier H. Roux},
editor = {Jane Hillston and
Sadegh Soudjani and
Masaki Waga},
title = {On Parametric DBMs and Their Applications to Time Petri Nets},
booktitle = {Quantitative Evaluation of Systems and Formal Modeling and Analysis
of Timed Systems - First International Joint Conference, {QEST+FORMATS}
2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14996},
pages = {107--124},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-68416-6\_7},
doi = {10.1007/978-3-031-68416-6\_7},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qestformats/LeclercqLR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LeclercqLR23,
author = {Loriane Leclercq and
Didier Lime and
Olivier H. Roux},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {A State Class Based Controller Synthesis Approach for Time Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {393--414},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_21},
doi = {10.1007/978-3-031-33620-1\_21},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LeclercqLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/SprietLR23,
author = {Anthony Spriet and
Didier Lime and
Olivier H. Roux},
editor = {Laure Petrucci and
Jeremy Sproston},
title = {Timed Non-interference Under Partial Observability and Bounded Memory},
booktitle = {Formal Modeling and Analysis of Timed Systems - 21st International
Conference, {FORMATS} 2023, Antwerp, Belgium, September 19-21, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14138},
pages = {122--137},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42626-1\_8},
doi = {10.1007/978-3-031-42626-1\_8},
timestamp = {Tue, 05 Sep 2023 20:33:25 +0200},
biburl = {https://dblp.org/rec/conf/formats/SprietLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-20392,
author = {{\'{E}}tienne Andr{\'{e}} and
Engel Lefaucheux and
Didier Lime and
Dylan Marinho and
Jun Sun},
editor = {Maurice H. ter Beek and
Clemens Dubslaff},
title = {Configuring Timing Parameters to Ensure Execution-Time Opacity in
Timed Automata},
booktitle = {Proceedings of the First Workshop on Trends in Configurable Systems
Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023},
series = {{EPTCS}},
volume = {392},
pages = {1--26},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.392.1},
doi = {10.4204/EPTCS.392.1},
timestamp = {Mon, 06 Nov 2023 15:17:28 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-20392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09109,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
title = {Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata},
journal = {CoRR},
volume = {abs/2310.09109},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09109},
doi = {10.48550/ARXIV.2310.09109},
eprinttype = {arXiv},
eprint = {2310.09109},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AndreLR22,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
title = {Reachability and liveness in parametric timed automata},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:31)2022},
doi = {10.46298/LMCS-18(1:31)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AndreLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/JovanovicLR22,
author = {Aleksandra Jovanovic and
Didier Lime and
Olivier H. Roux},
title = {Control of Real-Time Systems With Integer Parameters},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {1},
pages = {75--88},
year = {2022},
url = {https://doi.org/10.1109/TAC.2020.3046578},
doi = {10.1109/TAC.2020.3046578},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/JovanovicLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/AndreLMS22,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Dylan Marinho and
Jun Sun},
title = {Guaranteeing Timed Opacity using Parametric Timed Model Checking},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {4},
pages = {64:1--64:36},
year = {2022},
url = {https://doi.org/10.1145/3502851},
doi = {10.1145/3502851},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/AndreLMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-05438,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Dylan Marinho and
Jun Sun},
title = {Guaranteeing Timed Opacity using Parametric Timed Model Checking},
journal = {CoRR},
volume = {abs/2206.05438},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.05438},
doi = {10.48550/ARXIV.2206.05438},
eprinttype = {arXiv},
eprint = {2206.05438},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-05438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BechennecLR21,
author = {Jean{-}Luc B{\'{e}}chennec and
Didier Lime and
Olivier H. Roux},
title = {Logical time control of concurrent {DES}},
journal = {Discret. Event Dyn. Syst.},
volume = {31},
number = {2},
pages = {185--217},
year = {2021},
url = {https://doi.org/10.1007/s10626-020-00333-x},
doi = {10.1007/S10626-020-00333-X},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BechennecLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AndreLRS21,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison and
Mari{\"{e}}lle Stoelinga},
title = {Parametric Analyses of Attack-fault Trees},
journal = {Fundam. Informaticae},
volume = {182},
number = {1},
pages = {69--94},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2066},
doi = {10.3233/FI-2021-2066},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AndreLRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LimeRS21,
author = {Didier Lime and
Olivier H. Roux and
Charlotte Seidner},
title = {Cost Problems for Parametric Time Petri Nets},
journal = {Fundam. Informaticae},
volume = {183},
number = {1-2},
pages = {97--123},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2083},
doi = {10.3233/FI-2021-2083},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LimeRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AndreLR21,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
title = {Parametric updates in parametric timed automata},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7470},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AndreLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HaddadLR21,
author = {Serge Haddad and
Didier Lime and
Olivier H. Roux},
editor = {Didier Buchs and
Josep Carmona},
title = {A Turn-Based Approach for Qualitative Time Concurrent Games},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {76--92},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_5},
doi = {10.1007/978-3-030-76983-3\_5},
timestamp = {Thu, 09 Dec 2021 09:24:11 +0100},
biburl = {https://dblp.org/rec/conf/apn/HaddadLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JezequelLS21,
author = {Lo{\"{\i}}g Jezequel and
Didier Lime and
Bastien S{\'{e}}r{\'{e}}e},
editor = {Didier Buchs and
Josep Carmona},
title = {A Lazy Query Scheme for Reachability Analysis in Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 42nd International
Conference, {PETRI} {NETS} 2021, Virtual Event, June 23-25, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12734},
pages = {360--378},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_18},
doi = {10.1007/978-3-030-76983-3\_18},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JezequelLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/SereeJL21,
author = {Bastien S{\'{e}}r{\'{e}}e and
Lo{\"{\i}}g Jezequel and
Didier Lime},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized
Weighted Graphs},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {279--290},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_22},
doi = {10.1007/978-3-030-68195-1\_22},
timestamp = {Tue, 23 Feb 2021 12:56:48 +0100},
biburl = {https://dblp.org/rec/conf/lata/SereeJL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-03658,
author = {Didier Lime and
Olivier H. Roux and
Charlotte Seidner},
title = {Cost Problems for Parametric Time Petri Nets},
journal = {CoRR},
volume = {abs/2109.03658},
year = {2021},
url = {https://arxiv.org/abs/2109.03658},
eprinttype = {arXiv},
eprint = {2109.03658},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-03658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AndreLM19,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Nicolas Markey},
title = {Language Preservation Problems in Parametric Timed Automata},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {1},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(1:5)2020},
doi = {10.23638/LMCS-16(1:5)2020},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AndreLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ParrotL20,
author = {R{\'{e}}mi Parrot and
Didier Lime},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Backward Symbolic Optimal Reachability in Weighted Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {41--57},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_3},
doi = {10.1007/978-3-030-57628-8\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/ParrotL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/QuilletQL20,
author = {Adrien Quillet and
Audrey Queudet and
Didier Lime},
editor = {Liliana Cucu{-}Grosjean and
Roberto Medina and
Sebastian Altmeyer and
Jean{-}Luc Scharbarg},
title = {Analysis of Polka Contention Manager for use in Multicore Hard Real-Time
Systems},
booktitle = {28th International Conference on Real Time Networks and Systems, {RTNS}
2020, Paris, France, June 10, 2020},
pages = {11--21},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394810.3394825},
doi = {10.1145/3394810.3394825},
timestamp = {Sun, 14 Jun 2020 13:01:26 +0200},
biburl = {https://dblp.org/rec/conf/rtns/QuilletQL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-09171,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
title = {Reachability and liveness in parametric timed automata},
journal = {CoRR},
volume = {abs/2004.09171},
year = {2020},
url = {https://arxiv.org/abs/2004.09171},
eprinttype = {arXiv},
eprint = {2004.09171},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-09171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcon/JovanovicLR19,
author = {Aleksandra Jovanovic and
Didier Lime and
Olivier H. Roux},
title = {A game approach to the parametric control of real-time systems},
journal = {Int. J. Control},
volume = {92},
number = {9},
pages = {2025--2036},
year = {2019},
url = {https://doi.org/10.1080/00207179.2018.1426883},
doi = {10.1080/00207179.2018.1426883},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcon/JovanovicLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AndreKLPP19,
author = {{\'{E}}tienne Andr{\'{e}} and
Michal Knapik and
Didier Lime and
Wojciech Penczek and
Laure Petrucci},
title = {Parametric Verification: An Introduction},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {14},
pages = {64--100},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60651-3\_3},
doi = {10.1007/978-3-662-60651-3\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AndreKLPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AndreLRS19,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison and
Mari{\"{e}}lle Stoelinga},
title = {Parametric Analyses of Attack-Fault Trees},
booktitle = {19th International Conference on Application of Concurrency to System
Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
pages = {33--42},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ACSD.2019.00008},
doi = {10.1109/ACSD.2019.00008},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/AndreLRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BechennecLR19,
author = {Jean{-}Luc B{\'{e}}chennec and
Didier Lime and
Olivier H. Roux},
title = {Control of {DES} with Urgency, Avoidability and Ineluctability},
booktitle = {19th International Conference on Application of Concurrency to System
Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
pages = {92--101},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ACSD.2019.00020},
doi = {10.1109/ACSD.2019.00020},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BechennecLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LimeRS19,
author = {Didier Lime and
Olivier H. Roux and
Charlotte Seidner},
editor = {Susanna Donatelli and
Stefan Haar},
title = {Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {406--425},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_22},
doi = {10.1007/978-3-030-21571-2\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LimeRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AndreLR19,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Parametric Updates in Parametric Timed Automata},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {39--56},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_3},
doi = {10.1007/978-3-030-21759-4\_3},
timestamp = {Wed, 02 Dec 2020 13:20:40 +0100},
biburl = {https://dblp.org/rec/conf/forte/AndreLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BaoADFL19,
author = {Ran Bao and
J. Christian Attiogb{\'{e}} and
Beno{\^{\i}}t Delahaye and
Paulin Fournier and
Didier Lime},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Parametric Statistical Model Checking of {UAV} Flight Plan},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {57--74},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_4},
doi = {10.1007/978-3-030-21759-4\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BaoADFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/AndreLR19,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
editor = {Jun Pang and
Jing Sun},
title = {On the Expressive Power of Invariants in Parametric Timed Automata},
booktitle = {24th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2019, Guangzhou, China, November 10-13, 2019},
pages = {87--96},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECCS.2019.00017},
doi = {10.1109/ICECCS.2019.00017},
timestamp = {Fri, 01 Nov 2019 11:53:05 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/AndreLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/CoullonJL19,
author = {H{\'{e}}l{\`{e}}ne Coullon and
Claude Jard and
Didier Lime},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Integrated Model-Checking for the Design of Safe and Efficient Distributed
Software Commissioning},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {120--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_7},
doi = {10.1007/978-3-030-34968-4\_7},
timestamp = {Fri, 22 Nov 2019 13:59:20 +0100},
biburl = {https://dblp.org/rec/conf/ifm/CoullonJL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AndreDFL19,
author = {{\'{E}}tienne Andr{\'{e}} and
Beno{\^{\i}}t Delahaye and
Paulin Fournier and
Didier Lime},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Parametric Timed Broadcast Protocols},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {491--512},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_23},
doi = {10.1007/978-3-030-11245-5\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AndreDFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04336,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison and
Mari{\"{e}}lle Stoelinga},
title = {Parametric analyses of attack-fault trees},
journal = {CoRR},
volume = {abs/1902.04336},
year = {2019},
url = {http://arxiv.org/abs/1902.04336},
eprinttype = {arXiv},
eprint = {1902.04336},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04336.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08824,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
title = {Parametric updates in parametric timed automata},
journal = {CoRR},
volume = {abs/1904.08824},
year = {2019},
url = {http://arxiv.org/abs/1904.08824},
eprinttype = {arXiv},
eprint = {1904.08824},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-08824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00555,
author = {{\'{E}}tienne Andr{\'{e}} and
Michal Knapik and
Didier Lime and
Wojciech Penczek and
Laure Petrucci},
title = {Parametric Verification: An Introduction},
journal = {CoRR},
volume = {abs/1907.00555},
year = {2019},
url = {http://arxiv.org/abs/1907.00555},
eprinttype = {arXiv},
eprint = {1907.00555},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06633,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
title = {On the expressive power of invariants in parametric timed automata},
journal = {CoRR},
volume = {abs/1908.06633},
year = {2019},
url = {http://arxiv.org/abs/1908.06633},
eprinttype = {arXiv},
eprint = {1908.06633},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BartDFLMT18,
author = {Anicet Bart and
Beno{\^{\i}}t Delahaye and
Paulin Fournier and
Didier Lime and
{\'{E}}ric Monfroy and
Charlotte Truchet},
title = {Reachability in parametric Interval Markov Chains using constraints},
journal = {Theor. Comput. Sci.},
volume = {747},
pages = {48--74},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.06.016},
doi = {10.1016/J.TCS.2018.06.016},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BartDFLMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AndreLR18,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
title = {Timed Automata with Parametric Updates},
booktitle = {18th International Conference on Application of Concurrency to System
Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
pages = {21--29},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-2},
doi = {10.1109/ACSD.2018.000-2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/AndreLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouchenebLRS18,
author = {Hanifa Boucheneb and
Didier Lime and
Olivier H. Roux and
Charlotte Seidner},
title = {Optimal-Cost Reachability Analysis Based on Time Petri Nets},
booktitle = {18th International Conference on Application of Concurrency to System
Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
pages = {30--39},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-1},
doi = {10.1109/ACSD.2018.000-1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BouchenebLRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndreLR18,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Mathias Ramparison},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {{TCTL} Model Checking Lower/Upper-Bound Parametric Timed Automata
Without Invariants},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {37--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_3},
doi = {10.1007/978-3-030-00151-3\_3},
timestamp = {Sat, 09 Apr 2022 12:48:56 +0200},
biburl = {https://dblp.org/rec/conf/formats/AndreLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-07091,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Nicolas Markey},
title = {Language Preservation Problems in Parametric Timed Automata},
journal = {CoRR},
volume = {abs/1807.07091},
year = {2018},
url = {http://arxiv.org/abs/1807.07091},
eprinttype = {arXiv},
eprint = {1807.07091},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-07091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-12576,
author = {{\'{E}}tienne Andr{\'{e}} and
Beno{\^{\i}}t Delahaye and
Paulin Fournier and
Didier Lime},
title = {Parametric Timed Broadcast Protocols},
journal = {CoRR},
volume = {abs/1811.12576},
year = {2018},
url = {http://arxiv.org/abs/1811.12576},
eprinttype = {arXiv},
eprint = {1811.12576},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-12576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/BeldiceanuFGHJL17,
author = {Nicolas Beldiceanu and
Barbara Dumas Feris and
Philippe Gravey and
Md Sabbir Hasan and
Claude Jard and
Thomas Ledoux and
Yunbo Li and
Didier Lime and
Gilles Madi{-}Wamba and
Jean{-}Marc Menaud and
Pascal Morel and
Michel Morvan and
Marie{-}Laure Moulinard and
Anne{-}C{\'{e}}cile Orgerie and
Jean{-}Louis Pazat and
Olivier H. Roux and
Ammar Sharaiha},
title = {Towards energy-proportional clouds partially powered by renewable
energy},
journal = {Computing},
volume = {99},
number = {1},
pages = {3--22},
year = {2017},
url = {https://doi.org/10.1007/s00607-016-0503-z},
doi = {10.1007/S00607-016-0503-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/BeldiceanuFGHJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AndreL17,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime},
title = {Liveness in L/U-Parametric Timed Automata},
booktitle = {17th International Conference on Application of Concurrency to System
Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
pages = {9--18},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ACSD.2017.19},
doi = {10.1109/ACSD.2017.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AndreL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DavidJLR17,
author = {Nicolas David and
Claude Jard and
Didier Lime and
Olivier H. Roux},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Coverability Synthesis in Parametric Petri Nets},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {14:1--14:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.14},
doi = {10.4230/LIPICS.CONCUR.2017.14},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/DavidJLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouchenebLPRS17,
author = {Hanifa Boucheneb and
Didier Lime and
Baptiste Parquier and
Olivier H. Roux and
Charlotte Seidner},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Optimal Reachability in Cost Time Petri Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {58--73},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_4},
doi = {10.1007/978-3-319-65765-3\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouchenebLPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/JezequelL17,
author = {Lo{\"{\i}}g Jezequel and
Didier Lime},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed
Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {247--263},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_14},
doi = {10.1007/978-3-319-65765-3\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/JezequelL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BartDLMT17,
author = {Anicet Bart and
Beno{\^{\i}}t Delahaye and
Didier Lime and
{\'{E}}ric Monfroy and
Charlotte Truchet},
editor = {Nathalie Bertrand and
Luca Bortolussi},
title = {Reachability in Parametric Interval Markov Chains Using Constraints},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference,
{QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10503},
pages = {173--189},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66335-7\_11},
doi = {10.1007/978-3-319-66335-7\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BartDLMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartDLMT17,
author = {Anicet Bart and
Beno{\^{\i}}t Delahaye and
Didier Lime and
{\'{E}}ric Monfroy and
Charlotte Truchet},
title = {Reachability in Parametric Interval Markov Chains using Constraints},
journal = {CoRR},
volume = {abs/1706.00270},
year = {2017},
url = {http://arxiv.org/abs/1706.00270},
eprinttype = {arXiv},
eprint = {1706.00270},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BartDLMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BerardHJL16,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Aleksandra Jovanovic and
Didier Lime},
title = {Interrupt Timed Automata with Auxiliary Clocks and Parameters},
journal = {Fundam. Informaticae},
volume = {143},
number = {3-4},
pages = {235--259},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1313},
doi = {10.3233/FI-2016-1313},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BerardHJL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EmzivatDLR16,
author = {Yrvann Emzivat and
Beno{\^{\i}}t Delahaye and
Didier Lime and
Olivier H. Roux},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {Probabilistic Time Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {261--280},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_16},
doi = {10.1007/978-3-319-39086-4\_16},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/EmzivatDLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JezequelL16,
author = {Lo{\"{\i}}g Jezequel and
Didier Lime},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Lazy Reachability Analysis in Distributed Systems},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {17:1--17:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.17},
doi = {10.4230/LIPICS.CONCUR.2016.17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JezequelL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AndreLR16,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {On the Expressiveness of Parametric Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {19--34},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_2},
doi = {10.1007/978-3-319-44878-7\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AndreLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/ParquierRHSRLA16,
author = {Baptiste Parquier and
Laurent Rioux and
Rafik Henia and
Romain Soulat and
Olivier H. Roux and
Didier Lime and
{\'{E}}tienne Andr{\'{e}}},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Applying Parametric Model-Checking Techniques for Reusing Real-Time
Critical Systems},
booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {694},
pages = {129--144},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-53946-1\_8},
doi = {10.1007/978-3-319-53946-1\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/ParquierRHSRLA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AndreLR16,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Decision Problems for Parametric Timed Automata},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {400--416},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_25},
doi = {10.1007/978-3-319-47846-3\_25},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/AndreLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DelahayeLP16,
author = {Beno{\^{\i}}t Delahaye and
Didier Lime and
Laure Petrucci},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Parameter Synthesis for Parametric Interval Markov Chains},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {372--390},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_18},
doi = {10.1007/978-3-662-49122-5\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DelahayeLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcon/BenattarCLR15,
author = {Gilles Benattar and
Franck Cassez and
Didier Lime and
Olivier H. Roux},
title = {Control and synthesis of non-interferent timed systems},
journal = {Int. J. Control},
volume = {88},
number = {2},
pages = {217--236},
year = {2015},
url = {https://doi.org/10.1080/00207179.2014.944356},
doi = {10.1080/00207179.2014.944356},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcon/BenattarCLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JovanovicLR15,
author = {Aleksandra Jovanovic and
Didier Lime and
Olivier H. Roux},
title = {Integer Parameter Synthesis for Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {5},
pages = {445--461},
year = {2015},
url = {https://doi.org/10.1109/TSE.2014.2357445},
doi = {10.1109/TSE.2014.2357445},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JovanovicLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DavidJLR15,
author = {Nicolas David and
Claude Jard and
Didier Lime and
Olivier H. Roux},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {Discrete Parameters in Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {137--156},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_7},
doi = {10.1007/978-3-319-19488-2\_7},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/DavidJLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AndreLR15,
author = {{\'{E}}tienne Andr{\'{e}} and
Didier Lime and
Olivier H. Roux},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {Integer-Complete Synthesis for Bounded Parametric Timed Automata},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {7--19},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_2},
doi = {10.1007/978-3-319-24537-9\_2},
timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
biburl = {https://dblp.org/rec/conf/rp/AndreLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/BeldiceanuFGHJL15,
author = {Nicolas Beldiceanu and
Barbara Dumas Feris and
Philippe Gravey and
Md Sabbir Hasan and
Claude Jard and
Thomas Ledoux and
Yunbo Li and
Didier Lime and
Gilles Madi{-}Wamba and
Jean{-}Marc Menaud and
Pascal Morel and
Michel Morvan and
Marie{-}Laure Moulinard and
Anne{-}C{\'{e}}cile Orgerie and
Jean{-}Louis Pazat and
Olivier H. Roux and
Ammar Sharaiha},
editor = {Markus Helfert and
Karl{-}Heinz Krempels and
Brian Donnellan and
Cornel Klein},
title = {The {EPOC} Project - Energy Proportional and Opportunistic Computing
System},
booktitle = {{SMARTGREENS} 2015 - Proceedings of the 4th International Conference
on Smart Cities and Green {ICT} Systems, Lisbon, Portugal, 20-22 May,
2015},
pages = {388--394},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005487403880394},
doi = {10.5220/0005487403880394},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartgreens/BeldiceanuFGHJL15.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 = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/syncop/DavidJLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JardLR14,
author = {Claude Jard and
Didier Lime and
Olivier H. Roux},
title = {Blending Timed Formal Models with Clock Transition Systems},
journal = {Fundam. Informaticae},
volume = {129},
number = {1-2},
pages = {85--100},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-962},
doi = {10.3233/FI-2014-962},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JardLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DavidJLLLST14,
author = {Alexandre David and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Didier Lime and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On Time with Minimal Expected Cost!},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {129--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_10},
doi = {10.1007/978-3-319-11936-6\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/DavidJLLLST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerardHJL14,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Aleksandra Jovanovic and
Didier Lime},
title = {Interrupt Timed Automata with Auxiliary Clocks and Parameters},
journal = {CoRR},
volume = {abs/1409.2408},
year = {2014},
url = {http://arxiv.org/abs/1409.2408},
eprinttype = {arXiv},
eprint = {1409.2408},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BerardHJL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/LimeMR13,
author = {Didier Lime and
Claude Martinez and
Olivier H. Roux},
title = {Shrinking of Time Petri nets},
journal = {Discret. Event Dyn. Syst.},
volume = {23},
number = {4},
pages = {419--438},
year = {2013},
url = {https://doi.org/10.1007/s10626-013-0159-1},
doi = {10.1007/S10626-013-0159-1},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/LimeMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JardLRT13,
author = {Claude Jard and
Didier Lime and
Olivier H. Roux and
Louis{-}Marie Traonouez},
title = {Symbolic unfolding of parametric stopwatch Petri nets},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {3},
pages = {493--519},
year = {2013},
url = {https://doi.org/10.1007/s10703-013-0188-2},
doi = {10.1007/S10703-013-0188-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/JardLRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerardCHLR13,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
title = {The expressive power of time Petri nets},
journal = {Theor. Comput. Sci.},
volume = {474},
pages = {1--20},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.12.005},
doi = {10.1016/J.TCS.2012.12.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerardCHLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BouchenebLR13,
author = {Hanifa Boucheneb and
Didier Lime and
Olivier H. Roux},
editor = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel},
title = {On Multi-enabledness in Time Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International
Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7927},
pages = {130--149},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38697-8\_8},
doi = {10.1007/978-3-642-38697-8\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BouchenebLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JovanovicLR13,
author = {Aleksandra Jovanovic and
Didier Lime and
Olivier H. Roux},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Synthesis of Bounded Integer Parameters for Parametric Timed Reachability
Games},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {87--101},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_8},
doi = {10.1007/978-3-319-02444-8\_8},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/JovanovicLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BerardHJL13,
author = {B{\'{e}}atrice B{\'{e}}rard and
Serge Haddad and
Aleksandra Jovanovic and
Didier Lime},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Parametric Interrupt Timed Automata},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {59--69},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_7},
doi = {10.1007/978-3-642-41036-9\_7},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/BerardHJL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JovanovicLR13,
author = {Aleksandra Jovanovic and
Didier Lime and
Olivier H. Roux},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Integer Parameter Synthesis for Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {401--415},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_28},
doi = {10.1007/978-3-642-36742-7\_28},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/JovanovicLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/13/LimeRS13,
author = {Didier Lime and
Olivier H. Roux and
Jir{\'{\i}} Srba},
editor = {Claude Jard and
Olivier H. Roux},
title = {Models for Real-Time Embedded Systems},
booktitle = {Communicating Embedded Systems},
pages = {1--37},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188.ch1},
doi = {10.1002/9781118558188.CH1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/wi/13/LimeRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/13/DavidBBBCLPRS0JLMRT13,
author = {Alexandre David and
Gerd Behrmann and
Peter E. Bulychev and
Joakim Byg and
Thomas Chatain and
Kim G. Larsen and
Paul Pettersson and
Jacob Illum Rasmussen and
Jir{\'{\i}} Srba and
Wang Yi and
Kenneth Yrke J{\o}rgensen and
Didier Lime and
Morgan Magnin and
Olivier H. Roux and
Louis{-}Marie Traonouez},
editor = {Claude Jard and
Olivier H. Roux},
title = {Tools for Model-Checking Timed Systems},
booktitle = {Communicating Embedded Systems},
pages = {165--225},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188.ch6},
doi = {10.1002/9781118558188.CH6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BenattarBLMRS12,
author = {Gilles Benattar and
B{\'{e}}atrice B{\'{e}}rard and
Didier Lime and
John Mullins and
Olivier H. Roux and
Mathieu Sassolas},
title = {Channel Synthesis for Finite Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {6},
pages = {1241--1260},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400503},
doi = {10.1142/S0129054112400503},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/BenattarBLMRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/LimeRJ12,
author = {Didier Lime and
Olivier H. Roux and
Claude Jard},
editor = {Louchka Popova{-}Zeugmann},
title = {Clock Transition Systems},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {227--238},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0227.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/LimeRJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AkshayHJLR12,
author = {S. Akshay and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard and
Didier Lime and
Olivier H. Roux},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Robustness of Time Petri Nets under Architectural Constraints},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {11--26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_3},
doi = {10.1007/978-3-642-33365-1\_3},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/formats/AkshayHJLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/JovanovicFLR12,
author = {Aleksandra Jovanovic and
S{\'{e}}bastien Faucou and
Didier Lime and
Olivier H. Roux},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Real-time control with parametric timed reachability games},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {323--330},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00052},
doi = {10.3182/20121003-3-MX-4033.00052},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wodes/JovanovicFLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-4984,
author = {Gilles Benattar and
Franck Cassez and
Didier Lime and
Olivier H. Roux},
title = {Control and Synthesis of Non-Interferent Timed Systems},
journal = {CoRR},
volume = {abs/1207.4984},
year = {2012},
url = {http://arxiv.org/abs/1207.4984},
eprinttype = {arXiv},
eprint = {1207.4984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-4984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afl/BenattarBLMRS11,
author = {Gilles Benattar and
B{\'{e}}atrice B{\'{e}}rard and
Didier Lime and
John Mullins and
Olivier H. Roux and
Mathieu Sassolas},
editor = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Szabolcs Iv{\'{a}}n},
title = {Channel Synthesis for Finite Transducers},
booktitle = {Automata and Formal Languages, 13th International Conference, {AFL}
2011, Debrecen, Hungary, August 17-22, 2011, Proceedings},
pages = {79--92},
year = {2011},
timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
biburl = {https://dblp.org/rec/conf/afl/BenattarBLMRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TraonouezGJLR10,
author = {Louis{-}Marie Traonouez and
Bartosz Grabiec and
Claude Jard and
Didier Lime and
Olivier H. Roux},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Symbolic Unfolding of Parametric Stopwatch Petri Nets},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {291--305},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_22},
doi = {10.1007/978-3-642-15643-4\_22},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/TraonouezGJLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GrabiecTJLR10,
author = {Bartosz Grabiec and
Louis{-}Marie Traonouez and
Claude Jard and
Didier Lime and
Olivier H. Roux},
editor = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Diagnosis Using Unfoldings of Parametric Time Petri Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6246},
pages = {137--151},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15297-9\_12},
doi = {10.1007/978-3-642-15297-9\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/GrabiecTJLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BourkeDLLLNW10,
author = {Timothy Bourke and
Alexandre David and
Kim G. Larsen and
Axel Legay and
Didier Lime and
Ulrik Nyman and
Andrzej Wasowski},
editor = {Till Mossakowski and
Hans{-}J{\"{o}}rg Kreowski},
title = {New Results on Timed Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques - 20th International
Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {175--192},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-28412-0\_12},
doi = {10.1007/978-3-642-28412-0\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/BourkeDLLLNW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/TraonouezLR09,
author = {Louis{-}Marie Traonouez and
Didier Lime and
Olivier H. Roux},
title = {Parametric Model-Checking of Stopwatch Petri Nets},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {17},
pages = {3273--3304},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-17-3273},
doi = {10.3217/JUCS-015-17-3273},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/TraonouezLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LimeR09,
author = {Didier Lime and
Olivier H. Roux},
title = {Formal verification of real-time systems with preemptive scheduling},
journal = {Real Time Syst.},
volume = {41},
number = {2},
pages = {118--151},
year = {2009},
url = {https://doi.org/10.1007/s11241-008-9059-0},
doi = {10.1007/S11241-008-9059-0},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LimeR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BenattarCLR09,
author = {Gilles Benattar and
Franck Cassez and
Didier Lime and
Olivier H. Roux},
editor = {Jo{\"{e}}l Ouaknine and
Frits W. Vaandrager},
title = {Synthesis of Non-Interferent Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
{FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5813},
pages = {28--42},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04368-0\_5},
doi = {10.1007/978-3-642-04368-0\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BenattarCLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LimeRST09,
author = {Didier Lime and
Olivier H. Roux and
Charlotte Seidner and
Louis{-}Marie Traonouez},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Romeo: {A} Parametric Model-Checker for Petri Nets with Stopwatches},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {54--57},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_6},
doi = {10.1007/978-3-642-00768-2\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LimeRST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BerardCHLR08,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
title = {When are Timed Automata weakly timed bisimilar to Time Petri Nets?},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {202--220},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.030},
doi = {10.1016/J.TCS.2008.03.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BerardCHLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MagninLR08,
author = {Morgan Magnin and
Didier Lime and
Olivier H. Roux},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics
(Theory Paper)},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {307--326},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_21},
doi = {10.1007/978-3-540-68746-7\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/MagninLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/TraonouezLR08,
author = {Louis{-}Marie Traonouez and
Didier Lime and
Olivier H. Roux},
editor = {Franck Cassez and
Claude Jard},
title = {Parametric Model-Checking of Time Petri Nets with Stopwatches Using
the State-Class Graph},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {280--294},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_20},
doi = {10.1007/978-3-540-85778-5\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/TraonouezLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BerthomieuLRV07,
author = {Bernard Berthomieu and
Didier Lime and
Olivier H. Roux and
Fran{\c{c}}ois Vernadat},
title = {Reachability Problems and Abstract State Spaces for Time Petri Nets
with Stopwatches},
journal = {Discret. Event Dyn. Syst.},
volume = {17},
number = {2},
pages = {133--158},
year = {2007},
url = {https://doi.org/10.1007/s10626-006-0011-y},
doi = {10.1007/S10626-006-0011-Y},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/deds/BerthomieuLRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CassezDLLR07,
author = {Franck Cassez and
Alexandre David and
Kim Guldstrand Larsen and
Didier Lime and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Timed Control with Observation Based and Stuttering Invariant Strategies},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {192--206},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_15},
doi = {10.1007/978-3-540-75596-8\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/CassezDLLR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BehrmannCDFLL07,
author = {Gerd Behrmann and
Agn{\`{e}}s Cougnard and
Alexandre David and
Emmanuel Fleury and
Kim Guldstrand Larsen and
Didier Lime},
editor = {Werner Damm and
Holger Hermanns},
title = {UPPAAL-Tiga: Time for Playing Games!},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {121--125},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_14},
doi = {10.1007/978-3-540-73368-3\_14},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/BehrmannCDFLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/LimeR06,
author = {Didier Lime and
Olivier H. Roux},
title = {Model Checking of Time Petri Nets Using the State Class Timed Automaton},
journal = {Discret. Event Dyn. Syst.},
volume = {16},
number = {2},
pages = {179--205},
year = {2006},
url = {https://doi.org/10.1007/s10626-006-8133-9},
doi = {10.1007/S10626-006-8133-9},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/LimeR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LimeR06,
author = {Didier Lime and
Olivier H. Roux},
title = {V{\'{e}}rification formelle des syst{\`{e}}mes temps-r{\'{e}}el avec
ordonnancement pr{\'{e}}emptif},
journal = {Tech. Sci. Informatiques},
volume = {25},
number = {3},
pages = {343--370},
year = {2006},
url = {https://doi.org/10.3166/tsi.25.343-370},
doi = {10.3166/TSI.25.343-370},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/LimeR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BerardCHLR05,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Comparison of Different Semantics for Time Petri Nets},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {293--307},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_23},
doi = {10.1007/11562948\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BerardCHLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GardeyLMR05,
author = {Guillaume Gardey and
Didier Lime and
Morgan Magnin and
Olivier H. Roux},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Romeo: {A} Tool for Analyzing Time Petri Nets},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {418--423},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_41},
doi = {10.1007/11513988\_41},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GardeyLMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CassezDFLL05,
author = {Franck Cassez and
Alexandre David and
Emmanuel Fleury and
Kim Guldstrand Larsen and
Didier Lime},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Efficient On-the-Fly Algorithms for the Analysis of Timed Games},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {66--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_9},
doi = {10.1007/11539452\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/CassezDFLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BerardCHLR05,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
editor = {Paul Pettersson and
Wang Yi},
title = {Comparison of the Expressiveness of Timed Automata and Time Petri
Nets},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {211--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_17},
doi = {10.1007/11603009\_17},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BerardCHLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BerardCHLR05,
author = {B{\'{e}}atrice B{\'{e}}rard and
Franck Cassez and
Serge Haddad and
Didier Lime and
Olivier H. Roux},
editor = {Ramaswamy Ramanujam and
Sandeep Sen},
title = {When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?},
booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
Computer Science, 25th International Conference, Hyderabad, India,
December 15-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {273--284},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590156\_22},
doi = {10.1007/11590156\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BerardCHLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MagninLR06,
author = {Morgan Magnin and
Didier Lime and
Olivier H. Roux},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {An Efficient Method for Computing Exact State Space of Petri Nets
With Stopwatches},
booktitle = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {59--77},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.005},
doi = {10.1016/J.ENTCS.2006.01.005},
timestamp = {Fri, 16 Dec 2022 10:50:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MagninLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RouxL04,
author = {Olivier H. Roux and
Didier Lime},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State
Space Computation},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {371--390},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_21},
doi = {10.1007/978-3-540-27793-4\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/RouxL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LimeR04,
author = {Didier Lime and
Olivier H. Roux},
title = {A Translation Based Method for the Timed Analysis of Scheduling Extended
Time Petri Nets},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {187--196},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.9},
doi = {10.1109/REAL.2004.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LimeR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/LimeR03,
author = {Didier Lime and
Olivier H. Roux},
title = {State class timed automaton of a time Petri net},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {124--133},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231549},
doi = {10.1109/PNPM.2003.1231549},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/LimeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
