Eric Lunaud Ngoupe

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Logical Reasoning

Lazy Evaluation

Network Configuration

Top Venues

J. Netw. Syst. Manag.

Publications

Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé
A Declarative Approach to Network Device Configuration Correctness. J. Netw. Syst. Manag. 25 (1) (2017)
Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher
A data model for management of network device configuration heterogeneity. IM (2015)
Eric Lunaud Ngoupe, Sylvain Stoesel, Clément Parisot, Sylvain Hallé, Petko Valtchev, Omar Cherkaoui, Pierre Boucher
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. ICECCS (2014)
Sylvain Hallé, Eric Lunaud Ngoupe, Roger Villemaire, Omar Cherkaoui
Distributed firewall anomaly detection through LTL model checking. IM (2013)
Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire
ValidMaker: A tool for managing device configurations using logical constraints. NOMS (2012)