A Validation Solution for Network Configuration. - Rudy Deca; Omar Cherkaoui; Daniel Puche (CNSR, 2004)

A Formal Validation Model for the Netconf Protocol. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire; Daniel Puche (DSOM, 2004)

Configuration Model for Network Management. - Rudy Deca; Omar Cherkaoui; Daniel Puche (Net-Con, 2004)

Modelling the Temporal Aspects of Network Configurations. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire; Daniel Puche (Net-Con, 2005)