| |
| 2006 | ||
|---|---|---|
| 4 | EE | Baptiste Alcalde, Ana R. Cavalli: Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. ICN/ICONS/MCL 2006: 42 |
| 2005 | ||
| 3 | EE | Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli: An EFSM-Based Intrusion Detection System for Ad Hoc Networks. ATVA 2005: 400-413 |
| 2 | EE | Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli: Passive Testing - A Constrained Invariant Checking Approach. TestCom 2005: 9-22 |
| 2004 | ||
| 1 | EE | Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee: Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. FORTE 2004: 150-166 |
| 1 | Ana R. Cavalli | [1] [2] [3] [4] |
| 2 | Dongluo Chen | [1] |
| 3 | Davy Khuu | [1] |
| 4 | Behrouz Tork Ladani | [2] |
| 5 | David Lee | [1] |
| 6 | Jean-Marie Orset | [3] |