ValidMaker: A tool for managing device configurations using logical constraints. - Sylvain Hallé; Eric Lunaud Ngoupe; Gaetan Nijdam; Omar Cherkaoui; Petko Valtchev; Roger Villemaire (NOMS, 2012)

Distributed firewall anomaly detection through LTL model checking. - Sylvain Hallé; Eric Lunaud Ngoupe; Roger Villemaire; Omar Cherkaoui (IM, 2013)

A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. - Eric Lunaud Ngoupe; Sylvain Stoesel; Clément Parisot; Sylvain Hallé; Petko Valtchev; Omar Cherkaoui; Pierre Boucher (ICECCS, 2014)

A data model for management of network device configuration heterogeneity. - Eric Lunaud Ngoupe; Sylvain Stoesel; Clément Parisot; Sylvain Hallé; Petko Valtchev; Omar Cherkaoui; Pierre Boucher (IM, 2015)

A Declarative Approach to Network Device Configuration Correctness. - Eric Lunaud Ngoupe; Clément Parisot; Sylvain Stoesel; Petko Valtchev; Roger Villemaire; Omar Cherkaoui; Pierre Boucher; Sylvain Hallé (J. Netw. Syst. Manag., 2017)