 | 2012 |
|---|
| 5 |       | Sylvain Hallé,
Roger Villemaire,
Omar Cherkaoui,
Rudy Deca:
A Logical Approach to Data-Aware Automated Sequence Generation.
Transactions on Computational Science 15: 192-216 (2012) |
| 2005 |
|---|
| 4 | | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire,
Daniel Puche:
Modelling the Temporal Aspects of Network Configurations.
Net-Con 2005: 269-282 |
| 2004 |
|---|
| 3 | | Rudy Deca,
Omar Cherkaoui,
Daniel Puche:
A Validation Solution for Network Configuration.
CNSR 2004: 273-275 |
| 2 | | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire,
Daniel Puche:
A Formal Validation Model for the Netconf Protocol.
DSOM 2004: 147-158 |
| 1 | | Sylvain Hallé,
Rudy Deca,
Omar Cherkaoui,
Roger Villemaire:
Automated Validation of Service Configuration on Network Devices.
MMNS 2004: 176-188 |
Data released under the ODC-BY 1.0 license — See also our legal information page