default search action
BibTeX 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.