Eric Lunaud Ngoupe

According to our database1, Eric Lunaud Ngoupe authored at least 5 papers between 2012 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A Declarative Approach to Network Device Configuration Correctness.
J. Netw. Syst. Manag., 2017

2015
A data model for management of network device configuration heterogeneity.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

2014
A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2013
Distributed firewall anomaly detection through LTL model checking.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

2012
ValidMaker: A tool for managing device configurations using logical constraints.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012


  Loading...