| 2009 |
|---|
| 8 | EE | Franck Cassez,
Jan Jakob Jessen,
Kim Guldstrand Larsen,
Jean-François Raskin,
Pierre-Alain Reynier:
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
HSCC 2009: 90-104 |
| 2008 |
|---|
| 7 | EE | Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier:
Robust Analysis of Timed Automata ViaChannel Machines.
FoSSaCS 2008: 157-171 |
| 6 | EE | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Timed Petri nets and timed automata: On the discriminating power of zeno sequences.
Inf. Comput. 206(1): 73-107 (2008) |
| 2006 |
|---|
| 5 | EE | Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad:
Extended Timed Automata and Time Petri Nets.
ACSD 2006: 91-100 |
| 4 | EE | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Timed Unfoldings for Networks of Timed Automata.
ATVA 2006: 292-306 |
| 3 | EE | Patricia Bouyer,
Serge Haddad,
Pierre-Alain Reynier:
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.
ICALP (2) 2006: 420-431 |
| 2 | EE | Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier:
Robust Model-Checking of Linear-Time Properties in Timed Automata.
LATIN 2006: 238-249 |
| 2005 |
|---|
| 1 | EE | Patricia Bouyer,
François Laroussinie,
Pierre-Alain Reynier:
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.
FORMATS 2005: 112-126 |
