default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Olivier H. Roux
@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}
}
@article{DBLP:journals/deds/ParrotBR23,
author = {R{\'{e}}mi Parrot and
Mika{\"{e}}l Briday and
Olivier H. Roux},
title = {Design and verification of pipelined circuits with Timed Petri Nets},
journal = {Discret. Event Dyn. Syst.},
volume = {33},
number = {1},
pages = {1--24},
year = {2023},
url = {https://doi.org/10.1007/s10626-022-00371-7},
doi = {10.1007/S10626-022-00371-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/ParrotBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BernabeuBBFR23,
author = {Antoine Bernabeu and
Jean{-}Luc B{\'{e}}chennec and
Mika{\"{e}}l Briday and
S{\'{e}}bastien Faucou and
Olivier H. Roux},
title = {Cost-optimal timed trace synthesis for scheduling of intermittent
embedded systems},
journal = {Discret. Event Dyn. Syst.},
volume = {33},
number = {1},
pages = {63--93},
year = {2023},
url = {https://doi.org/10.1007/s10626-022-00372-6},
doi = {10.1007/S10626-022-00372-6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BernabeuBBFR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/HaurBR23,
author = {Imane Haur and
Jean{-}Luc B{\'{e}}chennec and
Olivier H. Roux},
title = {Formal verification process of the compliance of a multicore {AUTOSAR}
{OS}},
journal = {Softw. Qual. J.},
volume = {31},
number = {2},
pages = {497--531},
year = {2023},
url = {https://doi.org/10.1007/s11219-023-09626-4},
doi = {10.1007/S11219-023-09626-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/HaurBR23.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}
}
@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/iandc/ChatainCDJR22,
author = {Thomas Chatain and
Maurice Comlan and
David Delfieu and
Lo{\"{\i}}g Jezequel and
Olivier Henri Roux},
title = {Pomset bisimulation and unfolding for reset Petri nets},
journal = {Inf. Comput.},
volume = {283},
pages = {104674},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2020.104674},
doi = {10.1016/J.IC.2020.104674},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ChatainCDJR22.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}
}
@inproceedings{DBLP:conf/codit/HaurBR22,
author = {Imane Haur and
Jean{-}Luc B{\'{e}}chennec and
Olivier H. Roux},
title = {High-level Colored Time Petri Nets for true concurrency modeling in
real-time software},
booktitle = {8th International Conference on Control, Decision and Information
Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022},
pages = {21--26},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CoDIT55151.2022.9803922},
doi = {10.1109/CODIT55151.2022.9803922},
timestamp = {Thu, 07 Jul 2022 17:05:48 +0200},
biburl = {https://dblp.org/rec/conf/codit/HaurBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HaurBR22,
author = {Imane Haur and
Jean{-}Luc B{\'{e}}chennec and
Olivier H. Roux},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Formal Verification of the Inter-core Synchronization of a Multi-core
{RTOS} Kernel},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {140--155},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_9},
doi = {10.1007/978-3-031-17244-1\_9},
timestamp = {Wed, 12 Oct 2022 08:57:48 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HaurBR22.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/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}
}
@inproceedings{DBLP:conf/apn/ParrotBR21,
author = {R{\'{e}}mi Parrot and
Mika{\"{e}}l Briday and
Olivier H. Roux},
editor = {Didier Buchs and
Josep Carmona},
title = {Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design},
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 = {55--75},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76983-3\_4},
doi = {10.1007/978-3-030-76983-3\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/ParrotBR21.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 = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HaddadLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/ParrotBR21,
author = {R{\'{e}}mi Parrot and
Mika{\"{e}}l Briday and
Olivier H. Roux},
title = {Pipeline Optimization using a Cost Extension of Timed Petri Nets},
booktitle = {28th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2021, Lyngby,
Denmark, June 14-16, 2021},
pages = {37--44},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ARITH51176.2021.00018},
doi = {10.1109/ARITH51176.2021.00018},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arith/ParrotBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/HaurBR21,
author = {Imane Haur and
Jean{-}Luc B{\'{e}}chennec and
Olivier Henri Roux},
editor = {Audrey Queudet and
Iain Bate and
Giuseppe Lipari},
title = {Formal schedulability analysis based on multi-core {RTOS} model},
booktitle = {RTNS'2021: 29th International Conference on Real-Time Networks and
Systems, Nantes, France, April 7-9, 2021},
pages = {216--225},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453417.3453437},
doi = {10.1145/3453417.3453437},
timestamp = {Mon, 26 Jul 2021 10:39:04 +0200},
biburl = {https://dblp.org/rec/conf/rtns/HaurBR21.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/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/fuin/KhomenkoKPR19,
author = {Victor Khomenko and
Jetty Kleijn and
Wojciech Penczek and
Olivier H. Roux},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {169},
number = {1-2},
pages = {v--vi},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1836},
doi = {10.3233/FI-2019-1836},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KhomenkoKPR19.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}
}
@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 = {Wed, 16 Oct 2019 14:14:54 +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}
}
@article{DBLP:journals/dt/BechennecFRBG18,
author = {Jean{-}Luc B{\'{e}}chennec and
S{\'{e}}bastien Faucou and
Olivier H. Roux and
Matthias Brun and
Louis{-}Marie Givel},
title = {Testing Real-Time Systems With Runtime Enforcement},
journal = {{IEEE} Des. Test},
volume = {35},
number = {4},
pages = {31--37},
year = {2018},
url = {https://doi.org/10.1109/MDAT.2018.2791801},
doi = {10.1109/MDAT.2018.2791801},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/BechennecFRBG18.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/codit/BechennecRG18,
author = {Jean{-}Luc B{\'{e}}chennec and
Olivier Henry Roux and
Tigori Kabland Toussaint Gautier},
title = {Formal model-based conformance verification of an {OSEK/VDX} compliant
{RTOS}},
booktitle = {5th International Conference on Control, Decision and Information
Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018},
pages = {628--634},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CoDIT.2018.8394813},
doi = {10.1109/CODIT.2018.8394813},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/codit/BechennecRG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/EmzivatGIMR18,
author = {Yrvann Emzivat and
Javier Iba{\~{n}}ez{-}Guzm{\'{a}}n and
Herve Illy and
Philippe Martinet and
Olivier H. Roux},
editor = {Wei{-}Bin Zhang and
Alexandre M. Bayen and
Javier J. S{\'{a}}nchez Medina and
Matthew J. Barth},
title = {A Formal Approach for the Design of a Dependable Perception System
for Autonomous Vehicles},
booktitle = {21st International Conference on Intelligent Transportation Systems,
{ITSC} 2018, Maui, HI, USA, November 4-7, 2018},
pages = {2452--2459},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ITSC.2018.8569903},
doi = {10.1109/ITSC.2018.8569903},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/EmzivatGIMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ChatainCDJR18,
author = {Thomas Chatain and
Maurice Comlan and
David Delfieu and
Lo{\"{\i}}g Jezequel and
Olivier H. Roux},
editor = {Shmuel Tomi Klein and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira},
title = {Pomsets and Unfolding of Reset Petri Nets},
booktitle = {Language and Automata Theory and Applications - 12th International
Conference, {LATA} 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10792},
pages = {258--270},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77313-1\_20},
doi = {10.1007/978-3-319-77313-1\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/ChatainCDJR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018,
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4},
doi = {10.1007/978-3-319-91268-4},
isbn = {978-3-319-91267-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07543,
author = {Xinwei Chai and
Morgan Magnin and
Olivier H. Roux},
title = {A Heuristic for Reachability Problem in Asynchronous Binary Automata
Networks},
journal = {CoRR},
volume = {abs/1804.07543},
year = {2018},
url = {http://arxiv.org/abs/1804.07543},
eprinttype = {arXiv},
eprint = {1804.07543},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/AbdallahRMRI17,
author = {Emna Ben Abdallah and
Tony Ribeiro and
Morgan Magnin and
Olivier H. Roux and
Katsumi Inoue},
title = {Modeling Delayed Dynamics in Biological Regulatory Networks from Time
Series Data},
journal = {Algorithms},
volume = {10},
number = {1},
pages = {8},
year = {2017},
url = {https://doi.org/10.3390/a10010008},
doi = {10.3390/A10010008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/AbdallahRMRI17.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}
}
@article{DBLP:journals/tecs/GautierBFR17,
author = {Tigori Kabland Toussaint Gautier and
Jean{-}Luc B{\'{e}}chennec and
S{\'{e}}bastien Faucou and
Olivier Henry Roux},
title = {Formal Model-Based Synthesis of Application-Specific Static {RTOS}},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {4},
pages = {97:1--97:25},
year = {2017},
url = {https://doi.org/10.1145/3015777},
doi = {10.1145/3015777},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/GautierBFR17.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/itsc/EmzivatIMR17,
author = {Yrvann Emzivat and
Javier Iba{\~{n}}ez{-}Guzm{\'{a}}n and
Philippe Martinet and
Olivier H. Roux},
title = {Adaptability of automated driving systems to the hazardous nature
of road networks},
booktitle = {20th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2017, Yokohama, Japan, October 16-19, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ITSC.2017.8317638},
doi = {10.1109/ITSC.2017.8317638},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/EmzivatIMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/EmzivatGMR17,
author = {Yrvann Emzivat and
Javier Iba{\~{n}}ez{-}Guzm{\'{a}}n and
Philippe Martinet and
Olivier H. Roux},
title = {Dynamic driving task fallback for an automated driving system whose
ability to monitor the driving environment has been compromised},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2017, Los Angeles, CA,
USA, June 11-14, 2017},
pages = {1841--1847},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IVS.2017.7995973},
doi = {10.1109/IVS.2017.7995973},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/EmzivatGMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/GiraultLR16,
author = {Johan Girault and
Jean Jacques Loiseau and
Olivier H. Roux},
title = {On-line compositional controller synthesis for {AGV}},
journal = {Discret. Event Dyn. Syst.},
volume = {26},
number = {4},
pages = {583--610},
year = {2016},
url = {https://doi.org/10.1007/s10626-015-0222-1},
doi = {10.1007/S10626-015-0222-1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/GiraultLR16.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/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/sies/GivelBBFR16,
author = {Louis{-}Marie Givel and
Jean{-}Luc B{\'{e}}chennec and
Matthias Brun and
S{\'{e}}bastien Faucou and
Olivier H. Roux},
title = {Testing real-time embedded software using runtime enforcement},
booktitle = {11th {IEEE} Symposium on Industrial Embedded Systems, {SIES} 2016,
Krakow, Poland, May 23-25, 2016},
pages = {199--204},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SIES.2016.7509430},
doi = {10.1109/SIES.2016.7509430},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/GivelBBFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/ChinestaMRAC15,
author = {Francisco Chinesta and
Morgan Magnin and
Olivier H. Roux and
Amine Ammar and
El{\'{\i}}as Cueto},
title = {Kinetic Theory Modeling and Efficient Numerical Simulation of Gene
Regulatory Networks Based on Qualitative Descriptions},
journal = {Entropy},
volume = {17},
number = {4},
pages = {1896--1915},
year = {2015},
url = {https://doi.org/10.3390/e17041896},
doi = {10.3390/E17041896},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/ChinestaMRAC15.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/hpcc/GautierBR15,
author = {Tigori Kabland Toussaint Gautier and
Jean{-}Luc B{\'{e}}chennec and
Olivier Henry Roux},
title = {Formal Synthesis of Optimal {RTOS}},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {977--983},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.96},
doi = {10.1109/HPCC-CSS-ICESS.2015.96},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/GautierBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/GivelBCFR15,
author = {Louis{-}Marie Givel and
Matthias Brun and
Camille Constant and
S{\'{e}}bastien Faucou and
Olivier H. Roux},
title = {Use of Runtime Enforcement for the Test of Real-time Systems},
booktitle = {17th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
Conference on Embedded Software and Systems, {ICESS} 2015, New York,
NY, USA, August 24-26, 2015},
pages = {984--990},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.143},
doi = {10.1109/HPCC-CSS-ICESS.2015.143},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/GivelBCFR15.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/simultech/TanguyBBR14,
author = {Julien Tanguy and
Jean{-}Luc B{\'{e}}chennec and
Mika{\"{e}}l Briday and
Olivier H. Roux},
title = {Reactive embedded device driver synthesis using logical timed models},
booktitle = {4th International Conference On Simulation And Modeling Methodologies,
Technologies And Applications, {SIMULTECH} 2014, Vienna, Austria,
August 28-30, 2014},
pages = {163--169},
publisher = {{IEEE}},
year = {2014},
url = {https://ieeexplore.ieee.org/document/7095014/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/simultech/TanguyBBR14.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/etfa/TanguyBBDR13,
author = {Julien Tanguy and
Jean{-}Luc B{\'{e}}chennec and
Mika{\"{e}}l Briday and
Sebastien Dube and
Olivier H. Roux},
editor = {Carla Seatzu},
title = {Device driver synthesis for embedded systems},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6647951},
doi = {10.1109/ETFA.2013.6647951},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/TanguyBBDR13.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}
}
@book{DBLP:books/wi/13/JR2013,
editor = {Claude Jard and
Olivier H. Roux},
title = {Communicating Embedded Systems},
publisher = {Wiley},
year = {2013},
url = {https://doi.org/10.1002/9781118558188},
doi = {10.1002/9781118558188},
isbn = {978-1-84821-143-8},
timestamp = {Tue, 02 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/wi/13/JR2013.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/iceis/LelionnaisBDRS12,
author = {C{\'{e}}drick Lelionnais and
Matthias Brun and
J{\'{e}}r{\^{o}}me Delatour and
Olivier H. Roux and
Charlotte Seidner},
editor = {Leszek A. Maciaszek and
Alfredo Cuzzocrea and
Jos{\'{e}} Cordeiro},
title = {Formal Behavioral Modeling of Real-time Operating Systems},
booktitle = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
- 1 July, 2012},
pages = {407--414},
publisher = {SciTePress},
year = {2012},
timestamp = {Fri, 01 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceis/LelionnaisBDRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BouchenebBR12,
author = {Hanifa Boucheneb and
Adrien Bullich 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 = {{FIFO} time Petri nets for conflicts handling},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {143--148},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00025},
doi = {10.3182/20121003-3-MX-4033.00025},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BouchenebBR12.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}
}
@article{DBLP:journals/deds/MartinezR11,
author = {Claude Martinez and
Olivier H. Roux},
title = {Special issue on Modeling of Reactive Systems},
journal = {Discret. Event Dyn. Syst.},
volume = {21},
number = {3},
pages = {305--306},
year = {2011},
url = {https://doi.org/10.1007/s10626-011-0108-9},
doi = {10.1007/S10626-011-0108-9},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/MartinezR11.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}
}
@article{DBLP:journals/fuin/MagninMR09,
author = {Morgan Magnin and
Pierre Molinaro and
Olivier H. Roux},
title = {Expressiveness of Petri Nets with Stopwatches. Dense-time Part},
journal = {Fundam. Informaticae},
volume = {97},
number = {1-2},
pages = {111--138},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-194},
doi = {10.3233/FI-2009-194},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MagninMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MagninMR09a,
author = {Morgan Magnin and
Pierre Molinaro and
Olivier H. Roux},
title = {Expressiveness of Petri Nets with Stopwatches. Discrete-time Part},
journal = {Fundam. Informaticae},
volume = {97},
number = {1-2},
pages = {139--176},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-195},
doi = {10.3233/FI-2009-195},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MagninMR09a.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/logcom/BouchenebGR09,
author = {Hanifa Boucheneb and
Guillaume Gardey and
Olivier H. Roux},
title = {{TCTL} Model Checking of Time Petri Nets},
journal = {J. Log. Comput.},
volume = {19},
number = {6},
pages = {1509--1540},
year = {2009},
url = {https://doi.org/10.1093/logcom/exp036},
doi = {10.1093/LOGCOM/EXP036},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BouchenebGR09.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/acsd/RakkayBR09,
author = {Hind Rakkay and
Hanifa Boucheneb and
Olivier H. Roux},
title = {Time Arc Petri Nets and Their Analysis},
booktitle = {Ninth International Conference on Application of Concurrency to System
Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
pages = {138--147},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ACSD.2009.21},
doi = {10.1109/ACSD.2009.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/RakkayBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bicob/MaurinMR09,
author = {Myl{\`{e}}ne Maurin and
Morgan Magnin and
Olivier H. Roux},
editor = {Sanguthevar Rajasekaran},
title = {Modeling of Genetic Regulatory Network in Stochastic pi-Calculus},
booktitle = {Bioinformatics and Computational Biology, First International Conference,
BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5462},
pages = {282--294},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00727-9\_27},
doi = {10.1007/978-3-642-00727-9\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/bicob/MaurinMR09.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/fuin/BoyerR08,
author = {Marc Boyer and
Olivier H. Roux},
title = {On the Compared Expressiveness of Arc, Place and Transition Time Petri
Nets},
journal = {Fundam. Informaticae},
volume = {88},
number = {3},
pages = {225--249},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-3-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BoyerR08.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}
}
@article{DBLP:journals/tii/SeidnerR08,
author = {Charlotte Seidner and
Olivier H. Roux},
title = {Formal Methods for Systems Engineering Behavior Models},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {4},
number = {4},
pages = {280--291},
year = {2008},
url = {https://doi.org/10.1109/TII.2008.2008998},
doi = {10.1109/TII.2008.2008998},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/SeidnerR08.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}
}
@inproceedings{DBLP:conf/iceccs/BertrandDFR08,
author = {Dominique Bertrand and
Anne{-}Marie D{\'{e}}planche and
S{\'{e}}bastien Faucou and
Olivier H. Roux},
title = {A Study of the {AADL} Mode Change Protocol},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {288--293},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.29},
doi = {10.1109/ICECCS.2008.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BertrandDFR08.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/apn/BoyerR07,
author = {Marc Boyer and
Olivier H. Roux},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Comparison of the Expressiveness of Arc, Place and Transition Time
Petri Nets},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {63--82},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_7},
doi = {10.1007/978-3-540-73094-1\_7},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BoyerR07.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/jss/CassezR06,
author = {Franck Cassez and
Olivier H. Roux},
title = {Structural translation from Time Petri Nets to Timed Automata},
journal = {J. Syst. Softw.},
volume = {79},
number = {10},
pages = {1456--1468},
year = {2006},
url = {https://doi.org/10.1016/j.jss.2005.12.021},
doi = {10.1016/J.JSS.2005.12.021},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/CassezR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GardeyRR06,
author = {Guillaume Gardey and
Olivier H. Roux and
Olivier F. Roux},
title = {State space computation and analysis of Time Petri Nets},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {3},
pages = {301--320},
year = {2006},
url = {https://doi.org/10.1017/S147106840600264X},
doi = {10.1017/S147106840600264X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GardeyRR06.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/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/GardeyMR07,
author = {Guillaume Gardey and
John Mullins and
Olivier H. Roux},
editor = {Michael Backes and
Andre Scedrov},
title = {Non-Interference Control Synthesis for Security Timed Automata},
booktitle = {Proceedings of the International Workshop on Security and Concurrency,
SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {1},
pages = {35--53},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.046},
doi = {10.1016/J.ENTCS.2005.05.046},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GardeyMR07.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}
}
@article{DBLP:journals/corr/abs-cs-0505023,
author = {Guillaume Gardey and
Olivier H. Roux and
Olivier F. Roux},
title = {State Space Computation and Analysis of Time Petri Nets},
journal = {CoRR},
volume = {abs/cs/0505023},
year = {2005},
url = {http://arxiv.org/abs/cs/0505023},
eprinttype = {arXiv},
eprint = {cs/0505023},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CassezPR04,
author = {Franck Cassez and
Claire Pagetti and
Olivier H. Roux},
title = {A Timed Extension for {ALTARICA}},
journal = {Fundam. Informaticae},
volume = {62},
number = {3-4},
pages = {291--332},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-3-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CassezPR04.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:journals/entcs/CassezR05,
author = {Franck Cassez and
Olivier H. Roux},
editor = {Michael Huth},
title = {Structural Translation from Time Petri Nets to Timed Automata},
booktitle = {Proceedings of the Fouth International Workshop on Automated Verification
of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {6},
pages = {145--160},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.04.009},
doi = {10.1016/J.ENTCS.2005.04.009},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CassezR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GardeyRR03,
author = {Guillaume Gardey and
Olivier H. Roux and
Olivier F. Roux},
editor = {Kim Guldstrand Larsen and
Peter Niebert},
title = {Using Zone Graph Method for Computing the State Space of a Time Petri
Net},
booktitle = {Formal Modeling and Analysis of Timed Systems: First International
Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2791},
pages = {246--259},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40903-8\_20},
doi = {10.1007/978-3-540-40903-8\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/GardeyRR03.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}
}
@inproceedings{DBLP:conf/etfa/RouxDM01,
author = {Olivier H. Roux and
David Delfieu and
Pierre Molinaro},
title = {Discrete time approach of time Petri nets for real-time systems analysis},
booktitle = {Proceedings of 8th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2001, October 15-18, 2001, Antibes/Juan
les Pins, France - Volume 2},
pages = {197--204},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ETFA.2001.997686},
doi = {10.1109/ETFA.2001.997686},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/RouxDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MolinaroR93,
author = {Pierre Molinaro and
Olivier H. Roux},
editor = {Janusz G{\'{o}}rski},
title = {Oreste : a Reliable Reactive Real-Time Language},
booktitle = {The 12th International Conference on Computer Safety, Reliability
and Security, {SAFECOMP} 1993, Pozna{\'{n}}-Kiekrz, Poland, October
27-29, 1993},
pages = {302--310},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-2061-2\_30},
doi = {10.1007/978-1-4471-2061-2\_30},
timestamp = {Mon, 24 Jun 2019 15:52:03 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MolinaroR93.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.
last updated on 2024-09-21 23:42 CEST 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:
