The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Olivier H. Roux Olivier Henry Roux ( http://dblp.L3S.de/Authors/Olivier_H._Roux )

URL (Homepage):  http://pagesperso.ls2n.fr/~roux-o/  Author page on DBLP  Author page in RDF  Community of Olivier H. Roux in ASPL-2

Publication years (Num. hits)
1993-2006 (18) 2007-2009 (18) 2010-2013 (21) 2014-2016 (17) 2017-2019 (18)
Publication types (Num. hits)
article(36) book(1) incollection(2) inproceedings(52) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 51 occurrences of 29 keywords

Results
Found 93 publication records. Showing 92 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux A game approach to the parametric control of real-time systems. Search on Bibsonomy Int. J. Control The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Charlotte Seidner Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-Luc Béchennec, Didier Lime, Olivier H. Roux Control of DES with Urgency, Avoidability and Ineluctability. Search on Bibsonomy ACSD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xinwei Chai, Morgan Magnin, Olivier H. Roux A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun 0001, Louis-Marie Givel Testing Real-Time Systems With Runtime Enforcement. Search on Bibsonomy IEEE Design & Test The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Olivier H. Roux (eds.) Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux Pomsets and Unfolding of Reset Petri Nets. Search on Bibsonomy LATA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner Optimal-Cost Reachability Analysis Based on Time Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yrvann Emzivat, Javier Ibanez Guzman, Herve Illy, Philippe Martinet, Olivier H. Roux A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier Formal model-based conformance verification of an OSEK/VDX compliant RTOS. Search on Bibsonomy CoDIT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emna Ben Abdallah 0001, Tony Ribeiro, Morgan Magnin, Olivier H. Roux, Katsumi Inoue Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data. Search on Bibsonomy Algorithms The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas 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 Towards energy-proportional clouds partially powered by renewable energy. Search on Bibsonomy Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yrvann Emzivat, Javier Ibanez Guzman, Philippe Martinet, Olivier H. Roux Dynamic driving task fallback for an automated driving system whose ability to monitor the driving environment has been compromised. Search on Bibsonomy Intelligent Vehicles Symposium The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux Coverability Synthesis in Parametric Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yrvann Emzivat, Javier Ibañez-Guzmán, Philippe Martinet, Olivier H. Roux Adaptability of automated driving systems to the hazardous nature of road networks. Search on Bibsonomy ITSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner Optimal Reachability in Cost Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux Formal Model-Based Synthesis of Application-Specific Static RTOS. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johan Girault, Jean Jacques Loiseau, Olivier H. Roux On-line compositional controller synthesis for AGV. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Decision Problems for Parametric Timed Automata. Search on Bibsonomy ICFEM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux Probabilistic Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. Search on Bibsonomy FTSCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun 0001, Sébastien Faucou, Olivier H. Roux Testing real-time embedded software using runtime enforcement. Search on Bibsonomy SIES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux On the Expressiveness of Parametric Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Control and synthesis of non-interferent timed systems. Search on Bibsonomy Int. J. Control The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux Integer Parameter Synthesis for Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francisco Chinesta, Morgan Magnin, Olivier H. Roux, Amine Ammar, Elías Cueto Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. Search on Bibsonomy Entropy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux Discrete Parameters in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas 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 The EPOC Project - Energy Proportional and Opportunistic Computing System. Search on Bibsonomy SMARTGREENS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Louis-Marie Givel, Matthias Brun 0001, Camille Constant, Sébastien Faucou, Olivier H. Roux Use of Runtime Enforcement for the Test of Real-time Systems. Search on Bibsonomy HPCC/CSS/ICESS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux Discrete Parameters in Petri Nets (Informal Presentation). Search on Bibsonomy SynCoP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Étienne André, Didier Lime, Olivier H. Roux Integer-Complete Synthesis for Bounded Parametric Timed Automata. Search on Bibsonomy RP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Olivier Henry Roux Formal Synthesis of Optimal RTOS. Search on Bibsonomy HPCC/CSS/ICESS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Claude Jard, Didier Lime, Olivier H. Roux Blending Timed Formal Models with Clock Transition Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Olivier H. Roux Reactive embedded device driver synthesis using logical timed models. Search on Bibsonomy SIMULTECH The full citation details ... 2014 DBLP  BibTeX  RDF
1Didier Lime, Claude Martinez, Olivier H. Roux Shrinking of Time Petri nets. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez Symbolic unfolding of parametric stopwatch Petri nets. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux The expressive power of time Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Jirí Srba Models for Real-Time Embedded Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Claude Jard, Olivier H. Roux (eds.) Communicating Embedded Systems Search on Bibsonomy 2013 DBLP  DOI  BibTeX  RDF
1Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez Tools for Model-Checking Timed Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Didier Lime, Olivier H. Roux On Multi-enabledness in Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Didier Lime, Olivier H. Roux Integer Parameter Synthesis for Timed Automata. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Julien Tanguy, Jean-Luc Béchennec, Mikaël Briday, Sebastien Dube, Olivier H. Roux Device driver synthesis for embedded systems. Search on Bibsonomy ETFA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Control and Synthesis of Non-Interferent Timed Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas Channel Synthesis for Finite Transducers. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux, Claude Jard Clock Transition Systems. Search on Bibsonomy CS&P The full citation details ... 2012 DBLP  BibTeX  RDF
1Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux Real-time control with parametric timed reachability games. Search on Bibsonomy WODES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux FIFO time Petri nets for conflicts handling. Search on Bibsonomy WODES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux Robustness of Time Petri Nets under Architectural Constraints. Search on Bibsonomy FORMATS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cédrick Lelionnais, Matthias Brun 0001, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner Formal Behavioral Modeling of Real-time Operating Systems. Search on Bibsonomy ICEIS (2) The full citation details ... 2012 DBLP  BibTeX  RDF
1Claude Martinez, Olivier H. Roux Special issue on Modeling of Reactive Systems. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas Channel Synthesis for Finite Transducers. Search on Bibsonomy AFL The full citation details ... 2011 DBLP  BibTeX  RDF
1Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux Symbolic Unfolding of Parametric Stopwatch Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux Diagnosis Using Unfoldings of Parametric Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Morgan Magnin, Pierre Molinaro, Olivier H. Roux Expressiveness of Petri Nets with Stopwatches. Dense-time Part. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Morgan Magnin, Pierre Molinaro, Olivier H. Roux Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux Formal verification of real-time systems with preemptive scheduling. Search on Bibsonomy Real-Time Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata
1Louis-Marie Traonouez, Didier Lime, Olivier H. Roux Parametric Model-Checking of Stopwatch Petri Nets. Search on Bibsonomy J. UCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux TCTL Model Checking of Time Petri Nets. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux Time Arc Petri Nets and Their Analysis. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Time arc Petri nets, strong and weak semantics, state space abstraction, state zone graph
1Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
1Mylène Maurin, Morgan Magnin, Olivier H. Roux Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. Search on Bibsonomy BICoB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Stochastic ?-calculus, System biology, Genetic regulatory network
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Synthesis of Non-Interferent Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Synthesis, Non-Interference, Timed Automaton
1Marc Boyer, Olivier H. Roux On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Charlotte Seidner, Olivier H. Roux Formal Methods for Systems Engineering Behavior Models. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When are Timed Automata weakly timed bisimilar to Time Petri Nets? Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Morgan Magnin, Didier Lime, Olivier H. Roux Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
1Louis-Marie Traonouez, Didier Lime, Olivier H. Roux Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF state-class graph, model-checking, Time Petri nets, parameters, stopwatches
1Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux A Study of the AADL Mode Change Protocol. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches
1Guillaume Gardey, John Mullins, Olivier H. Roux Non-Interference Control Synthesis for Security Timed Automata. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marc Boyer, Olivier H. Roux Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux Model Checking of Time Petri Nets Using the State Class Timed Automaton. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Dense-time systems, Model-checking, Timed automata, Time petri nets
1Morgan Magnin, Didier Lime, Olivier H. Roux An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Olivier H. Roux Structural translation from Time Petri Nets to Timed Automata. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Guillaume Gardey, Olivier H. Roux, Olivier F. Roux State space computation and analysis of Time Petri Nets. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Olivier H. Roux Structural Translation from Time Petri Nets to Timed Automata. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Guillaume Gardey, Olivier H. Roux, Olivier F. Roux State Space Computation and Analysis of Time Petri Nets Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux Romeo: A Tool for Analyzing Time Petri Nets. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of Different Semantics for Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Bisimilarity, Expressiveness, Time Petri Nets
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
1Franck Cassez, Claire Pagetti, Olivier H. Roux A Timed Extension for ALTARICA. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Olivier H. Roux, Didier Lime Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. Search on Bibsonomy ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Didier Lime, Olivier H. Roux State class timed automaton of a time Petri net. Search on Bibsonomy PNPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Guillaume Gardey, Olivier H. Roux, Olivier F. Roux Using Zone Graph Method for Computing the State Space of a Time Petri Net. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
1Olivier H. Roux, David Delfieu, Pierre Molinaro Discrete time approach of time Petri nets for real-time systems analysis. Search on Bibsonomy ETFA (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pierre Molinaro, Olivier H. Roux Oreste : a Reliable Reactive Real-Time Language. Search on Bibsonomy SAFECOMP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #92 of 92 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license