S. Ahuja, D. A. Mathaikutty, A. Lakshminarayana, and S. K. Shukla, <I>SCoPE</I>: Statistical Regression Based Power Models for Co-Processors Power Estimation, Journal of Low Power Electronics, vol.5, issue.4, pp.407-415, 2009.
DOI : 10.1166/jolpe.2009.1040

T. W. Anderson, The New Statistical Analysis of Data, 1996.
DOI : 10.1007/978-1-4612-4000-6

L. As¸tefas¸tef, ?. Anoaei, S. B. Rayana, S. Bensalem, M. Bozga et al., Compositional invariant generation for timed systems, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), 2014.

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

A. Bakshi, V. K. Prasanna, and A. Ledeczi, MILAN: A model based integrated simulation framework for design of embedded systems, Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems (OM'01, pp.82-93, 2001.

A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.3-41, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Basu, S. Bensalem, M. Bozga, P. Bourgos, M. Maheshwari et al., Component Assemblies in the Context of Manycore, Formal Methods for Components and Objects, 10th International Symposium, pp.314-333, 2011.
DOI : 10.1007/3-540-16042-6_21
URL : https://hal.archives-ouvertes.fr/hal-00878716

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT'04, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'12, pp.327-341, 2012.
DOI : 10.1007/978-3-642-34026-0_25
URL : https://hal.archives-ouvertes.fr/hal-01087822

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, vol.10, issue.2, pp.383-409, 2012.
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995

P. Bourgos, Rigorous Design Flow for Programming Manycore Platforms. Ph. D. Dissertation, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01135186

G. E. Box and D. A. Pierce, Distribution of Residual Autocorrelations in Autoregressive-Integrated Moving Average Time Series Models, Journal of the American Statistical Association, vol.11, issue.332, pp.1509-1526, 1970.
DOI : 10.1098/rsta.1927.0007

P. E. Bulychev, A. David, K. G. Larsen, M. Mikucionis, D. B. Poulsen et al., UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata, Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'12, pp.1-16, 2012.
DOI : 10.4204/EPTCS.85.1

G. Cowan, Statistical Data Analysis, 1998.

A. E. Dalsgaard, M. C. Olesen, M. Toft, R. R. Hansen, and K. G. Larsen, METAMOC: Modular execution time analysis using model checking, International Workshop on Worst-Case Execution Time Analysis (WCET'10, pp.113-123, 2010.

M. L. Delignette-muller, R. Pouillot, J. Denis, and C. Dutang, Fitdistrplus: Help to Fit of a Parametric Distribution to Non-Censored or Censored Data, 2010.

P. Giusto, G. Martin, and E. Harcourt, Reliable estimation of execution time of embedded software, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, pp.580-589, 2001.
DOI : 10.1109/DATE.2001.915082

W. Haid, M. Keller, K. Huang, I. Bacivarov, and L. Thiele, Generation and calibration of compositional performance analysis models for multi-processor systems, 2009 International Symposium on Systems, Architectures, Modeling, and Simulation, pp.92-99, 2009.
DOI : 10.1109/ICSAMOS.2009.5289246

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis the SymTA/S approach, IEEE Proceedings Computers and Digital Techniques, 2005.

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'04, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

G. Kahn, The semantics of simple language for parallel programming, IFIP Congress, pp.471-475, 1974.

K. Keutzer, S. Malik, A. R. Newton, J. M. Rabaey, and A. Sangiovanni-vincentelli, System-level design: orthogonalization of concerns and platform-based design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.19, issue.12, pp.1523-1543, 2000.
DOI : 10.1109/43.898830

B. Kienhuis, E. F. Deprettere, P. Van-der-wolf, and K. A. Vissers, A methodology to design programmable embedded systems -the Y-chart approach, Embedded Processor Design Challenges: Systems, Architectures , Modeling, and Simulation (SAMOS'02, pp.18-37, 2002.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.4, pp.40-45, 2009.
DOI : 10.1145/1530873.1530882
URL : https://hal.archives-ouvertes.fr/hal-00740727

J. Boudec, Performance Evaluation of Computer and Communication Systems, 2010.
DOI : 10.1201/b16328

G. M. Ljung and G. E. Box, On a measure of lack of fit in time series models, Biometrika, vol.65, issue.2, pp.297-303, 1978.
DOI : 10.1093/biomet/65.2.297

H. Mao, Y. Chen, M. Jaeger, T. D. Nielsen, K. G. Larsen et al., Learning Probabilistic Automata for Model Checking, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.111-120, 2011.
DOI : 10.1109/QEST.2011.21

H. Mao, Y. Chen, M. Jaeger, T. D. Nielsen, K. G. Larsen et al., Learning Markov Decision Processes for Model Checking, Quantities in Formal Methods (QFM'12, pp.49-63, 2012.
DOI : 10.4204/EPTCS.103.6
URL : http://doi.org/10.4204/eptcs.103.6

D. Melpignano, L. Benini, E. Flamand, B. Jego, T. Lepley et al., Platform 2012, a many-core computing accelerator for embedded SoCs, Proceedings of the 49th Annual Design Automation Conference on, DAC '12, pp.1137-1142, 2012.
DOI : 10.1145/2228360.2228568

S. Mohanty and V. K. Prasanna, Rapid system-level performance evaluation and optimization for application mapping onto SoC architectures, 15th Annual IEEE International ASIC/SOC Conference, 2002.
DOI : 10.1109/ASIC.2002.1158049

J. Mutch and D. G. Lowe, Object Class Recognition and Localization Using Sparse Features with Limited Receptive Fields, International Journal of Computer Vision, vol.5, issue.7, pp.45-57, 2008.
DOI : 10.1007/s11263-007-0118-0

A. Nouri, Rigorous System-Level Modeling and Performance Evaluation for Embedded System Design, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01148690

A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel et al., Statistical model checking QoS properties of systems with SBIP, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.171-185, 2015.
DOI : 10.1007/s10009-014-0313-6
URL : https://hal.archives-ouvertes.fr/hal-01087822

A. Nouri, M. Bozga, A. Molnos, A. Legay, and S. Bensalem, Building faithful high-level models and performance evaluation of manycore embedded systems, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.209-218, 2014.
DOI : 10.1109/MEMCOD.2014.6961864
URL : https://hal.archives-ouvertes.fr/hal-01087671

A. Nouri, B. Raman, M. Bozga, A. Legay, and S. Bensalem, Faster Statistical Model Checking by Means of Abstraction and Learning, Runtime Verification -5th International Conference, pp.340-355, 2014.
DOI : 10.1007/978-3-319-11164-3_28
URL : https://hal.archives-ouvertes.fr/hal-01087676

A. D. Pimentel, The Artemis workbench for system-level performance evaluation of embedded systems, International Journal of Embedded Systems, vol.3, issue.3, pp.181-196, 2008.
DOI : 10.1504/IJES.2008.020299

A. D. Pimentel, C. Erbas, and S. Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Transactions on Computers, vol.55, issue.2, pp.99-112, 2006.
DOI : 10.1109/TC.2006.16

A. D. Pimentel, M. Thompson, S. Polstra, and C. Erbas, Calibration of Abstract Performance Models for System-Level Design Space Exploration, Journal of Signal Processing Systems, vol.53, issue.11, pp.99-114, 2008.
DOI : 10.1007/s11265-007-0085-2

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

L. Thiele, I. Bacivarov, W. Haid, and K. Huang, Mapping Applications to Tiled Multiprocessor Embedded Systems, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), pp.29-40, 2007.
DOI : 10.1109/ACSD.2007.53

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698

. Vose, Risk Analysis: A Quantitative Guide, 2008.

H. L. Younes, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.