Towards self-configuring networks, Proceedings DARPA Active Networks Conference and Exposition, 2002. ,
DOI : 10.1109/DANCE.2002.1003489
An Automated Formal Approach to Managing Dynamic Reconfiguration, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.37-46, 2006. ,
DOI : 10.1109/ASE.2006.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.110.6909
PoDIM: A Language for High-Level Configuration Management, pp.261-273, 2007. ,
The SmartFrog configuration management framework, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.16-25, 2009. ,
DOI : 10.1145/1496909.1496915
YANG -A Data Modeling Language for the Network Configuration Protocol (NETCONF), Internet Engineering Task Force, vol.6020, 2010. ,
DOI : 10.17487/rfc6020
Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation, DSOM, pp.159-170, 2004. ,
DOI : 10.1145/321250.321253
Cauldron: a policybased design tool, 7th IEEE International Workshop on Policies for Distributed Systems and Networks, pp.113-122, 2006. ,
Towards a validation framework for dynamic reconfiguration, 2010 International Conference on Network and Service Management, pp.314-317, 2010. ,
DOI : 10.1109/CNSM.2010.5691219
Available: http://www.eclipse.org/modeling/emf A Model-Based Approach to Validate Configurations at Runtime, Eclipse Modeling Framework Project 4th International Conference on Advances in System Testing and Validation Lifecycle, pp.2012-133, 2013. ,
Available: http://www.dresdenocl .org, Java TM Open Reliable Asynchronous Messaging (JORAM), vol.15, 2013. ,