The NIST definition of cloud computing, 2011. ,
DOI : 10.6028/NIST.SP.800-145
A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010. ,
DOI : 10.1145/1721654.1721672
Disruptive technologies: a business model perspective on cloud computing. Technology Analysis & Strategic Management, pp.1161-1173, 2013. ,
Cloud computing ? the business perspective Decision Support Systems, pp.176-189, 2011. ,
Cloud computing as a facilitator of sme entrepreneurship Technology Analysis & Strategic Management, pp.87-101, 2015. ,
Cloud Computing Security: From Single to Multi-clouds, 2012 45th Hawaii International Conference on System Sciences, pp.5490-5499, 2012. ,
DOI : 10.1109/HICSS.2012.153
Inter-cloud architectures and application brokering: taxonomy and survey. Software: Practice and Experience, pp.369-390, 2014. ,
DOI : 10.1002/spe.2168
URL : http://onlinelibrary.wiley.com/doi/10.1002/spe.2168/pdf
Consuming Resources and Services from Multiple Clouds, Journal of Grid Computing, vol.28, issue.8, pp.321-345, 2014. ,
DOI : 10.1016/j.future.2012.02.005
Interconnected cloud computing environments: Challenges, taxonomy, and survey, ACM Comput. Surv, vol.477, issue.1, pp.1-7, 2014. ,
Mapping cross-cloud systems: Challenges and opportunities, Proceedings of the 8th USENIX Conference on Hot Topics in Cloud Computing, HotCloud'16, pp.77-83 ,
Experiences in building a mOSAIC of clouds, Journal of Cloud Computing: Advances, Systems and Applications, p.12, 2013. ,
DOI : 10.1145/2331576.2331584
URL : https://journalofcloudcomputing.springeropen.com/track/pdf/10.1186/2192-113X-2-12?site=journalofcloudcomputing.springeropen.com
SeaClouds, ACM SIGSOFT Software Engineering Notes, vol.39, issue.1, pp.1-4, 2014. ,
DOI : 10.1145/2557833.2557844
CloudMF: Applying MDE to Tame the Complexity of Managing Multi-cloud Applications, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, pp.269-277, 2014. ,
DOI : 10.1109/UCC.2014.36
Multi-Cloud Provisioning and Load Distribution for Three-Tier Applications, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.3, pp.1-13, 2014. ,
DOI : 10.1002/9780470940105.ch18
Application delivery in multi-cloud environments using software defined networking, Communications and Networking in the Cloud, pp.166-186, 2014. ,
DOI : 10.1016/j.comnet.2013.12.005
Pattern-based multi-cloud architecture migration. Software: Practice and Experience, pp.1159-1184, 2017. ,
DOI : 10.1002/spe.2442
Dynamic cloud service selection using an adaptive learning mechanism in multi-cloud computing, Journal of Systems and Software, vol.100, pp.195-210, 2015. ,
DOI : 10.1016/j.jss.2014.10.047
A cloud brokerage approach for solving the resource management problem in multi-cloud environments, Computers & Industrial Engineering, vol.95, pp.16-26, 2016. ,
DOI : 10.1016/j.cie.2016.02.015
Location-aware brokering for consumers in multi-cloud computing environments, Journal of Network and Computer Applications, pp.79-93, 2017. ,
DOI : 10.1016/j.jnca.2017.07.010
Model- Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach, pp.978-981, 2017. ,
DOI : 10.1007/978-3-319-46031-4
Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method, Cluster Computing, vol.31, issue.3, pp.1951-1976, 2017. ,
DOI : 10.1016/j.comcom.2007.08.033
URL : https://hal.archives-ouvertes.fr/hal-01528764
Dynamic placement of virtual machines for cost optimization in multi-cloud environments, High Performance Computing and Simulation (HPCS), 2011 International Conference on, pp.1-7, 2011. ,
DOI : 10.1109/hpcsim.2011.5999800
Automated configuration support for infrastructure migration to the cloud, Future Generation Computer Systems, vol.55, pp.200-212, 2016. ,
DOI : 10.1016/j.future.2015.03.006
Cloud service selection based on variability modeling. Service-Oriented Computing, pp.127-141, 2012. ,
DOI : 10.1007/978-3-642-34321-6_9
Model-driven auto-scaling of green cloud computing infrastructure, Future Generation Computer Systems, vol.28, issue.2, pp.371-378, 2012. ,
DOI : 10.1016/j.future.2011.05.009
URL : http://www.dre.vanderbilt.edu/~schmidt/PDF/Model-driven-Auto-scaling-of-Green-Cloud-Computing-Infrastructure.pdf
SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, pp.55-78, 2016. ,
DOI : 10.1002/spe.2311
URL : https://hal.archives-ouvertes.fr/hal-01011039
Software Product Line Engineering: Foundations, Principles and Techniques, p.9783642063640, 2010. ,
DOI : 10.1007/3-540-28901-1
Towards Model-Driven Provisioning, Deployment, Monitoring, and Adaptation of Multi-cloud Systems, 2013 IEEE Sixth International Conference on Cloud Computing, pp.887-894, 2013. ,
DOI : 10.1109/CLOUD.2013.133
URL : http://www.intercloudtestbed.org/uploads/2/1/3/9/21396364/towards_model-driven_provisioning_deployment_monitoring_and_adaptation_of_multi-cloud_systems.pdf
Multi-Cloud, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, MultiCloud '13, pp.1-6, 2013. ,
DOI : 10.1145/2462326.2462328
SOA: Principles of Service Design, 2007. ,
Automated Setup of Multi-cloud Environments for Microservices Applications, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD), pp.327-334, 2016. ,
DOI : 10.1109/CLOUD.2016.0051
URL : https://hal.archives-ouvertes.fr/hal-01312606
Extending Dynamic Software Product Lines with Temporal Constraints, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.129-139, 2017. ,
DOI : 10.1109/SEAMS.2017.6
URL : https://hal.archives-ouvertes.fr/hal-01482014
Extending feature models with relative cardinalities, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, pp.79-88, 2016. ,
DOI : 10.1007/978-3-540-68073-4_18
URL : https://hal.archives-ouvertes.fr/hal-01312751
Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility, Future Generation Computer Systems, vol.25, issue.6, pp.599-616, 2009. ,
DOI : 10.1016/j.future.2008.12.001
URL : http://www.gridbus.org/reports/CloudITPlatforms2008.pdf
A vision for better cloud applications, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, MultiCloud '13, pp.7-12, 2013. ,
DOI : 10.1145/2462326.2462329
Antonis Papaioannou, Dimitris Plexousakis, and Chrysostomos Zeginis Lifecycle management of service-based applications on multi-clouds: a research roadmap, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, pp.13-20, 2013. ,
DOI : 10.1145/2462326.2462331
Towards Cross-Layer Monitoring of Multi-Cloud Service-Based Applications, European Conference on Service-Oriented and Cloud Computing, pp.188-195, 2013. ,
DOI : 10.1007/978-3-642-40651-5_16
Multi-cloud Application Design through Cloud Service Composition, 2015 IEEE 8th International Conference on Cloud Computing, pp.686-693, 2015. ,
DOI : 10.1109/CLOUD.2015.96
Beyond Mere Application Structure Thoughts on the Future of Cloud Orchestration Tools, Procedia Computer Science, vol.68, pp.151-162, 2015. ,
DOI : 10.1016/j.procs.2015.09.231
URL : https://doi.org/10.1016/j.procs.2015.09.231
Experiences from building a cross-cloud orchestration tool, Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, CrossCloud '16, pp.1-4 ,
DOI : 10.1109/CloudCom.2014.170
The cloud application modelling and execution language (camel), 2017. ,
MODAClouds: A model-driven approach for the design and execution of applications on multiple Clouds, 2012 4th International Workshop on Modeling in Software Engineering (MISE), pp.50-56, 2012. ,
DOI : 10.1109/MISE.2012.6226014
A Model-Driven DevOps Framework for QoS-Aware Cloud Applications, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp.345-351, 2015. ,
DOI : 10.1109/SYNASC.2015.60
URL : https://re.public.polimi.it/bitstream/11311/978121/1/MICAS2015.pdf
The evolution of cloudml and its manifestations, Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE), pp.1-6, 2015. ,
Managing multi-cloud systems with CloudMF, Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, pp.38-45, 2013. ,
DOI : 10.1145/2513534.2513542
Franck Chauvel, and Arnor Solberg. Towards bridging the gap between scalability and elasticity, CLOSER, pp.746-751, 2014. ,
Continous deployment of multi-cloud systems, Proceedings of the 1st International Workshop on Quality-Aware DevOps, QUDOS 2015, pp.27-28, 2015. ,
DOI : 10.1007/978-1-4302-4570-4
Building a Mosaic of Clouds, European Conference on Parallel Processing, pp.571-578, 2010. ,
DOI : 10.1109/MIC.2009.94
A Cloud Agency for SLA Negotiation and Management, European Conference on Parallel Processing, pp.587-594, 2010. ,
DOI : 10.1007/s10723-006-9049-1
Cloud Application Monitoring: The mOSAIC Approach, 2011 IEEE Third International Conference on Cloud Computing Technology and Science, pp.758-763, 2011. ,
DOI : 10.1109/CloudCom.2011.117
An analysis of mosaic ontology for cloud resources annotation, Computer Science and Information Systems (FedCSIS), 2011 Federated Conference on, pp.973-980, 2011. ,
DOI : 10.1201/b11149-24
Building an interoperability API for Sky computing, 2011 International Conference on High Performance Computing & Simulation, pp.405-411, 2011. ,
DOI : 10.1109/HPCSim.2011.5999853
Towards a Semantic Engine for Cloud Applications Development, 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, pp.198-203, 2012. ,
DOI : 10.1109/CISIS.2012.159
Experiences in Building an Event-Driven and Deployable Platform as a Service, International Conference on Web Information Systems Engineering, pp.666-672, 2012. ,
DOI : 10.1007/978-3-642-35063-4_51
Vendor agents for iaas cloud interoperability. Intelligent Distributed Computing VI, pp.271-280, 2013. ,
DOI : 10.1007/978-3-642-32524-3_34
Portable Cloud applications???From theory to practice, Future Generation Computer Systems, vol.29, issue.6, pp.1417-1430, 2013. ,
DOI : 10.1016/j.future.2012.01.009
Multi-cloud resource management: cloud service interfacing, Journal of Cloud Computing: Advances, Systems and Applications, vol.3, issue.1, p.3, 2014. ,
DOI : 10.1016/j.future.2012.01.009
Semantic Engine and Cloud Agency for Vendor Agnostic Retrieval, Discovery, and Brokering of Cloud Services, International Conference on Intelligent Cloud Computing, pp.8-25, 2014. ,
DOI : 10.1007/978-3-319-19848-4_2
Cloud4SOA: Multi-cloud Application Management Across PaaS Offerings, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.407-414, 2012. ,
DOI : 10.1109/SYNASC.2012.65
Panagiotis Gouvas, Giannis Ledakis, Franco Ravagli, Oleksandr Lobunets, et al. Cloud4soa: A semantic-interoperability paas solution for multi-cloud platform management and portability, European Conference on Service-Oriented and Cloud Computing, pp.64-78, 2013. ,
Cloud PaaS Brokering in Action: The Cloud4SOA Management Infrastructure, 2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall), pp.2015-82, 2015. ,
DOI : 10.1109/VTCFall.2015.7390868
A Federated Multi-cloud PaaS Infrastructure, 2012 IEEE Fifth International Conference on Cloud Computing, pp.392-399, 2012. ,
DOI : 10.1109/CLOUD.2012.79
URL : https://hal.archives-ouvertes.fr/hal-00694700
soCloud: a service-oriented component-based PaaS for managing portability, provisioning, elasticity, and high availability across multiple clouds, Computing, vol.1, issue.1, pp.98539-565, 2016. ,
DOI : 10.1007/s13174-010-0007-6
URL : https://hal.archives-ouvertes.fr/hal-01019385
Adaptive management of applications across multiple clouds: The SeaClouds Approach, CLEI electronic journal, vol.18, issue.1, pp.2-2, 2015. ,
DOI : 10.19153/cleiej.18.1.1
URL : https://doi.org/10.19153/cleiej.18.1.1
Seaclouds project d3.3 -seaclouds discovery and adaptation components prototype, 2015. ,
Seaclouds project d5.4.3 -final version of sw platform, 2016. ,
SeaClouds: An Open Reference Architecture for Multi-cloud Governance, Software Architecture: 10th European Conference Proceedings 10, pp.334-338, 2016. ,
DOI : 10.1109/CLOUD.2013.105
URL : https://riuma.uma.es/xmlui/bitstream/10630/12561/1/SeaClouds-ECSA16.pdf
An architectural blueprint for autonomic computing, p.31, 2006. ,
TOSCA: Portable Automated Deployment and Management of Cloud Applications, Advanced Web Services, pp.527-549, 2014. ,
DOI : 10.1007/978-1-4614-7535-4_22
Automating resource selection and configuration in inter-clouds through a software product line method, Proc. 8th IEEE Int. Conf. Cloud Computing, pp.726-733, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01252985
Multi Cloud Management for unified cloud services across cloud sites, 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, pp.164-169, 2011. ,
DOI : 10.1109/CCIS.2011.6045053
An adaptable framework to deploy complex applications onto multi-cloud platforms, The 2015 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for Future (RIVF), pp.169-174, 2015. ,
DOI : 10.1109/RIVF.2015.7049894
Roboconf: a hybrid cloud orchestrator to deploy complex applications, Cloud Computing (CLOUD), 2015 IEEE 8th International Conference on, pp.365-372, 2015. ,
SALSA: A Framework for Dynamic Configuration of Cloud Services, 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, pp.146-153, 2014. ,
DOI : 10.1109/CloudCom.2014.99
Multi-objective meta-heuristics for scheduling applications with high availability requirements and cost constraints in multi- References cloud environments, Utility and Cloud Computing (UCC), 2011 Fourth IEEE International Conference on, pp.267-274, 2011. ,
Cloud brokering mechanisms for optimized placement of virtual machines across multiple providers, Future Generation Computer Systems, vol.28, issue.2, pp.358-367, 2012. ,
DOI : 10.1016/j.future.2011.07.003
Cost optimization of virtual infrastructures in dynamic multicloud scenarios. Concurrency and Computation: Practice and Experience, pp.2260-2277, 2015. ,
Efficient task scheduling algorithms for heterogeneous multi-cloud environment, The Journal of Supercomputing, vol.71, issue.4, pp.1505-1533, 2015. ,
Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds, 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), pp.483-492, 2016. ,
DOI : 10.1109/CCGrid.2016.77
URL : https://hal.archives-ouvertes.fr/hal-01301382
A secured cost-effective multicloud storage in cloud computing, Computer Communications Workshops (INFOCOM WKSHPS), 2011 IEEE Conference on, pp.619-624, 2011. ,
DOI : 10.1109/infcomw.2011.5928887
Multi-cloud oblivious storage, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, CCS '13, pp.247-258, 2013. ,
DOI : 10.1145/2508859.2516673
URL : https://www.cs.umd.edu/~elaine/docs/multicloud.pdf
Exploiting software product lines to develop cloud computing applications, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.179-187 ,
DOI : 10.1145/2364412.2364442
Dynamic adaptation of cloud computing applications, SEKE, pp.67-72, 2013. ,
Variability modeling to support customization and deployment of multi-tenant-aware Software as a Service applications, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, pp.18-25, 2009. ,
DOI : 10.1109/PESOS.2009.5068815
Applying software product lines to create customizable software-as-a-service applications, Proceedings of the 15th International Software Product Line Conference, pp.1-16, 2011. ,
Toward realization of deployment variability for software-as-a-service applications, Cloud computing (cloud), 2012 ieee 5th international conference on, pp.622-629, 2012. ,
Dynamic configuration management of cloud-based applications, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.171-178 ,
DOI : 10.1145/2364412.2364441
Efficient customization of multi-tenant Software-as-a-Service applications with service lines, Journal of Systems and Software, vol.91, pp.48-62, 2014. ,
DOI : 10.1016/j.jss.2014.01.021
Orthogonal Variability Modeling to Support Multi-cloud Application Configuration, European Conference on Service-Oriented and Cloud Computing, pp.249-261, 2014. ,
DOI : 10.1007/978-3-319-14886-1_23
URL : http://doras.dcu.ie/20061/1/SEACLOUDS-CR1.pdf
Coordinated run-time adaptation of variability-intensive systems, Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, VACE '16, pp.5-11 ,
DOI : 10.1109/SPLC.2008.16
A model-based approach for optimizing power consumption of iaas, Network Cloud Computing and Applications (NCCA), 2012 Second Symposium on, pp.31-39, 2012. ,
A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing, ESOCC, vol.7592, pp.107-121, 2012. ,
DOI : 10.1007/978-3-642-33427-6_8
Migrating to the cloud: a software product line based analysis, 3Rd International Conference on Cloud Computing and Services Science, 2013. ,
Software Product Lines: Practices and Patterns, 2001. ,
Mass customization: the new frontier in business competition, 1993. ,
A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, p.7, 2013. ,
DOI : 10.1145/2430502.2430513
An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 2009. ,
DOI : 10.5381/jot.2009.8.5.c5
URL : http://www.jot.fm/issues/issue_2009_07/column5.pdf
Feature-oriented domain analysis (foda) feasibility study, 1990. ,
Granularity in software product lines, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.311-320, 2008. ,
DOI : 10.1145/1368088.1368131
Feature-Based Composition of Software Architectures, 4th European Conference on Software Architecture, pp.230-245, 2010. ,
DOI : 10.1109/SCC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00512716
FeatureIDE: An extensible framework for feature-oriented software development, Science of Computer Programming, vol.79, pp.70-85, 2014. ,
DOI : 10.1016/j.scico.2012.06.002
Feature-model interfaces, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.667-678, 2016. ,
DOI : 10.1007/978-3-540-30482-1_16
Modelling and analysing highly-configurable services, Proceedings of the 21st International Systems and Software Product Line Conference-Volume A, pp.114-122, 2017. ,
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains, 2008 12th International Software Product Line Conference, pp.12-21, 2008. ,
DOI : 10.1109/SPLC.2008.15
Context Variability for Context-Aware Systems, Computer, vol.47, issue.2, pp.85-87, 2014. ,
DOI : 10.1109/MC.2014.33
A taxonomy of context-aware software variability approaches, Companion Proceedings of the 15th International Conference on Modularity, MODULARITY Companion 2016, pp.119-124, 2016. ,
DOI : 10.1007/978-3-642-35813-5_1
Generative Programming and Active Libraries, Generic Programming, pp.25-39, 2000. ,
DOI : 10.1007/3-540-39953-4_3
Feature Models, Grammars, and Propositional Formulas, Proc. 9th Int. Conf. Software Product Lines (SPLC'05), pp.7-20, 2005. ,
DOI : 10.1007/11554844_3
URL : http://www.cs.utexas.edu/ftp/pub/techreports/tr05-14.pdf
Semantics of foda feature diagrams, Proceedings SPLC 2004 Workshop on Software Variability Management for Product Derivation?Towards Tool Support, pp.48-58, 2004. ,
Formal semantics and verification for feature modeling, Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on, pp.303-312, 2005. ,
Feature Model Based on Description Logics, Knowledge-Based Intelligent Information and Engineering Systems, pp.1144-1151, 2006. ,
DOI : 10.1007/11893004_145
Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
DOI : 10.1016/j.comnet.2006.08.008
Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010. ,
DOI : 10.1016/j.is.2010.01.001
URL : https://idus.us.es/xmlui/bitstream/11441/24694/1/Automated%20Analysis%20of%20featured%2020%20Years%20Later%20a%20literature%20review.pdf
Sat-based analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.231-240, 2009. ,
Satbased analysis of large real-world feature models is easy, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.91-100 ,
Extending feature diagrams with UML multiplicities, Proc. 6th World Conference Integrated Design & Process Technology, 2002. ,
Generative Programming for Embedded Software: An Industrial Experience Report, Proc. 1st ACM SIGPLAN/SIGSOFT Conf. Generative Programming and Component Engineering, pp.156-172, 2002. ,
DOI : 10.1007/3-540-45821-2_10
Staged Configuration Using Feature Models, Proc. 3rd Software Product Line Conference, pp.266-283, 2004. ,
DOI : 10.1007/978-3-540-28630-1_17
Formalizing cardinalitybased feature models and their specialization. Software Process: Improvement and Practice, pp.7-29, 2005. ,
DOI : 10.1002/spip.213
Cardinality-based feature modeling and constraints: A progress report, Proc. Int. Workshop Software Factories, pp.16-20, 2005. ,
Using java csp solvers in the automated analyses of feature models. Lecture notes in computer science, p.399, 2006. ,
Herramienta para el modelado y configuración de modelos de características, 2009. ,
Software product line evolution with cardinalitybased feature models, Proc. 12th Int. Conf. Software Reuse, pp.102-118, 2011. ,
DOI : 10.1007/978-3-642-21347-2_9
Automatic Tool Support for Cardinality-Based Feature Modeling with Model Constraints for Information Systems Development, Information Systems Development, pp.271-284, 2011. ,
DOI : 10.1007/978-1-4419-9790-6_22
Transforming attribute and clone-enabled feature models into constraint programs over finite domains URL https, Proc. 6th Int. Conf. Evaluation of Novel Approaches to Software Engineering, 2011. ,
Cardinality-based feature models with constraints, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.162-166, 2013. ,
DOI : 10.1145/2491627.2491638
URL : https://hal.archives-ouvertes.fr/hal-00825971
From extended feature models to constraint logic programming, Science of Computer Programming, vol.78, issue.12, pp.2295-2312, 2013. ,
DOI : 10.1016/j.scico.2012.06.004
Attribute-based variability in feature models, Requirements Engineering, vol.21, issue.2, pp.185-208, 2016. ,
Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.100-103, 2011. ,
DOI : 10.1109/SEAA.2011.24
CardyGAn, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '16, pp.33-40, 2016. ,
DOI : 10.1007/978-3-540-68073-4_18
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models, International Conference on Fundamental Approaches to Software Engineering, pp.158-175, 2016. ,
DOI : 10.1007/978-3-540-68073-4_18
A formal semantics for feature cardinalities in feature diagrams, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.82-89, 2011. ,
DOI : 10.1145/1944892.1944902
Building Dynamic Software Product Lines, Computer, vol.45, issue.10, pp.4522-4548, 2012. ,
DOI : 10.1109/MC.2012.332
Reflective component-based technologies to support dynamic variability, VaMoS, pp.141-150, 2008. ,
Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51327, 2009. ,
DOI : 10.1109/MC.2009.327
A View of the Dynamic Software Product Line Landscape, Computer, vol.45, issue.10, pp.36-41, 2012. ,
DOI : 10.1109/MC.2012.292
URL : http://publications.aston.ac.uk/19489/1/Career_development_progresion_and_trust.pdf
Dynamic Variability in Software-Intensive Embedded System Families, Computer, vol.45, issue.10, pp.28-35, 2012. ,
DOI : 10.1109/MC.2012.287
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.57-63, 2015. ,
DOI : 10.1109/SEAMS.2015.24
URL : https://hal.archives-ouvertes.fr/hal-01120248
Context-aware DSPLs, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.106-113, 2013. ,
DOI : 10.1145/2499777.2500716
Context variability modeling for runtime configuration of servicebased dynamic software product lines, Proceedings of the 18th International Software Product Line Conference, pp.2-9 ,
DOI : 10.1145/2647908.2655957
Collaborative Context Features for Critical Systems Workshop Variability Modelling of Softwareintensive Systems (VaMoS'15), Proc. 9th Int, pp.43-50, 2015. ,
DOI : 10.1145/2701319.2701322
Dynamically adaptive systems are product lines too: Using model-driven techniques to capture dynamic variability of adaptive systems, The 2nd International Workshop on Dynamic Software Product Lines, 2008. ,
Autonomic Computing Driven by Feature Models and Architecture in FamiWare, pp.164-179978, 2011. ,
DOI : 10.1109/MC.2009.309
Service-Oriented Dynamic Software Product Lines, Computer, vol.45, issue.10, pp.4542-4590, 2012. ,
DOI : 10.1109/MC.2012.289
URL : https://re.public.polimi.it/bitstream/11311/690829/1/dspl.pdf
Using cvl to support self-adaptation of fault-tolerant service compositions, Self-Adaptive and Self-Organizing Systems (SASO), 2013 IEEE 7th International Conference on, pp.261-262, 2013. ,
Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines, Software Engineering for Self-Adaptive Systems II, pp.191-213, 2013. ,
DOI : 10.1007/3-540-28901-1
Runtime Evolution of Service-Based Multi-tenant SaaS Applications, International Conference on Service-Oriented Computing, pp.192-206, 2013. ,
DOI : 10.1007/978-3-642-45005-1_14
Dynamic Variability Meets Robotics, Computer, vol.48, issue.12, pp.94-97, 2015. ,
DOI : 10.1109/MC.2015.354
Runtime Variability for Context-aware Smart Workflows, IEEE Software, 2015. ,
DOI : 10.1109/MS.2015.80
A Dynamic Software Product Line Approach for Adaptation Planning in Autonomic Computing Systems, 2017 IEEE International Conference on Autonomic Computing (ICAC), pp.247-254, 2017. ,
DOI : 10.1109/ICAC.2017.18
Supporting the Model Driven Development of Reflective, Component-based Adaptive Systems, Proc. 30th Int. Conf. Software Engineering (ICSE'08), pp.811-814, 2008. ,
Using Constraint Programming to Manage Configurations in Self-Adaptive Systems, Computer, vol.45, issue.10, pp.4556-63, 2012. ,
DOI : 10.1109/MC.2012.286
Modeling context and dynamic adaptations with feature models, 4th International Workshop Models@ run. time at Models, p.10, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00419990
Binding Time and Evolution, Systems and Software Variability Management: Concepts, Tools and Experiences, pp.57-73978 ,
DOI : 10.1007/978-3-642-36583-6_4
Comparative study of variability management in software product lines and runtime adaptable systems, Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pp.9-17, 2009. ,
Dynamic Software Product Line Engineering: A Reference Framework, International Journal of Software Engineering and Knowledge Engineering, vol.17, issue.5, pp.191-234, 2017. ,
DOI : 10.1016/j.jss.2013.12.038
URL : http://www.worldscientific.com/doi/pdf/10.1142/S0218194017500085
Engineering self-adaptive systems through feedback loops. Software engineering for self-adaptive systems, pp.48-70, 2009. ,
DOI : 10.1007/978-3-642-02161-9_3
URL : http://www.cs.kuleuven.be/%7Edanny/csds/Brun09.pdf
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), pp.136-143, 2016. ,
DOI : 10.1109/TASE.2016.14
The semantics of cardinalitybased feature models via formal languages, Proc. 20th Int. Symp. Formal Methods, pp.453-469, 2015. ,
DOI : 10.1007/978-3-319-19249-9_28
OpenShift Online User Guide. https://access.redhat.com/ documentation, 2014. ,
A BDD-Based Approach to Verifying Clone-Enabled Feature Models??? Constraints and Customization, Proc. 10th Int. Conf. Software Reuse, pp.186-199, 2008. ,
DOI : 10.1007/978-3-540-68073-4_18
Consistency checking for the evolution of cardinality-based feature models, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.122-131, 2014. ,
DOI : 10.1145/2648511.2648524
URL : https://hal.archives-ouvertes.fr/hal-01054604
Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, pp.45-47, 2006. ,
DOI : 10.1145/1183236.1183264
Implementing Domain-Specific Languages with Xtext and Xtend, 2013. ,
EMF: Eclipse Modeling Framework. Pearson Education, 2008. ,
Object constraint language (OCL), version 2.3.1, p.2012 ,
Choco Documentation ,
Generative constraint-based configuration of large technical
systems, AI EDAM, vol.12, issue.04, pp.307-320, 1998. ,
DOI : 10.1017/S0890060498124046
Constraints: The core of product line engineering, 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE, pp.1-10, 2011. ,
DOI : 10.1109/RCIS.2011.6006825
URL : https://hal.archives-ouvertes.fr/hal-00707544
On the evaluation and improvement of feature-based configuration techniques in software product lines, 2009 31st International Conference on Software Engineering, Companion Volume, pp.367-370, 2009. ,
DOI : 10.1109/ICSE-COMPANION.2009.5071023
Context Aware Reconfiguration in Software Product Lines, Proc. 10th Int. Workshop Variability Modelling of Software-intensive Systems (VaMoS'16), pp.41-48, 2016. ,
DOI : 10.1145/2866614.2866620
A feature-oriented approach to developing dynamically reconfigurable products in product line engineering, Proc. 10th Int. Software Product Line Conf. (SPLC'06), pp.131-140, 2006. ,
Staged configuration of dynamic software product lines with complex binding time constraints, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, 2013. ,
DOI : 10.1145/2556624.2556627
Specification and automated validation of staged reconfiguration processes for dynamic software product lines. Software & Systems Modeling, pp.125-152, 2017. ,
DOI : 10.1007/s10270-015-0470-4
Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes, Computer, vol.42, issue.10, pp.4237-4280, 2009. ,
DOI : 10.1109/MC.2009.309
Principles of Model Checking (Representation and Mind Series), 2008. ,
Temporal verification of reactive systems: safety, 2012. ,
DOI : 10.1007/978-1-4612-4222-2
A hierarchy of temporal properties, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.377-410, 1989. ,
DOI : 10.1145/41840.41857
An Action/State- Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications, Proc. 12th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS'07), pp.133-148, 2008. ,
State/Event-Based Software Model Checking, Proc. 4th Int. Conf. Integrated Formal Methods (IFM'04), pp.128-147, 2004. ,
DOI : 10.1007/978-3-540-24756-2_8
URL : http://www.cs.cmu.edu/~modelcheck/onr/pubs/stateevent04.pdf
Symbolic Model Checking of Logics with Actions, Proc. 4th Workshop Model Checking and Artificial Intelligence (MoChArt), pp.113-128, 2006. ,
DOI : 10.1007/978-3-540-74128-2_8
URL : http://discovery.ucl.ac.uk/5625/1/5625.pdf
Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007. ,
DOI : 10.1109/SPLINE.2007.24
Another Look at LTL Model Checking. Formal Methods in System Design, pp.47-711008615614281, 1997. ,
DOI : 10.1007/3-540-58179-0_72
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1439&context=compsci
Improving the Encoding of LTL Model Checking into SAT Workshop Model Checking and Abstract Interpretation (VMCAI'02), Proc. 3rd Int, pp.196-207, 2002. ,
DOI : 10.1007/3-540-47813-2_14
URL : http://brenta.dit.unitn.it/~rseba/papers/vmcai02-cprs.ps.gz
SAT-based Bounded Model Checking for SE-LTL, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), pp.582-587, 2007. ,
DOI : 10.1109/SNPD.2007.242
A temporal logic approach to the specification of reconfigurable component-based systems, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.271-274, 2002. ,
DOI : 10.1109/ASE.2002.1115028
Toward principles for the design of ontologies used for knowledge sharing? International journal of human-computer studies, pp.5-6907, 1995. ,
An analysis of ontologies and their success factors for application to business, Data & Knowledge Engineering, vol.101, pp.1-23, 2016. ,
DOI : 10.1016/j.datak.2015.11.003
Semantic web for the working ontologist: effective modeling in RDFS and OWL, 2014. ,
Model driven engineering with ontology technologies. Reasoning Web, pp.62-98, 2010. ,
DOI : 10.1007/978-3-642-15543-7_3
URL : http://www.uni-koblenz.de/%7Estaab/Research/Publications/2010/reasoningweb2010.pdf
Semantic Web + Model Driven Development, 2017. ,
Hypertableau Reasoning for Description Logics [203] Sock shop : A microservice demo application, Journal of Artificial Intelligence Research, vol.36, pp.165-228, 2009. ,
Cloud Environment Selection and Configuration: A Software Product Lines-Based Approach. Theses URL https, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01079956