S. Voss and S. Zverlov, Design space exploration in autofocus3 an overview, " in IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems, 2014.

S. Voss and B. Schaetz, Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), pp.100-109, 2013.
DOI : 10.1109/ECBS.2013.23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.2153

M. Breuer, Recent developments in the automated design and analysis of digital systems, Proceedings of the IEEE, pp.12-27, 1972.
DOI : 10.1109/PROC.1972.8552

E. Kang and E. Jackson, An Approach for Effective Design Space Exploration, FOCS'10, pp.33-54, 2011.
DOI : 10.1007/978-3-642-21292-5_3

S. Kuenzli and . Zurich, Efficient design space exploration for embedded systems, 2006.

E. B. Fernandez and B. Bussell, Bounds on the Number of Processors and Time for Multiprocessor Optimal Schedules, IEEE Transactions on Computers, vol.22, issue.8, pp.745-751, 1973.
DOI : 10.1109/TC.1973.5009153

S. Prakash and A. C. Parker, Synthesis of application-specific heterogeneous multiprocessor systems, ACM SIGARCH Computer Architecture News, p.434, 1992.

M. Thompson and H. Nikolov, A framework for rapid systemlevel exploration, synthesis, and programming of multimedia mp-socs, Proceedings of the 5th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis, pp.9-14, 2007.

A. Metzner and F. , Scheduling distributed real-time systems by satisfiability checking On the Deployment Problem of Embedded Systems, Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEM- OCODE'15), no. i, 2005.

T. Saxena, Towards a Generic Design Space Exploration Framework, 2010 10th IEEE International Conference on Computer and Information Technology, 2012.
DOI : 10.1109/CIT.2010.330

F. Ortmeier and W. Reif, Safety optimization: a combination of fault tree analysis and optimization techniques, International Conference on Dependable Systems and Networks, 2004, pp.1-8, 2004.
DOI : 10.1109/DSN.2004.1311935

M. S. Dhouibi, L. Saintis, M. Barreau, and J. Perquis, Safety driven optimization approach for automotive systems, 2015 Annual Reliability and Maintainability Symposium (RAMS), pp.1-7, 2015.
DOI : 10.1109/RAMS.2015.7105113
URL : https://hal.archives-ouvertes.fr/hal-01140838

R. Hilbrich and L. Dieudonné, Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures, Journal of Software Engineering and Applications, vol.06, issue.05, pp.229-235, 2013.
DOI : 10.4236/jsea.2013.65028

E. Kang, E. Jackson, and W. Schulte, An Approach for Effective Design Space Exploration, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, pp.33-54, 2011.
DOI : 10.1007/978-3-642-21292-5_3

S. Kugele and G. Pucea, Model-based optimization of automotive E/E-architectures Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014, pp.18-29, 2014.

M. Walker, M. O. Reiser, S. Tucci-piergiovanni, Y. Papadopoulos, H. Lönn et al., Automatic optimisation of system architectures using EAST-ADL, Journal of Systems and Software, vol.86, issue.10, pp.2467-2487, 2013.
DOI : 10.1016/j.jss.2013.04.001
URL : https://hal.archives-ouvertes.fr/hal-00846268

B. Selic, S. Gérard-aleti, S. Bjornander, L. Grunske, and I. Meedeniya, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems ArcheOpterix: An extendable tool for architecture optimization of AADL models Model-Based Methodologies for Pervasive and Embedded Software, MOMPES '09. ICSE Workshop on, pp.61-71, 2009.

M. Broy and K. Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement, 2012.
DOI : 10.1007/978-1-4613-0091-5

S. Z. Schaetz and S. Voss, Automating design-space exploration, Proceedings of the 52nd Annual Design Automation Conference on, DAC '15, pp.2015-52, 2015.
DOI : 10.1145/2744769.2747912

J. Gu, Local search for satisfiability (SAT) problem, IEEE Transactions on Systems, Man, and Cybernetics, vol.23, issue.4, pp.1108-1129, 1993.
DOI : 10.1109/21.247892

L. , D. Moura, and N. Bjørner, Z3: An efficient smt solver, " in Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

F. Van-harmelen, Handbook of knowledge representation, 2008.

M. Ehrgott, Multicriteria optimization, 2005.
DOI : 10.1007/978-3-662-22199-0

A. Bauer and M. Broy, AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software, SAE Technical Paper Series, 2005.
DOI : 10.4271/2005-01-1281

S. Zverlov and S. Voss, Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems, 2014 IEEE 38th International Computer Software and Applications Conference Workshops, pp.366-371, 2014.
DOI : 10.1109/COMPSACW.2014.63

N. Eén and N. Sorensson, Translating pseudo-boolean constraints into sat, Journal on Satisfiability Boolean Modeling and Computation, vol.2, pp.1-26, 2006.

P. Diebold and C. Lampanosa, Practitioners' and researchers' expectations on design space exploration for multicore systems in the automotive and avionics domains ? a survey, EASE Proceedings. ACM Digital Library, 2014.

S. Voss, B. Schätz, M. Khalil, and C. Carlan, Towards modular certification using integrated model-based safety cases, proc. VeriSure: Verification and Assurance Workshop. Citeseer, 2013.