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
Approximate Probabilistic Model Checking, VMCAI, pp.73-84, 2004. ,
DOI : 10.1007/978-3-540-24622-0_8
Verification and planning for stochastic processes with asynchronous events, 2005. ,
Component Assemblies in the Context of Manycore, FMCO, 2011. ,
DOI : 10.1007/3-540-16042-6_21
URL : https://hal.archives-ouvertes.fr/hal-00878716
Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3 ,
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395
Statistical model checking QoS properties of systems with SBIP, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.1-15, 2014. ,
DOI : 10.1007/s10009-014-0313-6
URL : https://hal.archives-ouvertes.fr/hal-01087822
Object Class Recognition and Localization Using Sparse Features with Limited Receptive Fields, International Journal of Computer Vision, vol.5, issue.7, 2008. ,
DOI : 10.1007/s11263-007-0118-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.7625
Platform 2012, a many-core computing accelerator for embedded SoCs, Proceedings of the 49th Annual Design Automation Conference on, DAC '12, 2012. ,
DOI : 10.1145/2228360.2228568
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
Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945. ,
DOI : 10.1214/aoms/1177731118
Hardwaresoftware Co-design of Embedded Systems: The POLIS Approach, 1997. ,
A framework for automated distributed implementation of component-based models, Distributed Computing, pp.383-409, 2012. ,
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995
Performance Evaluation of Computer and Communication Systems, 2010. ,
DOI : 10.1201/b16328
Risk analysis : a quantitative guide, 2008. ,
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
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
Statistical Data Analysis [18] R Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, 1998. ,
fitdistrplus:help to fit of a parametric distribution to non-censored or censored data, 2014. ,
Rigorous implementation of real-time systems ??? from theory to application, Mathematical Structures in Computer Science, vol.16, issue.04, pp.882-914, 2013. ,
DOI : 10.1007/BFb0028726
Statistical Model Checking QoS Properties of Systems with SBIP, ISoLA, issue.1, pp.2012-327 ,
DOI : 10.1007/978-3-642-34026-0_25
URL : https://hal.archives-ouvertes.fr/hal-01087822
Calibration of Abstract Performance Models for System-Level Design Space Exploration, Journal of Signal Processing Systems, vol.53, issue.11, pp.99-114 ,
DOI : 10.1007/s11265-007-0085-2
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
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
Milan: A model based integrated simulation framework for design of embedded systems, pp.82-93, 2001. ,
Generation and calibration of compositional performance analysis models for multi-processor systems, 2009 International Symposium on Systems, Architectures, Modeling, and Simulation, pp.92-99 ,
DOI : 10.1109/ICSAMOS.2009.5289246
Reliable estimation of execution time of embedded software, " ser. DATE '01, pp.580-589 ,
The Artemis workbench for system-level performance evaluation of embedded systems, International Journal of Embedded Systems, vol.3, issue.3, 2005. ,
DOI : 10.1504/IJES.2008.020299
Mapping Applications to Tiled Multiprocessor Embedded Systems, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007. ,
DOI : 10.1109/ACSD.2007.53
System level performance analysis -the symta/s approach, IEEE Proceedings Computers and Digital Techniques, 2005. ,
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
METAMOC: Modular execution time analysis using model checking, WCET, pp.113-123, 2010. ,
A Tutorial on Uppaal, SFM, pp.200-236, 2004. ,
DOI : 10.1007/978-3-540-30080-9_7
Fatser statistical model checking by means of abstraction and learning, Runtime Verification, 2014. ,