Software Engineering Processes for Self-Adaptive Systems, Software Engineering for Self- Adaptive Systems II, Lecture Notes in Computer Science (LNCS), pp.51-75, 2013. ,
DOI : 10.1007/978-3-642-14192-8_2
URL : https://hal.archives-ouvertes.fr/hal-00719003
Engineering of framework-specific modeling languages. Software Engineering, IEEE Transactions on, vol.35, issue.6, pp.795-824, 2009. ,
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations, Model Driven Engineering Languages and Systems -13th International Conference, MODELS 2010, pp.121-135, 2010. ,
DOI : 10.1007/978-3-642-16145-2_9
Traceability and Provenance Issues in Global Model Management, Proc. of 3rd ECMDA Traceability Workshop, pp.47-55, 2007. ,
Symbolic invariant verification for systems with dynamic structural adaptation, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006. ,
DOI : 10.1145/1134285.1134297
A graph-based algorithm for consistency maintenance in incremental and interactive integration tools, Software & Systems Modeling, vol.20, issue.1, pp.287-315, 2007. ,
DOI : 10.1007/s10270-006-0045-5
The JMT Simulator for Performance Evaluation of Non-Product-Form Queueing Networks, 40th Annual Simulation Symposium (ANSS'07), pp.3-10, 2007. ,
DOI : 10.1109/ANSS.2007.41
An overview of the jmt queueing network simulator, 2007. ,
MDA components: Challenges and Opportunities, Proc. of the 1st Intl. Workshop on Metamodelling for MDA, pp.23-41, 2003. ,
On the Need for Megamodels, Proc. of the OOPSLA/GPCE Workshop on Best Practices for Model-Driven Software Development, 2004. ,
Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009. ,
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms, pp.164-184, 2000. ,
DOI : 10.1007/3-540-45559-0_9
Engineering Self-Adaptive Systems through Feedback Loops, Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science (LNCS), pp.48-70, 2009. ,
DOI : 10.1007/978-3-642-02161-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.6159
MoDisco, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.173-174, 2010. ,
DOI : 10.1145/1858996.1859032
URL : https://hal.archives-ouvertes.fr/hal-00610556
Dynamic QoS Management and Optimization in Service-Based Systems, IEEE Transactions on Software Engineering, vol.37, issue.3, pp.387-409, 2011. ,
DOI : 10.1109/TSE.2010.92
Evolution as ???Reflections on the Design???, Time. Lecture Notes in Computer Science, vol.43, issue.2, 2014. ,
DOI : 10.1002/spe.2107
Co-evolving application code and design models by exploiting meta-data, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.1275-1279, 2007. ,
DOI : 10.1145/1244002.1244278
Modelling Adaptation Policies for Self-Adaptive Component Architectures, Proceedings of the Workshop on Model-Driven Software Adaptation (M-ADAPT'07) at the 21st European Conference on Object-Oriented Programming, pp.61-68, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477570
Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software Engineering for Self-Adaptive Systems . Lecture Notes in Computer Science (LNCS), pp.1-26, 2009. ,
DOI : 10.1007/s11219-007-9017-4
URL : https://lirias.kuleuven.be/bitstream/123456789/278886/1/2009SEFMAS-RoadMap.pdf
JTL: A Bidirectional and Change Propagating Transformation Language, Software Language Engineering -Third International Conference, pp.183-202, 2010. ,
DOI : 10.1007/978-3-642-19440-5_11
Adaptive Service-Oriented Mobile Applications: A Declarative Approach, Lecture Notes in Computer Science, vol.7636, pp.607-614, 2012. ,
DOI : 10.1007/978-3-642-34321-6_46
SelfMotion: A declarative approach for adaptive service-oriented mobile applications, Journal of Systems and Software, vol.92, issue.0, 2013. ,
DOI : 10.1016/j.jss.2013.10.057
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006. ,
DOI : 10.1147/sj.453.0621
Bidirectional Transformations: A Cross-Discipline Perspective, Theory and Practice of Model Transformations, Second International Conference, pp.260-283, 2009. ,
DOI : 10.1007/978-3-540-70583-3_22
A communication virtual machine, Computer Software and Applications Conference COMPSAC'06. 30th Annual International, pp.521-531, 2006. ,
Co-Evolution of Object- Oriented Software Design and Implementation, Proceedings of the International Symposium on Software Architectures and Component Technology, pp.207-224, 2000. ,
Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems, Proceedings of 1st International Workshop on Models@run, 2006. ,
DOI : 10.1007/978-3-540-69489-2_30
URL : https://hal.archives-ouvertes.fr/hal-00177068
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.99-108, 2008. ,
DOI : 10.1109/ASE.2008.20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.6214
Graph Transformations and Model-Driven Engineering -Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, Lecture Notes in Computer Science, vol.5765, 2010. ,
Model evolution by runtime parameter adaptation, IEEE, pp.111-121, 2009. ,
DOI : 10.1109/icse.2009.5070513
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.477.4012
Foundations of Model (Driven) (Reverse) Engineering : Models ? Episode I: Stories of The Fidus Papyrus and of The Solarus, Language Engineering for Model-Driven Software Development. No. 04101 in Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, 2005. ,
Run-time efficient probabilistic model checking, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.341-350, 2011. ,
DOI : 10.1145/1985793.1985840
A formal approach to adaptive software: continuous assurance of non-functional requirements, Formal Aspects of Computing, vol.6, issue.1, pp.163-186, 2012. ,
DOI : 10.1007/s00165-011-0207-2
Inconsistency handling in multiperspective specifications. Software Engineering, IEEE Transactions on, vol.20, issue.8, pp.569-578, 1994. ,
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java, Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT '98), pp.296-309, 1998. ,
DOI : 10.1007/978-3-540-46464-8_21
PADS, ACM SIGPLAN Notices, vol.40, issue.6, pp.295-304, 2005. ,
DOI : 10.1145/1064978.1065046
Modeling and Validating Dynamic Adaptation, Models in Software Engineering: Workshops and Symposia at MODELS 2008, pp.97-108, 2008. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/inria-00456535
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems, MODELS '09: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, pp.606-621, 2009. ,
DOI : 10.1109/MIC.2007.2
Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006. ,
DOI : 10.1109/MS.2006.61
Model-driven Development of Complex Software: A Research Roadmap In: FOSE '07: 2007 Future of Software Engineering, IEEE Computer Society, pp.37-54, 2007. ,
Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 2004. ,
DOI : 10.1109/MC.2004.175
XTRACT, ACM SIGMOD Record, vol.29, issue.2, pp.165-176, 2000. ,
DOI : 10.1145/335191.335409
Using Architectural Models to Manage and Visualize Runtime Adaptation, Computer, vol.42, issue.10, pp.52-60, 2009. ,
DOI : 10.1109/MC.2009.335
Managing non-functional uncertainty via model-driven adaptivity, 2013 35th International Conference on Software Engineering (ICSE), pp.33-42, 2013. ,
DOI : 10.1109/ICSE.2013.6606549
Graph Transformations for MDE, Adaptation, and Models at Runtime, Lecture Notes in Computer ScienceLNCS), vol.42, issue.10, pp.137-191, 2012. ,
DOI : 10.1007/s10270-009-0146-z
From model transformation to incremental bidirectional model synchronization, Software & Systems Modeling, vol.44, issue.2, 2009. ,
DOI : 10.1007/s10270-008-0089-9
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars, Software & Systems Modeling, vol.5, issue.4, pp.21-46, 2010. ,
DOI : 10.1007/s10270-009-0121-8
Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -, Electronic Notes in Theoretical Computer Science, vol.2, pp.118-126, 1995. ,
DOI : 10.1016/S1571-0661(05)80188-4
PRISM: A Tool for Automatic Verification of Probabilistic Systems, TACAS, vol.3920, pp.441-444, 2006. ,
DOI : 10.1007/11691372_29
Deriving specifications from requirements, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.15-24, 1995. ,
DOI : 10.1145/225014.225016
Experiments in Run-Time Model Extraction, Proceedings of 1st International Workshop on Models@run, 2006. ,
Transforming Models with ATL, Revised Selected Papers. Lecture Notes in Computer Science, vol.3844, pp.128-138, 2005. ,
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
Control theory-based foundations of self-controlling software, IEEE Intelligent Systems, vol.14, issue.3, pp.37-45, 1999. ,
DOI : 10.1109/5254.769883
PRISM, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.4, pp.113-140, 2002. ,
DOI : 10.1145/1530873.1530882
URL : https://hal.archives-ouvertes.fr/hal-00740727
Meta-modeling Runtime Models, Models in Software Engineering, Workshops and Symposia at MODELS 2010, pp.209-223, 2010. ,
DOI : 10.1007/978-3-642-21210-9_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7724
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, Software Engineering for Self-Adaptive Systems II, Lecture Notes in Computer Science (LNCS), pp.1-32, 2013. ,
DOI : 10.1145/1808984.1808994
URL : https://hal.archives-ouvertes.fr/inria-00638157
Cloud auto-scaling with deadline and budget constraints, 2010 11th IEEE/ACM International Conference on Grid Computing, pp.41-48, 2010. ,
DOI : 10.1109/GRID.2010.5697966
Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware, Journal of Internet Services and Applications, vol.21, issue.12, pp.1-8, 2011. ,
DOI : 10.1007/s13174-011-0049-4
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Co-evolving code and design with intensional views, Computer Languages, Systems & Structures, vol.32, issue.2-3, pp.140-156, 2006. ,
DOI : 10.1016/j.cl.2005.09.002
A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006. ,
DOI : 10.1016/j.entcs.2005.10.021
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MODELS). LNCS, pp.782-796, 2008. ,
DOI : 10.1007/978-3-540-87875-9_54
URL : https://hal.archives-ouvertes.fr/inria-00468232
Computer-Automated Multiparadigm Modeling in Control Systems Technology, IEEE Transactions on Control Systems Technology, vol.12, issue.2, pp.223-234, 2004. ,
DOI : 10.1109/TCST.2004.824280
Computer automated multi-paradigm modeling in control system design, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537), pp.65-70, 2000. ,
DOI : 10.1109/CACSD.2000.900188
Guest editorial, ACM Transactions on Modeling and Computer Simulation, vol.12, issue.4, pp.249-255, 2002. ,
DOI : 10.1145/643120.643121
Consistency management with repair actions, 25th International Conference on Software Engineering, 2003. Proceedings., pp.455-464, 2003. ,
DOI : 10.1109/ICSE.2003.1201223
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5741
OMG Meta Object Facility (MOF) Core Specification, Version 2.4, OMG Adopted Specification formal, pp.2011-2019, 2011. ,
Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998. ,
DOI : 10.1109/ICSE.1998.671114
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.8257
Runtime software adaptation, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.899-910, 2008. ,
DOI : 10.1145/1370175.1370181
Evolving Models at Run Time to Address Functional and Non-Functional Adaptation Requirements, Proceedings of the 4th International Workshop on Models@run.time. CEUR Workshop Proceedings, pp.31-40, 2009. ,
The GROOVE Simulator: A??Tool for State Space Generation, Lecture Notes in Computer Science, vol.3062, pp.479-485, 2004. ,
DOI : 10.1007/978-3-540-25959-6_40
Handbook of Graph Grammars and Computing by Grah Transformation, Foundations. World Scientific, vol.1, 1997. ,
Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-42, 2009. ,
DOI : 10.1145/1516533.1516538
Specification of graph translators with triple graph grammars, Theoretic Concepts in Computer Science, pp.151-163, 1994. ,
DOI : 10.1007/3-540-59071-4_45
PROGRAMMED GRAPH REPLACEMENT SYSTEMS, pp.479-546, 1997. ,
DOI : 10.1142/9789812384720_0007
Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003. ,
DOI : 10.1109/MS.2003.1231150
Supporting runtime software architecture: A bidirectional-transformation-based approach, Journal of Systems and Software, vol.84, issue.5, pp.711-723, 2011. ,
DOI : 10.1016/j.jss.2010.12.009
URL : https://hal.archives-ouvertes.fr/inria-00560783
Inferring Meta-models for Runtime System Data from the Clients of Management APIs, Proc. of the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, pp.168-182, 2010. ,
DOI : 10.1109/TSE.2009.30
URL : https://hal.archives-ouvertes.fr/inria-00513246
Generating Synchronization Engines between Running Systems and Their Model-Based Views, Models in Software Engineering, Workshops and Symposia at MODELS 2009, pp.140-154, 2009. ,
DOI : 10.1007/978-3-642-12261-3_14
URL : https://hal.archives-ouvertes.fr/inria-00459616
A Landscape of Bidirectional Model Transformations, Generative and Transformational Techniques in Software Engineering II, International Summer School, pp.408-424, 2007. ,
DOI : 10.1007/978-3-540-88643-3_10
Bidirectional model transformations in QVT: semantic issues and open questions, Software and Systems Modeling, vol.8, 2009. ,
AGG: A??Graph Transformation Environment for Modeling and Validation of Software, Lecture Notes in Computer Science, vol.3062, pp.446-453, 2003. ,
DOI : 10.1007/978-3-540-25959-6_35
Past and future of reflective middleware, Proceedings of the 7th workshop on Reflective and adaptive middleware, ARM '08, pp.41-46, 2008. ,
DOI : 10.1145/1462716.1462723
PLASMA, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.467-476, 2010. ,
DOI : 10.1145/1858996.1859092
Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009. ,
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077
Model transformations and tool integration, Software & Systems Modeling, vol.47, issue.2, pp.112-122, 2005. ,
DOI : 10.1145/242224.242477
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9502
A change propagating model transformation Language., The Journal of Object Technology, vol.7, issue.3, pp.107-124, 2008. ,
DOI : 10.5381/jot.2008.7.3.a3
Adaptation and abstract runtime models, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.39-48, 2010. ,
DOI : 10.1145/1808984.1808989
A language for feedback loops in self-adaptive systems: Executable runtime megamodels, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.129-138, 2012. ,
DOI : 10.1109/SEAMS.2012.6224399
Requirements and Assessment of Languages and Frameworks for Adaptation Models, Reports and Revised Selected Papers Lecture Notes in Computer ScienceLNCS), vol.7167, pp.167-182, 2011. ,
DOI : 10.1007/978-3-642-29645-1_18
Model-Driven Engineering of Self-Adaptive Software with EUREMA, ACM Transactions on Autonomous and Adaptive Systems, vol.8, issue.4, pp.1-1833, 2014. ,
DOI : 10.1145/2555612
Incremental Model Synchronization for Efficient Run-Time Monitoring, Models in Software Engineering, Workshops and Symposia at MODELS 2009, pp.124-139, 2009. ,
DOI : 10.1007/978-3-642-12261-3_13
The Role of Models and Megamodels at Runtime, Models in Software Engineering, Workshops and Symposia at MODELS 2010, pp.224-238, 2010. ,
DOI : 10.1007/978-3-642-12261-3_13
Applying Model-Driven Architecture to achieve distribution transparencies, Information and Software Technology, vol.48, issue.7, 2006. ,
DOI : 10.1016/j.infsof.2005.05.010
Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.1-30, 1997. ,
DOI : 10.1145/237432.237434