| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Claude Martinez, Olivier H. Roux |
Special issue on Modeling of Reactive Systems.  |
Discrete Event Dynamic Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, Mathieu Sassolas |
Channel Synthesis for Finite Transducers. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Loïc Paulevé, Morgan Magnin, Olivier Roux |
Tuning Temporal Features within the Stochastic π-Calculus. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé, Morgan Magnin, Olivier Roux |
Abstract Interpretation of Dynamics of Biological Regulatory Networks. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé, Morgan Magnin, Olivier Roux |
Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. |
T. Comp. Sys. Biology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux |
Diagnosis Using Unfoldings of Parametric Time Petri Nets. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
Symbolic Unfolding of Parametric Stopwatch Petri Nets. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamil Ahmad, Olivier Roux |
Invariance kernel of Biological Regulatory Networks. |
IJDMB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis-Marie Traonouez, Didier Lime, Olivier H. Roux |
Parametric Model-Checking of Stopwatch Petri Nets. |
J. UCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux |
TCTL Model Checking of Time Petri Nets. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
Formal verification of real-time systems with preemptive scheduling. |
Real-Time Systems |
2009 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata |
| 1 | Morgan Magnin, Pierre Molinaro, Olivier H. Roux |
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Morgan Magnin, Pierre Molinaro, Olivier H. Roux |
Expressiveness of Petri Nets with Stopwatches. Dense-time Part. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez |
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches |
| 1 | Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux |
Time Arc Petri Nets and Their Analysis. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Time arc Petri nets, strong and weak semantics, state space abstraction, state zone graph |
| 1 | Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux |
Synthesis of Non-Interferent Timed Systems. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
Synthesis, Non-Interference, Timed Automaton |
| 1 | Mylène Maurin, Morgan Magnin, Olivier H. Roux |
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. |
BICoB |
2009 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, System biology, Genetic regulatory network |
| 1 | Thibaut Lust, Olivier Roux, Fouad Riane |
Exact and heuristic methods for the selective maintenance problem. |
European Journal of Operational Research |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamil Ahmad, Jérémie Bourdon, Damien Eveillard, Jonathan Fromentin, Olivier Roux, Christine Sinoquet |
Temporal constraints of a gene regulatory network: Refining a qualitative simulation. |
Biosystems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Duvivier, Olivier Roux, Arnauld Hanset |
Comparison of different tabu search operators on a highly constrained industrial problem. |
IJAOM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
When are Timed Automata weakly timed bisimilar to Time Petri Nets? |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlotte Seidner, Olivier H. Roux |
Formal Methods for Systems Engineering Behavior Models. |
IEEE Trans. Industrial Informatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Boyer, Olivier H. Roux |
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Morgan Magnin, Didier Lime, Olivier H. Roux |
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches |
| 1 | Louis-Marie Traonouez, Didier Lime, Olivier H. Roux |
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
state-class graph, model-checking, Time Petri nets, parameters, stopwatches |
| 1 | Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux |
A Study of the AADL Mode Change Protocol. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamil Ahmad, Olivier Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard |
Analysing formal models of genetic regulatory networks with delays. |
IJBRA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamil Ahmad, Olivier Roux |
Invariance Kernel of Biological Regulatory Networks. |
BIBM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Gardey, John Mullins, Olivier H. Roux |
Non-Interference Control Synthesis for Security Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat |
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. |
Discrete Event Dynamic Systems |
2007 |
DBLP DOI BibTeX RDF |
State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches |
| 1 | Marc Boyer, Olivier H. Roux |
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux |
Semantics of Biological Regulatory Networks. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Duvivier, Olivier Roux, V. Dhaevers, Nadine Meskens, Abdelhakim Artiba |
Multicriteria optimisation and simulation: an industrial application. |
Annals OR |
2007 |
DBLP DOI BibTeX RDF |
Stochastic optimisation, Simulation, Scheduling, Performance improvement, Multicriteria decision-making |
| 1 | Morgan Magnin, Didier Lime, Olivier H. Roux |
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Olivier H. Roux |
Structural translation from Time Petri Nets to Timed Automata. |
Journal of Systems and Software |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. |
Technique et Science Informatiques |
2006 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Gardey, Olivier H. Roux, Olivier F. Roux |
State space computation and analysis of Time Petri Nets. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
Model Checking of Time Petri Nets Using the State Class Timed Automaton. |
Discrete Event Dynamic Systems |
2006 |
DBLP DOI BibTeX RDF |
Dense-time systems, Model-checking, Timed automata, Time petri nets |
| 1 | Franck Cassez, Olivier H. Roux |
Structural Translation from Time Petri Nets to Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Gardey, Olivier H. Roux, Olivier F. Roux |
State Space Computation and Analysis of Time Petri Nets |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of the Expressiveness of Timed Automata and Time Petri Nets. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets |
| 1 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
| 1 | Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux |
Romeo: A Tool for Analyzing Time Petri Nets. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM |
| 1 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
Weak Timed Bisimilarity, Timed Automata, Time Petri Nets |
| 1 | Franck Cassez, Claire Pagetti, Olivier H. Roux |
A Timed Extension for ALTARICA. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Olivier H. Roux, Didier Lime |
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Lime, Olivier H. Roux |
A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. |
RTSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Armelle Prigent, Olivier Roux |
Testing Real-Time Parameterized Systems. |
Stud. Inform. Univ. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Gardey, Olivier H. Roux, Olivier F. Roux |
Using Zone Graph Method for Computing the State Space of a Time Petri Net. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
Verification, Reachability Analysis, Time Petri Nets, State Space, Zone |
| 1 | Michaël Adélaïde, Olivier Roux |
A Class of Decidable Parametric Hybrid Systems. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre |
Verification of Embedded Reactive Fiffo Systems. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux |
Extending the Translation from SDL to Promela. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
SDL formalism, save operator, model-checking, data abstraction |
| 1 | El-Ghazali Talbi, Olivier H. Roux, Cyril Fonlupt, D. Robillard |
Parallel Ant Colonies for the quadratic assignment problem. |
Future Generation Comp. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Herbreteau, Franck Cassez, Olivier Roux |
Application of Partial-Order Methods to Reactive Programs with Event Memorization. |
Real-Time Systems |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Adélaïde, Olivier Roux |
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Roux, Vlad Rusu, Franck Cassez |
Hybrid Verifications of Reactive Programs. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Model checking, Real time, Hybrid system, Asynchronism, Reactive system |
| 1 | El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Denis Robilliard |
Parallel Ant Colonies for Combinatorial Optimization Problems. |
IPPS/SPDP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Roux, Cyril Fonlupt, Denis Robilliard |
Co-operative Improvement for a Combinatorial Optimization Algorithm. |
Artificial Evolution |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Boisieau, Olivier Roux |
Splitting reachability analysis in hybrid automata. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez |
Effective Recognizability and Model Checking of Reactive Fiffo Automata. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu |
Analysis of Slope-Parametric Hybrid Automata. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Roux, Vlad Rusu |
Uniformity for the Decidability of Hybrid Automata. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Olivier Roux |
Compilation of the ELECTRE Reactive Language into Finite Transition Systems. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Roux, Vlad Rusu |
Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Bézivin, Olivier Roux, Jean-Claude Royer |
Teaching object-oriented programming or using the object model to teach software engineering. |
OOPS Messenger |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Perraud, Olivier Roux, Marc Huou |
Operational Semantics of a Kernel of the Language ELECTRE. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Richard, Olivier Roux |
An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Roux |
Another proposal for a concurrency control level in concurrent object-oriented languages. |
OOPS Messenger |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales |
Execution Environment for ELECTRE Applications. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | J. P. Elloy, Olivier Roux |
Electre: A Language for Control Structuring in Real Time. |
Comput. J. |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")