 | 2008 |
|---|
| 8 |       | Wissam Mallouli,
Bachar Wehbi,
Ana R. Cavalli:
Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.
ADHOC-NOW 2008: 345-356 |
| 7 | | Wissam Mallouli,
Amel Mammar,
Ana R. Cavalli:
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines.
DS-RT 2008: 173-180 |
| 6 | | Ana R. Cavalli,
Edgardo Montes de Oca,
Wissam Mallouli,
Mounir Lallali:
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.
DS-RT 2008: 315-318 |
| 5 | | 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 | | Wissam Mallouli,
Ana R. Cavalli:
Testing Security Rules with Decomposable Activities.
HASE 2007: 149-155 |
| 3 | | 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 | | Bachar Wehbi,
Wissam Mallouli,
Ana R. Cavalli:
Light Client Management Protocol for Wireless Mesh Networks.
MDM 2006: 123 |
| 1 | | 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 |
