22 results on '"Roux, Olivier H."'
Search Results
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
10. Synthesis of Non-interferent Distributed Systems
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
14. Using Zone Graph Method for Computing the State Space of a Time Petri Net
15. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
16. On Multi-enabledness in Time Petri Nets
17. Integer Parameter Synthesis for Timed Automata
18. Symbolic Unfolding of Parametric Stopwatch Petri Nets
19. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
20. Romeo: A Tool for Analyzing Time Petri Nets
21. Synthesis of Non-interferent Distributed Systems
22. Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.