Aurore Annichini

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
TReX: A Tool for Reachability Analysis of Complex Systems. CAV (2001)
Aurore Annichini, Eugene Asarin, Ahmed Bouajjani
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. CAV (2000)
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)
Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. TACAS (1999)