| 2003 |
|---|
| 5 | EE | Luca Aceto,
Patricia Bouyer,
Augusto Burgueño,
Kim Guldstrand Larsen:
The power of reachability testing for timed automata.
Theor. Comput. Sci. 300(1-3): 411-475 (2003) |
| 1998 |
|---|
| 4 | | Luca Aceto,
Patricia Bouyer,
Augusto Burgueño,
Kim Guldstrand Larsen:
The Power of Reachability Testing for Timed Automata.
FSTTCS 1998: 245-256 |
| 3 | EE | Luca Aceto,
Augusto Burgueño,
Kim Guldstrand Larsen:
Model Checking via Reachability Testing for Timed Automata.
TACAS 1998: 263-280 |
| 1997 |
|---|
| 2 | | Augusto Burgueño,
Vlad Rusu:
Task-System Analysis Using Slope-Parametric Hybrid Automata.
Euro-Par 1997: 1262-1273 |
| 1 | | Frédéric Boniol,
Augusto Burgueño,
Olivier Roux,
Vlad Rusu:
Analysis of Slope-Parametric Hybrid Automata.
HART 1997: 75-80 |
