| |
| 2004 | ||
|---|---|---|
| 2 | EE | Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson: Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design 25(1): 39-65 (2004) |
| 2001 | ||
| 1 | EE | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355 |
| 1 | Parosh Aziz Abdulla | [2] |
| 2 | Ahmed Bouajjani | [1] [2] |
| 3 | Bengt Jonsson | [2] |
| 4 | Yassine Lakhnech | [1] |
| 5 | Mihaela Sighireanu | [1] |