Dependency solving: A separate concern in component evolution management, Journal of Systems and Software, vol.85, issue.10, pp.2228-2240, 2012. ,
DOI : 10.1016/j.jss.2012.02.018
General decidability theorems for infinitestate systems, LICS. pp. IEEE, pp.313-321, 1996. ,
Eclipse Plug-ins, 2008. ,
Component Reconfiguration in the Presence of Conflicts, 2013. ,
DOI : 10.1007/978-3-642-39212-2_19
URL : https://hal.archives-ouvertes.fr/hal-00909336
Package upgrades in FOSS distributions, Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, HotSWUp '08, p.8, 2008. ,
DOI : 10.1145/1490283.1490292
URL : https://hal.archives-ouvertes.fr/hal-00359847
Towards a Formal Component Model for the Cloud, SEFM 2012, pp.156-171, 2012. ,
DOI : 10.1007/978-3-642-33826-7_11
URL : https://hal.archives-ouvertes.fr/hal-00909369
Well-structured transition systems everywhere! Theoretical Computer Science, pp.63-92, 2001. ,
DOI : 10.1016/s0304-3975(00)00102-x
URL : http://doi.org/10.1016/s0304-3975(00)00102-x
Engage: a deployment management system. In: PLDI'12: Programming Language Design and Implementation, pp.263-274, 2012. ,
A declarative approach to automated configuration, LISA '12: Large Installation System Administration Conference, pp.51-66, 2012. ,
Puppet: Next-generation configuration management. ;login: the USENIX magazine, pp.19-25, 2006. ,
The Reachability Problem Requires Exponential Space, Research report, vol.62, 1976. ,
The covering and boundedness problems for vector addition systems, Theoretical Computer Science, vol.6, issue.2, pp.223-231, 1978. ,
DOI : 10.1016/0304-3975(78)90036-1