Olivier H. Roux

112 papers A* 1A 3B 17C 7Misc 1Journal 45Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On clock interval automata for a class of time PNs. Discret. Event Dyn. Syst. Jan Komenda, Dimitri Lefebvre, Olivier H. Roux
2026	J	`jnl`	Weakly strong semantics of Time Petri Nets and its algebraic description. Discret. Event Dyn. Syst. Jan Komenda, Sébastien Lahaye, Rémi Parrot, Olivier H. Roux
2025	B	`conf`	Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs. Petri Nets Didier Lime, Rémi Parrot, Olivier H. Roux
2025	J	`jnl`	Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches. Cybern. Syst. Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
2025	Misc	`conf`	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. SAC Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun
2024	—	`conf`	On Parametric DBMs and Their Applications to Time Petri Nets. QEST+FORMATS Loriane Leclercq, Didier Lime, Olivier H. Roux
2023	B	`conf`	A State Class Based Controller Synthesis Approach for Time Petri Nets. Petri Nets Loriane Leclercq, Didier Lime, Olivier H. Roux
2023	J	`jnl`	Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. Discret. Event Dyn. Syst. Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Olivier H. Roux
2023	J	`jnl`	Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata. CoRR Étienne André, Didier Lime, Olivier H. Roux
2023	J	`jnl`	Design and verification of pipelined circuits with Timed Petri Nets. Discret. Event Dyn. Syst. Rémi Parrot, Mikaël Briday, Olivier H. Roux
2023	J	`jnl`	Formal verification process of the compliance of a multicore AUTOSAR OS. Softw. Qual. J. Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
2023	—	`conf`	Timed Non-interference Under Partial Observability and Bounded Memory. FORMATS Anthony Spriet, Didier Lime, Olivier H. Roux
2022	J	`jnl`	Control of Real-Time Systems With Integer Parameters. IEEE Trans. Autom. Control. Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2022	C	`conf`	Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. ICFEM Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
2022	C	`conf`	High-level Colored Time Petri Nets for true concurrency modeling in real-time software. CoDIT Imane Haur, Jean-Luc Béchennec, Olivier H. Roux
2022	J	`jnl`	Reachability and liveness in parametric timed automata. Log. Methods Comput. Sci. Étienne André, Didier Lime, Olivier H. Roux
2021	B	`conf`	A Turn-Based Approach for Qualitative Time Concurrent Games. Petri Nets Serge Haddad, Didier Lime, Olivier H. Roux
2021	J	`jnl`	Cost Problems for Parametric Time Petri Nets. CoRR Didier Lime, Olivier H. Roux, Charlotte Seidner
2021	J	`jnl`	Cost Problems for Parametric Time Petri Nets. Fundam. Informaticae Didier Lime, Olivier H. Roux, Charlotte Seidner
2021	J	`jnl`	Logical time control of concurrent DES. Discret. Event Dyn. Syst. Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
2021	C	`conf`	Pipeline Optimization using a Cost Extension of Timed Petri Nets. ARITH Rémi Parrot, Mikaël Briday, Olivier H. Roux
2021	B	`conf`	Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Petri Nets Rémi Parrot, Mikaël Briday, Olivier H. Roux
2020	J	`jnl`	Reachability and liveness in parametric timed automata. CoRR Étienne André, Didier Lime, Olivier H. Roux
2019	J	`jnl`	A game approach to the parametric control of real-time systems. Int. J. Control Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2019	—	`conf`	Control of DES with Urgency, Avoidability and Ineluctability. ACSD Jean-Luc Béchennec, Didier Lime, Olivier H. Roux
2019	B	`conf`	Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Petri Nets Didier Lime, Olivier H. Roux, Charlotte Seidner
2019	J	`jnl`	Preface. Fundam. Informaticae Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux
2018	—	`conf`	A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. ITSC Yrvann Emzivat, Javier Ibañez-Guzmán, Herve Illy, Philippe Martinet, Olivier H. Roux
2018	J	`jnl`	A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR Xinwei Chai, Morgan Magnin, Olivier H. Roux
2018	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings Petri Nets Victor Khomenko, Olivier H. Roux
2018	—	`conf`	Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner
2018	C	`conf`	Pomsets and Unfolding of Reset Petri Nets. LATA Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
2018	J	`jnl`	Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel
2017	—	`conf`	Adaptability of automated driving systems to the hazardous nature of road networks. ITSC Yrvann Emzivat, Javier Ibañez-Guzmán, Philippe Martinet, Olivier H. Roux
2017	B	`conf`	Coverability Synthesis in Parametric Petri Nets. CONCUR Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2017	B	`conf`	Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised. Intelligent Vehicles Symposium Yrvann Emzivat, Javier Ibañez-Guzmán, Philippe Martinet, Olivier H. Roux
2017	J	`jnl`	Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Algorithms Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue
2017	—	`conf`	Optimal Reachability in Cost Time Petri Nets. FORMATS Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
2017	J	`jnl`	Towards energy-proportional clouds partially powered by renewable energy. Computing Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha
2016	—	`conf`	Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. FTSCS Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André
2016	C	`conf`	Decision Problems for Parametric Timed Automata. ICFEM Étienne André, Didier Lime, Olivier H. Roux
2016	—	`conf`	On the Expressiveness of Parametric Timed Automata. FORMATS Étienne André, Didier Lime, Olivier H. Roux
2016	J	`jnl`	On-line compositional controller synthesis for AGV. Discret. Event Dyn. Syst. Johan Girault, Jean Jacques Loiseau, Olivier H. Roux
2016	B	`conf`	Probabilistic Time Petri Nets. Petri Nets Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux
2016	—	`conf`	Testing real-time embedded software using runtime enforcement. SIES Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux
2015	J	`jnl`	Control and synthesis of non-interferent timed systems. Int. J. Control Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2015	—	`conf`	Discrete Parameters in Petri Nets (Informal Presentation). SynCoP Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015	B	`conf`	Discrete Parameters in Petri Nets. Petri Nets Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015	J	`jnl`	Integer Parameter Synthesis for Real-Time Systems. IEEE Trans. Software Eng. Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2015	—	`conf`	Integer-Complete Synthesis for Bounded Parametric Timed Automata. RP Étienne André, Didier Lime, Olivier H. Roux
2015	J	`jnl`	Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Entropy Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto
2015	—	`conf`	The EPOC Project - Energy Proportional and Opportunistic Computing System. SMARTGREENS Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha
2015	—	`conf`	Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
2014	J	`jnl`	Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae Claude Jard, Didier Lime, Olivier H. Roux
2014	C	`conf`	Reactive embedded device driver synthesis using logical timed models. SIMULTECH Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux
2013	—	`book`	Communicating Embedded Systems Claude Jard, Olivier H. Roux
2013	C	`conf`	Device driver synthesis for embedded systems. ETFA Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Sebastien Dube, Olivier H. Roux
2013	A	`conf`	Integer Parameter Synthesis for Timed Automata. TACAS Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2013	—	`ch.`	Models for Real-Time Embedded Systems. Communicating Embedded Systems Didier Lime, Olivier H. Roux, Jirí Srba
2013	B	`conf`	On Multi-enabledness in Time Petri Nets. Petri Nets Hanifa Boucheneb, Didier Lime, Olivier H. Roux
2013	J	`jnl`	Shrinking of Time Petri nets. Discret. Event Dyn. Syst. Didier Lime, Claude Martinez, Olivier H. Roux
2013	J	`jnl`	Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
2013	B	`conf`	Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. ATVA Aleksandra Jovanovic, Didier Lime, Olivier H. Roux
2013	J	`jnl`	The expressive power of time Petri nets. Theor. Comput. Sci. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2012	J	`jnl`	Channel Synthesis for Finite Transducers. Int. J. Found. Comput. Sci. Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
2012	—	`conf`	Clock Transition Systems. CS&P Didier Lime, Olivier H. Roux, Claude Jard
2012	J	`jnl`	Control and Synthesis of Non-Interferent Timed Systems CoRR Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2012	—	`conf`	FIFO time Petri nets for conflicts handling. WODES Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux
2012	—	`conf`	Formal Behavioral Modeling of Real-time Operating Systems. ICEIS (2) Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner
2012	—	`conf`	Real-time control with parametric timed reachability games. WODES Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux
2012	—	`conf`	Robustness of Time Petri Nets under Architectural Constraints. FORMATS S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
2011	—	`conf`	Channel Synthesis for Finite Transducers. AFL Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas
2011	J	`jnl`	Special issue on Modeling of Reactive Systems. Discret. Event Dyn. Syst. Claude Martinez, Olivier H. Roux
2010	—	`conf`	Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
2010	B	`conf`	Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
2009	J	`jnl`	Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Fundam. Informaticae Morgan Magnin, Pierre Molinaro, Olivier H. Roux
2009	J	`jnl`	Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Fundam. Informaticae Morgan Magnin, Pierre Molinaro, Olivier H. Roux
2009	J	`jnl`	Formal verification of real-time systems with preemptive scheduling. Real Time Syst. Didier Lime, Olivier H. Roux
2009	—	`conf`	Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB Mylène Maurin, Morgan Magnin, Olivier H. Roux
2009	J	`jnl`	Parametric Model-Checking of Stopwatch Petri Nets. J. Univers. Comput. Sci. Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
2009	A	`conf`	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
2009	—	`conf`	Synthesis of Non-Interferent Timed Systems. FORMATS Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
2009	J	`jnl`	TCTL Model Checking of Time Petri Nets. J. Log. Comput. Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux
2009	—	`conf`	Time Arc Petri Nets and Their Analysis. ACSD Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux
2008	B	`conf`	A Study of the AADL Mode Change Protocol. ICECCS Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux
2008	J	`jnl`	Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Ind. Informatics Charlotte Seidner, Olivier H. Roux
2008	J	`jnl`	On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Fundam. Informaticae Marc Boyer, Olivier H. Roux
2008	—	`conf`	Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
2008	B	`conf`	Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets Morgan Magnin, Didier Lime, Olivier H. Roux
2008	J	`jnl`	When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2007	—	`conf`	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN Marc Boyer, Olivier H. Roux
2007	J	`jnl`	Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
2006	J	`jnl`	Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discret. Event Dyn. Syst. Didier Lime, Olivier H. Roux
2006	J	`jnl`	State space computation and analysis of Time Petri Nets. Theory Pract. Log. Program. Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
2006	J	`jnl`	Structural translation from Time Petri Nets to Timed Automata. J. Syst. Softw. Franck Cassez, Olivier H. Roux
2006	J	`jnl`	Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Tech. Sci. Informatiques Didier Lime, Olivier H. Roux
2005	—	`conf`	An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. SoftMC@CAV Morgan Magnin, Didier Lime, Olivier H. Roux
2005	B	`conf`	Comparison of Different Semantics for Time Petri Nets. ATVA Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005	—	`conf`	Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2005	—	`conf`	Non-Interference Control Synthesis for Security Timed Automata. SecCO@CONCUR Guillaume Gardey, John Mullins, Olivier H. Roux
2005	A*	`conf`	Romeo: A Tool for Analyzing Time Petri Nets. CAV Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
2005	J	`jnl`	State Space Computation and Analysis of Time Petri Nets CoRR Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
2005	—	`conf`	When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
2004	J	`jnl`	A Timed Extension for ALTARICA. Fundam. Informaticae Franck Cassez, Claire Pagetti, Olivier H. Roux
2004	A	`conf`	A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS Didier Lime, Olivier H. Roux
2004	—	`conf`	Structural Translation from Time Petri Nets to Timed Automata. AVoCS Franck Cassez, Olivier H. Roux
2004	—	`conf`	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN Olivier H. Roux, Didier Lime
2003	—	`conf`	State class timed automaton of a time Petri net. PNPM Didier Lime, Olivier H. Roux
2003	—	`conf`	Using Zone Graph Method for Computing the State Space of a Time Petri Net. FORMATS Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
2001	—	`conf`	Discrete time approach of time Petri nets for real-time systems analysis. ETFA (2) Olivier H. Roux, David Delfieu, Pierre Molinaro
1993	B	`conf`	Oreste : a Reliable Reactive Real-Time Language. SAFECOMP Pierre Molinaro, Olivier H. Roux