P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, Formal Description of Variability in Product Families, 2011 15th International Software Product Line Conference, pp.130-139, 2011.
DOI : 10.1109/SPLC.2011.34

F. Balarin, Hardware-software co-design of embedded systems: the POLIS approach, 1997.
DOI : 10.1007/978-1-4615-6127-9

D. Batory, Feature Models, Grammars, and Propositional Formulas, In SPLC, vol.3714, pp.7-20, 2005.
DOI : 10.1007/11554844_3

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL-a tool suite for automatic verification of real-time systems, Hybrid Systems III, pp.232-243, 1996.

M. Edmund and . Clarke, Orna Grumberg, and Doron Peled. 1999. Model checking

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.12-1130, 2011.
DOI : 10.1016/j.scico.2010.10.005
URL : https://hal.archives-ouvertes.fr/hal-00718291

A. Classen, M. Cordy, P. Heymans, A. Legay, and P. Schobbens, Model checking software product lines with SNIP, International Journal on Software Tools for Technology Transfer, vol.41, issue.1, pp.1-24, 2012.
DOI : 10.1016/S0167-6423(00)00018-6
URL : https://hal.archives-ouvertes.fr/hal-00717956

A. Classen, P. Heymans, P. Schobbens, and A. Legay, Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.321-330, 2011.
DOI : 10.1145/1985793.1985838
URL : https://hal.archives-ouvertes.fr/hal-01087657

A. Classen, P. Heymans, P. Schobbens, A. Legay, and J. Raskin, Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.335-344, 2010.
DOI : 10.1145/1806799.1806850

M. Cordy, A. Classen, P. Heymans, P. Schobbens, and A. Legay, ProVeLines, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.141-146, 2013.
DOI : 10.1145/2499777.2499781
URL : https://hal.archives-ouvertes.fr/hal-00931670

E. Andreas, M. Dalsgaard, M. Chr-olesen, R. R. Toft, K. Hansen et al., Metamoc: Modular execution time analysis using model checking, OASIcs-OpenAccess Series in Informatics Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010.

S. Graf, M. Glaß, J. Teich, and C. Lauer, Multivariant-based design space exploration for automotive embedded systems, Design, Automation and Test in Europe Conference and Exhibition (DATE), pp.1-6, 2014.
DOI : 10.7873/date.2014.020

S. Graf, M. Glaß, D. Wintermann, J. Teich, and C. Lauer, IVaM: Implicit variant modeling and management for automotive embedded systems, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp.1-10, 2013.
DOI : 10.1109/CODES-ISSS.2013.6659011

S. Graf, S. Reinhart, M. Glaß, J. Teich, and D. Platte, Robust design of E/E architecture component platforms, Proceedings of the 52nd Annual Design Automation Conference on, DAC '15, pp.1-6, 2015.
DOI : 10.1109/32.277577

M. Gries, Methods for evaluating and covering the design space during early design development, Integration, the VLSI Journal, vol.38, issue.2, pp.131-183, 2004.
DOI : 10.1016/S0167-9260(04)00032-X

B. Kienhuis, E. Deprettere, K. Vissers, P. Van-der, and . Wolf, An approach for quantitative analysis of application-specific dataflow architectures, Proceedings IEEE International Conference on Application-Specific Systems, Architectures and Processors, pp.338-349, 1997.
DOI : 10.1109/ASAP.1997.606839

M. Mendonca, A. Wasowski, and K. Czarnecki, SATbased analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference, pp.231-240, 2009.

G. Palermo, C. Silvano, and V. Zaccaria, Robust optimization of SoC architectures: A multi-scenario approach, 2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, pp.7-12, 2008.
DOI : 10.1109/ESTMED.2008.4696986

G. Palermo, C. Silvano, and V. Zaccaria, Variability-aware robust design space exploration of chip multiprocessor architectures, 2009 Asia and South Pacific Design Automation Conference, pp.323-328, 2009.
DOI : 10.1109/ASPDAC.2009.4796501

L. Schor, I. Bacivarov, D. Rai, H. Yang, S. Kang et al., Scenario-based design flow for mapping streaming applications onto on-chip many-core systems, Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems, CASES '12, pp.71-80, 2012.
DOI : 10.1145/2380403.2380422

K. Sigdel, M. Thompson, A. D. Pimentel, C. Galuzzi, and K. Bertels, System-level runtime mapping exploration of reconfigurable architectures, 2009 IEEE International Symposium on Parallel & Distributed Processing, pp.1-8, 2009.
DOI : 10.1109/IPDPS.2009.5161199

V. Sima and K. Bertels, Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform, 2009 IEEE International Symposium on Parallel & Distributed Processing, pp.1-6, 2009.
DOI : 10.1109/IPDPS.2009.5161220

A. Kumar-singh, M. Shafique, A. Kumar, and J. Henkel, Mapping on multi/many-core systems: survey of current and emerging trends, Proceedings of the 50th Annual Design Automation Conference, 2013.

H. Maurice, A. Ter-beek, S. Fantechi, F. Gnesi, and . Mazzanti, Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.2, pp.287-315, 2016.

P. Van-stralen and A. Pimentel, Scenario-based design space exploration of MPSoCs, 2010 IEEE International Conference on Computer Design, pp.305-312, 2010.
DOI : 10.1109/ICCD.2010.5647727

S. Wildermann, F. Reimann, J. Teich, and Z. Salcic, Operational mode exploration for reconfigurable systems with multiple applications, 2011 International Conference on Field-Programmable Technology, pp.1-8, 2011.
DOI : 10.1109/FPT.2011.6132693