Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. - Parosh Aziz Abdulla; Aurore Annichini; Saddek Bensalem; Ahmed Bouajjani; Peter Habermehl; Yassine Lakhnech (CAV, 1999)

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. - Parosh Aziz Abdulla; Aurore Annichini; Ahmed Bouajjani (TACAS, 1999)

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. - Aurore Annichini; Eugene Asarin; Ahmed Bouajjani (CAV, 2000)

TReX: A Tool for Reachability Analysis of Complex Systems. - Aurore Annichini; Ahmed Bouajjani; Mihaela Sighireanu (CAV, 2001)

Analyzing Fair Parametric Extended Automata. - Ahmed Bouajjani; Aurore Collomb-Annichini; Yassine Lakhnech; Mihaela Sighireanu (SAS, 2001)

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre. - Aurore Collomb-Annichini (2001)

Using Forward Reachability Analysis for Verification of Lossy Channel Systems. - Parosh Aziz Abdulla; Aurore Collomb-Annichini; Ahmed Bouajjani; Bengt Jonsson 001 (Formal Methods Syst. Des., 2004)