| 2001 |
|---|
| 4 | EE | Aurore Annichini,
Ahmed Bouajjani,
Mihaela Sighireanu:
TReX: A Tool for Reachability Analysis of Complex Systems.
CAV 2001: 368-372 |
| 2000 |
|---|
| 3 | | Aurore Annichini,
Eugene Asarin,
Ahmed Bouajjani:
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.
CAV 2000: 419-434 |
| 1999 |
|---|
| 2 | EE | Parosh Aziz Abdulla,
Aurore Annichini,
Saddek Bensalem,
Ahmed Bouajjani,
Peter Habermehl,
Yassine Lakhnech:
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.
CAV 1999: 146-159 |
| 1 | EE | Parosh Aziz Abdulla,
Aurore Annichini,
Ahmed Bouajjani:
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.
TACAS 1999: 208-222 |
