Aurore Annichini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1999–2001
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CAV | TReX: A Tool for Reachability Analysis of Complex Systems. | Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu |
| 2000 | CAV | Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. | Aurore Annichini, Eugene Asarin, Ahmed Bouajjani |
| 1999 | CAV | Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. | Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech |
| 1999 | TACAS | Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. | Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani |