A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and modelchecking of large heterogeneous systems, LNCS, vol.6117, pp.32-46, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01055148

A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay et al., Verification of an AFDX Infrastructure Using Simulations and Probabilities, Proceedings of the First international conference on Runtime verification, pp.330-344, 2010.
DOI : 10.1007/978-3-642-16612-9_25

A. Basu, S. Bensalem, M. Gallien, F. Ingrand, C. Lesire et al., Incremental componentbased construction and verification of a robotic system, ECAI, 2008.

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Systems in BIP, SEFM06, pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay et al., Statistical Model Checking QoS Properties of Systems with SBIP, pp.327-341, 2012.
DOI : 10.1007/978-3-642-34026-0_25
URL : https://hal.archives-ouvertes.fr/hal-01087822

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-Finder: A Tool for Compositional Deadlock Detection and Verification, Proceedings of the 21st International Conference on Computer Aided Verification, CAV '09, pp.614-619, 2009.
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550

S. Bensalem, B. Delahaye, and A. Legay, Statistical model checking: Present and future, RV, 2010.

S. Bensalem, A. Legay, A. Nouri, and D. Peled, Synthesizing distributed scheduling implementation for probabilistic component-based systems, In MEMOCODE, pp.87-96, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01087664

S. Bensalem, L. Silva, A. Griesmayer, F. Ingrand, A. Legay et al., A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems, SC'11, 2011.
DOI : 10.1002/rob.20206

S. Bliudze and J. Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, IEEE Transactions on Computers, vol.57, issue.10, pp.1315-1330, 2008.
DOI : 10.1109/TC.2008.26

J. Bogdoll, L. Fiorti, A. Hartmanns, and H. Hermanns, Partial Order Methods for Statistical Model Checking and Simulation, 2011.
DOI : 10.1145/1755952.1755987

E. M. Clarke, O. Grumberg, and D. A. , Peled. Model Checking, 1999.

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime Verification of Component-Based Systems, In SEFM, vol.15, pp.204-220, 2011.
DOI : 10.1007/978-3-642-16901-4_29
URL : https://hal.archives-ouvertes.fr/hal-00642969

B. Finkbeiner and H. Sipma, Checking Finite Traces Using Alternating Automata, Formal Methods in System Design, vol.24, issue.2, pp.101-127, 2004.
DOI : 10.1023/B:FORM.0000017718.28096.48

P. Gastin and D. Oddoux, Fast LTL to Büchi automata translation, Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01), volume 2102 of Lecture Notes in Computer Science, pp.53-65, 2001.

D. Giannakopoulou and K. Havelund, Automata-based verification of temporal properties on running programs, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), p.412, 2001.
DOI : 10.1109/ASE.2001.989841

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, TACAS, pp.271-286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

K. Havelund and G. Rosu, Synthesizing Monitors for Safety Properties, TACAS, pp.342-356
DOI : 10.1007/3-540-46002-0_24

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, VM- CAI, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1214/aoms/1177730491

D. N. Jansen, J. Katoen, M. Oldenkamp, M. Stoelinga, and I. S. Zapreev, How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, HVC, 2007.
DOI : 10.1007/978-3-540-77966-7_9

C. Jégourel, A. Legay, and S. Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, CAV, 2012.
DOI : 10.1007/978-3-642-31424-7_26

C. Jégourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, TACAS, LNCS, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37

J. Katoen and I. S. Zapreev, Simulation-Based CTMC Model Checking: An Empirical Evaluation, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.31-40, 2009.
DOI : 10.1109/QEST.2009.25

J. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns, and D. N. Jansen, The ins and outs of the probabilistic model checker mrmc, QEST, pp.167-176, 2009.

M. Krunz, R. Sass, and H. Hughes, Statistical characteristics and multiplexing of MPEG streams, Proceedings of INFOCOM'95, pp.455-462, 1995.
DOI : 10.1109/INFCOM.1995.515909

M. Krunz and S. K. Tripathi, On the characterization of VBR MPEG streams, SIGMETRICS, pp.192-202, 1997.

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM 2.0: a tool for probabilistic model checking, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., pp.322-323, 2004.
DOI : 10.1109/QEST.2004.1348048

S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. De-rougemont, Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007.
DOI : 10.1145/1276920.1276922

A. Legay and B. Delahaye, Statistical model checking : An overview. CoRR, abs, 1005.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

A. Nouri, A. Legay, S. Bensalem, and M. Bozga, Sbip: A statistical model checking extension for the bip framework, First Workshop on Statistical Model Checking, 2013.

E. Parzen, Stochastic Processes, 1962.
DOI : 10.1137/1.9781611971125

D. E. Rabih and N. Pekergin, Statistical Model Checking Using Perfect Simulation, ATVA, pp.120-134, 2009.
DOI : 10.1007/978-3-642-04761-9_11

B. Raman, A. Nouri, D. Gangadharan, M. Bozga, A. Basu et al., Stochastic modeling and performance analysis of multimedia SoCs, 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), pp.145-154, 2013.
DOI : 10.1109/SAMOS.2013.6621117
URL : https://hal.archives-ouvertes.fr/hal-00878094

G. Rosu and S. Bensalem, Allen linear (interval) temporal logic -translation to ltl and monitor synthesis, CAV, pp.263-277, 2006.

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, CAV, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, CAV, pp.266-280, 2005.
DOI : 10.1007/11513988_26

M. Y. Vardi, Alternating automata and program verification, Computer Science Today, pp.471-485, 1995.
DOI : 10.1007/BFb0015261

A. Wald, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118

D. Wijesekera and J. Srivastava, Quality of service (QoS) metrics for continuous media, Multimedia Tools and Applications, vol.3, issue.No. 1, pp.127-166, 1996.
DOI : 10.1007/BF00429748

P. Wolper, Lectures on formal methods and performance analysis. chapter Constructing automata from temporal logic formulas: a tutorial, pp.261-277, 2002.

F. Ylies, J. Mohamad, N. Thanh-hung, B. Marius, and B. Saddek, Runtime verification of component-based systems in the bip framework with formally-proved sound and complete instrumentation, pp.1-27, 2013.

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

H. L. Younes, E. M. Clarke, and P. Zuliani, Statistical Verification of Probabilistic Properties with Unbounded Until, SBMF, pp.144-160, 2010.
DOI : 10.1016/j.ic.2006.05.002

P. Zuliani, C. Baier, and E. M. Clarke, Rare-event verification for stochastic hybrid systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.217-226, 2012.
DOI : 10.1145/2185632.2185665

P. Zuliani, A. Platzer, and E. M. Clarke, Bayesian statistical model checking with application to simulink/stateflow verification, HSCC, pp.243-252, 2010.