- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| c4 |      | Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu: TReX: A Tool for Reachability Analysis of Complex Systems. CAV 2001: 368-372 |
| 2000 | ||
| c3 | | Aurore Annichini, Eugene Asarin, Ahmed Bouajjani: Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. CAV 2000: 419-434 |
| 1999 | ||
| c2 | | 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 |
| c1 | | Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani: Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. TACAS 1999: 208-222 |
| 1 | Parosh Aziz Abdulla | |
| 2 | Eugene Asarin | |
| 3 | Saddek Bensalem | |
| 4 | Ahmed Bouajjani | |
| 5 | Peter Habermehl | |
| 6 | Yassine Lakhnech | |
| 7 | Mihaela Sighireanu |
Data released under the ODC-BY 1.0 license — See also our legal information page