| 2005 |
|---|
| 4 | EE | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire,
Daniel Puche:
Modelling the Temporal Aspects of Network Configurations.
Net-Con 2005: 269-282 |
| 2004 |
|---|
| 3 | EE | Rudy Deca,
Omar Cherkaoui,
Daniel Puche:
A Validation Solution for Network Configuration.
CNSR 2004: 273-275 |
| 2 | EE | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire,
Daniel Puche:
A Formal Validation Model for the Netconf Protocol.
DSOM 2004: 147-158 |
| 1 | EE | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire:
Automated Validation of Service Configuration on Network Devices.
MMNS 2004: 176-188 |
