2008 |
6 | EE | Wissam Mallouli,
Bachar Wehbi,
Ana R. Cavalli:
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.
ADHOC-NOW 2008: 345-356 |
5 | EE | Wissam Mallouli,
Fayçal Bessayah,
Ana R. Cavalli,
Azzedine Benameur:
Security Rules Specification and Analysis Based on Passive Testing.
GLOBECOM 2008: 2078-2083 |
2007 |
4 | EE | Wissam Mallouli,
Ana R. Cavalli:
Testing Security Rules with Decomposable Activities.
HASE 2007: 149-155 |
3 | EE | Wissam Mallouli,
Jean-Marie Orset,
Ana R. Cavalli,
Nora Cuppens-Boulahia,
Frédéric Cuppens:
A formal approach for testing security rules.
SACMAT 2007: 127-132 |
2006 |
2 | EE | Bachar Wehbi,
Wissam Mallouli,
Ana R. Cavalli:
Light Client Management Protocol for Wireless Mesh Networks.
MDM 2006: 123 |
1 | EE | Ana R. Cavalli,
Stéphane Maag,
Wissam Mallouli,
Mikael Marche,
Yves-Marie Quemener:
Application of Two Test Generation Tools to an Industrial Case Study.
TestCom 2006: 134-148 |