139 9.5.1 Exploration de transformations composites, 139 9.5.2 Exploration de chaines de transformations de modèles . . . . . . . . . . . 142 ,
Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, 2014. ,
DOI : 10.1109/RSP.2014.6966691
URL : https://hal.archives-ouvertes.fr/hal-01115723
Automatic selection and composition of model transformations alternatives using evolutionary algorithms, Proceedings of the 2015 European Conference on Software Architecture Workshops, ECSAW '15, 2015. ,
DOI : 10.1007/978-3-642-24485-8_46
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES), 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015. ,
DOI : 10.1109/ICECCS.2015.13
Multi-objective exploration of architectural designs by composition of model transformations, International Journal on Software and Systems Modeling (SoSyM), 2016. ,
DOI : 10.1109/RTAS.2009.37
Modeling Nonfunctional Requirements in Software Product Line, pp.745-753, 2012. ,
DOI : 10.1007/978-3-642-27966-9_100
Software Product Line Engineering: Foundations , Principles and Techniques, 2005. ,
DOI : 10.1007/3-540-28901-1
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
URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.170.9135&rep=rep1&type=pdf
Measuring Non-Functional Properties in Software Product Line for Product Derivation, 2008 15th Asia-Pacific Software Engineering Conference, pp.3-5, 2008. ,
DOI : 10.1109/APSEC.2008.45
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006. ,
DOI : 10.1147/sj.453.0621
URL : http://www.research.ibm.com/journal/sj/453/czarnecki.pdf
Model driven language engineering with kermeta, Proceedings of the 3rd International Summer School Conference on Generative and Transformational Techniques in Software Engineering III, GTTSE'09, pp.201-221, 2011. ,
Transforming Models with ATL, Proceedings of the 2005 International Conference on Satellite Events at the MoDELS, MoDELS'05, pp.128-138, 2006. ,
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120
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
URL : https://doi.org/10.1016/j.entcs.2005.10.021
Smartqvt: An open source model transformation tool implementing the mof 2.0 qvt-operational language, 2007. ,
Tool Integration with Triple Graph Grammars - A Survey, Electronic Notes in Theoretical Computer Science, vol.148, issue.1, pp.113-150, 2006. ,
DOI : 10.1016/j.entcs.2005.12.015
The Epsilon Transformation Language, pp.46-60, 2008. ,
DOI : 10.1007/978-3-540-69927-9_4
The uml-rsds manual, 2012. ,
DOI : 10.1007/978-3-319-74730-9_28
Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014. ,
DOI : 10.1109/RSP.2014.6966691
URL : https://hal.archives-ouvertes.fr/hal-01115723
Chaining model transformations, Proceedings of the First Workshop on the Analysis of Model Transformations, AMT '12, pp.9-14, 2012. ,
DOI : 10.1145/2432497.2432500
Improving Reusability of Model Transformations by Automating their Composition, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications, p.2015 ,
DOI : 10.1109/SEAA.2015.76
Composition Techniques for Rule-Based Model Transformation Languages, pp.152-167, 2008. ,
DOI : 10.1007/978-3-540-69927-9_11
Approaches for model transformation reuse: Factorization and composition, 1st International Conference on Model Transformations (ICMT 08), pp.168-182, 2008. ,
Module superimposition: a composition technique for rule-based model transformation languages, Software & Systems Modeling, vol.16, issue.4, pp.285-309, 2009. ,
DOI : 10.1007/s10270-009-0134-3
Multi-Objective Combinatorial Optimization: Problematic and Context, pp. 1?21, 2010. ,
On the linear weighted sum method for multi-objective optimization, Facta Acta Universitatis, vol.26, pp.49-63, 2011. ,
Efficient symbolic multiobjective design space exploration, Proceedings of the 2008 Asia and South Pacific Design Automation Conference, ASP-DAC '08, pp.691-696, 2008. ,
DOI : 10.1109/aspdac.2008.4484040
URL : http://www.cecs.uci.edu/~papers/aspdac08/pdf/p691_8B-4.pdf
Fast scalable optimization to configure service systems having cost and quality of service constraints, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, pp.159-168, 2009. ,
DOI : 10.1145/1555228.1555268
URL : http://www.sce.carleton.ca/~zwli/publications/fastopt1-icac-update-jim.pdf
Agflow: Agent-based crossenterprise workflow management system, Proceedings of the 27th International Conference on Very Large Data Bases, VLDB '01, pp.697-698, 2001. ,
An algorithm for hardware/software partitioning using mixed integer linear programming, Design Automation for Embedded Systems, vol.2, issue.2, pp.165-193, 1997. ,
DOI : 10.1023/A:1008832202436
URL : http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/1996-edtc.pdf
Genetic and other global optimization algorithms ? comparison and use in calibration problems, PROC., 3RD INT. CONF. ON HYDROINFOR- MATICS, BALKEMA, pp.1021-1027, 1998. ,
A comparison of various optimization algorithms on a multilevel problem, Engineering Applications of Artificial Intelligence, vol.12, issue.5, pp.639-654, 1999. ,
DOI : 10.1016/S0952-1976(99)00033-0
URL : https://eprints.soton.ac.uk/23618/1/elbe_99b.pdf
ArcheOpterix: An extendable tool for architecture optimization of AADL models, 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp.61-71, 2009. ,
DOI : 10.1109/MOMPES.2009.5069138
URL : http://mdh.diva-portal.org/smash/get/diva2:517397/FULLTEXT01
PerOpteryx, Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, QoSA-ISARCS '11, 2011. ,
DOI : 10.1145/2000259.2000267
An evolutionary multiobjective optimization approach to component-based software architecture design, 2011 IEEE Congress of Evolutionary Computation (CEC), pp.432-439, 2011. ,
DOI : 10.1109/CEC.2011.5949650
Identifying "good" architectural design alternatives with multiobjective optimization strategies, Proceedings of the 28th International Conference on Software Engineering, ICSE '06, pp.849-852, 2006. ,
DOI : 10.1145/1134285.1134431
An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.229-238, 2010. ,
DOI : 10.1109/ISSRE.2010.19
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012. ,
Optimizing Resource Usage in Component-Based Real-Time Systems, pp.49-65, 2005. ,
DOI : 10.1007/11424529_4
URL : http://www.mrtc.mdh.se/publications/0835.pdf
Variable Sized Bin Packing, SIAM Journal on Computing, vol.15, issue.1, pp.222-230, 1986. ,
DOI : 10.1137/0215016
Automatic, Model-Based Software Performance Improvement for Component-based Software Designs, Electronic Notes in Theoretical Computer Science, vol.253, issue.1 ,
DOI : 10.1016/j.entcs.2009.09.029
URL : https://doi.org/10.1016/j.entcs.2009.09.029
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms, Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, WOSP/SIPEW '10, pp.105-116, 2010. ,
DOI : 10.1145/1712605.1712624
URL : http://www.koziolek.de/docs/Martens2010-ICPE-preprint.pdf
The Palladio component model for model-driven performance prediction, Journal of Systems and Software, vol.82, issue.1, pp.3-22, 2009. ,
DOI : 10.1016/j.jss.2008.03.066
A fast and elitist multiobjective genetic algorithm: NSGA-II, IEEE Transactions on Evolutionary Computation, vol.6, issue.2, pp.182-197, 2002. ,
DOI : 10.1109/4235.996017
URL : http://work.caltech.edu/amrit/papers/nsga2.ps.gz
Spea2: Improving the strength pareto evolutionary algorithm for multiobjective optimization, 2002. ,
SMS-EMOA: Multiobjective selection based on dominated hypervolume, European Journal of Operational Research, vol.181, issue.3, pp.1653-1669, 2007. ,
DOI : 10.1016/j.ejor.2006.08.008
Design Guidelines for the Development of Quality-Driven Model Transformations, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part II, MODELS'10, pp.288-302, 2010. ,
DOI : 10.1016/B978-0-444-88074-1.50011-1
Towards automated software architectures design using model transformations and evolutionary algorithms, Proceedings of the 12th annual conference comp on Genetic and evolutionary computation, GECCO '10, pp.2097-2098, 2010. ,
DOI : 10.1145/1830761.1830880
Towards Quality Driven Exploration of Model Transformation Spaces, Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, 2011. ,
DOI : 10.1007/978-3-642-16145-2_4
Design-space exploration through constraintbased model-transformation, Engineering of Computer Based Systems (ECBS), 2010 17th IEEE International Conference and Workshops on, pp.173-182, 2010. ,
The KlaperSuite framework for model-driven reliability analysis of component-based systems, Software & Systems Modeling, pp.1269-1290, 2014. ,
DOI : 10.1109/TR.2004.838034
A quality driven extension to the qvtrelations transformation language, Comput. Sci, vol.30, pp.1-20, 2015. ,
DOI : 10.1007/s00450-011-0202-0
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems, Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems, QoSA '09, pp.18-35, 2009. ,
DOI : 10.1007/978-3-540-31880-4_11
URL : http://www.dre.vanderbilt.edu/~gokhale/WWW/papers/QoSA09_QoS_Opt.pdf
Rule-based automatic software performance diagnosis and improvement, Performance Evaluation, vol.67, issue.8, pp.585-611, 2010. ,
DOI : 10.1016/j.peva.2009.07.004
Search-Based Model Optimization Using Model Transformations, pp.80-95, 2014. ,
DOI : 10.1007/978-3-319-11743-0_6
URL : http://www.cs.mcgill.ca/files/techReports/icse.pdf
A model-driven framework for guided design space exploration, Automated Software Engineering, vol.2, issue.3, pp.399-436, 2015. ,
DOI : 10.1145/1013886.1007526
An automated approach for architectural model transformations, 22nd International Conference on Information Systems Development (ISD2013), 2013. ,
Improving architectural quality properties through model transformation, Proceedings of the, 2007. ,
Software Architecture Optimization Methods: A Systematic Literature Review, IEEE Transactions on Software Engineering, vol.39, issue.5 ,
DOI : 10.1109/TSE.2012.64
URL : http://www.zora.uzh.ch/id/eprint/72268/1/20130109134315_merlin-id_7344.pdf
On the Use of Higher-Order Model Transformations, Proceedings of the 5th European Conference on Model Driven Architecture -Foundations and Applications, 2009. ,
DOI : 10.1007/978-3-540-69927-9_11
URL : https://hal.archives-ouvertes.fr/hal-00782464
Supporting large scale model transformation reuse, Proceedings of the 12th International Conference on Generative Programming: Concepts and Experiences, 2013. ,
DOI : 10.1145/2517208.2517218
Confluence of Typed Attributed Graph Transformation Systems, Lecture Notes in Computer Science, vol.2505, 2002. ,
DOI : 10.1007/3-540-45832-8_14
URL : http://www.cs.tu-berlin.de/~gabi/gHKT02b.pdf
Flow latency analysis with the architecture analysis and design language (aadl), 2012. ,
The quest for efficient boolean satisfiability solvers, Proceedings of the 14th International Conference on Computer Aided Verification, CAV '02, pp.17-36, 2002. ,
DOI : 10.1007/3-540-45657-0_2
A Computing Procedure for Quantification Theory, Journal of the ACM, vol.7, issue.3, pp.201-215, 1960. ,
DOI : 10.1145/321033.321034
A machine program for theorem-proving, Communications of the ACM, vol.5, issue.7, pp.394-397, 1962. ,
DOI : 10.1145/368273.368557
The sat4j library, release 2.2, Journal on Satisfiability Boolean Modeling and Computation, vol.7, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
Towards a General Composition Semantics for Rule-Based Model Transformation, pp.623-637, 2011. ,
DOI : 10.1007/11538097_5
URL : https://hal.archives-ouvertes.fr/hal-00642066
Multiobjective optimization using nondominated sorting in genetic algorithms, Evolutionary Computation, vol.2, 1994. ,
DOI : 10.1162/evco.1994.2.3.221
URL : https://www.mitpressjournals.org/userimages/ContentEditor/1164817256746/lib_rec_form.pdf
Periodic-Delayed Protocol for Partitioned Systems, pp.149-165, 2014. ,
Deterministic implementation of periodic-delayed communications and experimentation in AADL, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), pp.1-8, 2013. ,
DOI : 10.1109/ISORC.2013.6913210
URL : https://hal.archives-ouvertes.fr/hal-01121244
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.161-170, 2007. ,
DOI : 10.1109/RTSS.2007.40
Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990. ,
DOI : 10.1109/12.57058
Guaranteeing message latencies on control area network (can), Proceedings of the 1st International CAN Conference, Citeseer, 1994. ,
Optimizing Extensibility in Hard Real-Time Distributed Systems, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.275-284, 2009. ,
DOI : 10.1109/RTAS.2009.37
A parameter-less genetic algorithm with customized crossover and mutation operators, Proceedings of the 13th annual conference on Genetic and evolutionary computation, GECCO '11, pp.901-908, 2011. ,
DOI : 10.1145/2001576.2001700
Self-Adaptation in Evolutionary Algorithms, pp.47-75, 2007. ,
DOI : 10.1007/978-3-540-69432-8_3
URL : http://www2.staff.fh-vorarlberg.ac.at/~hgb/New-Papers/self-adaptation.pdf