| 2009 |
|---|
| 4 | EE | Mylène Maurin,
Morgan Magnin,
Olivier H. Roux:
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus.
BICoB 2009: 282-294 |
| 2008 |
|---|
| 3 | EE | Morgan Magnin,
Didier Lime,
Olivier H. Roux:
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).
Petri Nets 2008: 307-326 |
| 2006 |
|---|
| 2 | EE | 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. 144(3): 59-77 (2006) |
| 2005 |
|---|
| 1 | EE | Guillaume Gardey,
Didier Lime,
Morgan Magnin,
Olivier H. Roux:
Romeo: A Tool for Analyzing Time Petri Nets.
CAV 2005: 418-423 |
