Search

Your search keyword '"Roux, Olivier H."' showing total 22 results

Search Constraints

Start Over You searched for: Author "Roux, Olivier H." Remove constraint Author: "Roux, Olivier H." Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
22 results on '"Roux, Olivier H."'

Search Results

1. On Multi-enabledness in Time Petri Nets

2. Integer Parameter Synthesis for Timed Automata

3. Robustness of Time Petri Nets under Architectural Constraints

4. Symbolic Unfolding of Parametric Stopwatch Petri Nets

5. Diagnosis Using Unfoldings of Parametric Time Petri Nets

6. Synthesis of Non-Interferent Timed Systems

7. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

8. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)

9. Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph

11. When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?

12. Romeo: A Tool for Analyzing Time Petri Nets

13. Comparison of the Expressiveness of Timed Automata and Time Petri Nets

15. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

Catalog

Books, media, physical & digital resources