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)

Automated Validation of Service Configuration on Network Devices. - Sylvain Hallé; Rudy Deca; Omar Cherkaoui; Roger Villemaire (MMNS, 2004)

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

Constraint-based model for network service provisioning. - Rudy Deca; Omar Cherkaoui; Yvon Savaria; Doug Slone (Ann. des Télécommunications, 2007)

Rule-Based Network Service Provisioning. - Rudy Deca; Omar Cherkaoui; Yvon Savaria (J. Networks, 2012)

A Logical Approach to Data-Aware Automated Sequence Generation. - Sylvain Hallé; Roger Villemaire; Omar Cherkaoui; Rudy Deca (Trans. Comput. Sci., 2012)

Constraint-based configuration complexity model for autonomic network configuration management. - Rudy Deca; Omar Cherkaoui; Yvon Savaria (GIIS, 2014)