P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and . Pekergin, COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.143-144, 2011.
DOI : 10.1109/QEST.2011.24

N. Barkai and &. Leibler, Biological rhythms: Circadian clocks limited by noise, Nature, vol.403, pp.267-26810, 2000.

A. Basu, S. Bensalem, M. Bozga, and B. Caillaud, Statistical Abstraction and Model-Checking of Large Heterogeneous Systems, Beno??tBeno??t Delahaye & Axel Legay Lecture Notes in Computer Science, vol.6117, pp.32-46, 2010.
DOI : 10.1007/978-3-642-13464-7_4
URL : https://hal.archives-ouvertes.fr/hal-01055148

A. Basu, S. Bensalem, and M. Bozga, Statistical abstraction and model-checking of large heterogeneous systems, Beno??tBeno??t Delahaye & Axel Legay STTT, vol.14, issue.1, pp.53-72, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01055148

A. Basu, S. Bensalem, M. Bozga, and B. Delahaye, Verification of an AFDX Infrastructure Using Simulations and Probabilities, Axel Legay & Emmanuel Sifakis In: RV, Lecture Notes in Computer Science, vol.6418, pp.330-344, 2010.
DOI : 10.1007/978-3-642-16612-9_25

G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson et al., Minimum-Cost Reachability for Priced Timed Automata, BRICS Report Series, vol.8, issue.3, pp.147-161, 2001.
DOI : 10.7146/brics.v8i3.20457

P. Bulychev, A. David, K. G. Larsen, A. Legay, G. Li et al., Poulsen: Rewrite-Based Statistical Model Checking of WMTL

E. Peter, A. Bulychev, K. G. David, M. Larsen, and . Mikucionis, Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach, pp.1-14, 2012.

E. Peter, A. Bulychev, K. G. David, A. Larsen, and . Legay, Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic, Lecture Notes in Computer Science, vol.7180, pp.168-182, 2012.

E. Clarke and A. Legay, On simulation-based probabilistic model checking of mixed-analog circuits. Formal Methods in System Design 36, pp.97-11310, 2010.

A. David, D. Du, K. G. Larsen, M. , and A. Skou, An evaluation framework for energy aware buildings using statistical model checking, Science China Information Sciences, vol.68, issue.12, 2012.
DOI : 10.1007/s11432-012-4742-0

A. David, K. G. Larsen, and M. Miku?ionis, Schedulability of Herschel-Planck Revisited Using Statistical Model Checking, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2012.
DOI : 10.1007/978-3-642-34032-1_28

A. David, K. G. Larsen, and A. Legay, Runtime Verification of Biological Systems, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2012.
DOI : 10.1007/978-3-642-34026-0_29
URL : https://hal.archives-ouvertes.fr/hal-01088165

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, D. B. Poulsen et al., Statistical Model Checking for Networks of Priced Timed Automata, FORMATS, pp.80-96, 2011.
DOI : 10.1145/1755952.1755987

A. David, K. G. Larsen, and A. Legay, Time for Statistical Model Checking of Real-Time Systems, Proceedings of the 23rd international conference on Computer aided verification, pp.349-355, 2011.
DOI : 10.1007/s10009-005-0187-8

A. David, K. G. Larsen, A. Legay, U. Nyman, and A. Wasowski, Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-10010, 2010.
DOI : 10.1145/1755952.1755967

A. Fehnker and &. Ivancic, Benchmarks for Hybrid Systems Verification, HSCC, Lecture Notes in Computer Science 2993, pp.326-341, 2004.
DOI : 10.1007/978-3-540-24743-2_22

T. Daniel and . Gillespie, Exact Stochastic Simulation of Coupled Chemical Reactions, Journal of Physical Chemistry, vol.81, pp.2340-236110, 1977.

R. Gómez, A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata, Lecture Notes in Computer Science, vol.3, issue.3, pp.179-194, 2009.
DOI : 10.1007/s00165-006-0008-1

H. Gong, P. Zuliani, A. Komuravelli, J. R. Faeder, &. Edmund et al., Computational Modeling and Verification of Signaling Pathways in Cancer, In: ANB, Lecture Notes in Computer Science, vol.6479, pp.117-135, 2010.
DOI : 10.1007/978-3-642-28067-2_7

C. Jegourel, A. Legay-&-sean, and . Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, LNCS, 2012.
DOI : 10.1007/978-3-642-31424-7_26
URL : https://hal.archives-ouvertes.fr/hal-01087341

C. Jegourel, A. Legay-&-sean, and . Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, TACAS, 2012.
DOI : 10.1007/978-3-642-28756-5_37
URL : https://hal.archives-ouvertes.fr/hal-01087824

E. M. Sumit-kumar-jha, C. J. Clarke, A. Langmead, A. Legay, P. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, CMSB, pp.218-234, 2009.

I. S. Joost-pieter-katoen, E. Zapreev, H. Moritz-hahn, &. Hermanns, N. David et al., The ins and outs of the probabilistic model checker MRMC, Performance Evaluation, vol.68, issue.2, pp.90-104, 2011.
DOI : 10.1016/j.peva.2010.04.001

R. Koymans, Specifying real-time properties with metric temporal logic, Real-Time Systems, vol.XI, issue.4, pp.255-29910, 1990.
DOI : 10.1007/BF01995674

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

K. Skou, Bisimulation through Probabilistic Testing, Inf. Comput, vol.94, issue.191, pp.1-2810, 1991.

A. Legay, B. Delahaye, and &. Bensalem, Statistical Model Checking: An Overview, In: RV, Lecture Notes in Computer Science, vol.6418, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

J. Martins, A. Platzer, and &. Leite, Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications, In: ICFEM, Lecture Notes in Computer Science, vol.204, issue.9, pp.131-146, 2011.
DOI : 10.1145/1755952.1755987

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

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

M. G. José, . Vilar, N. Hao-yuan-kueh, &. Barkai, and . Leibler, Mechanisms of noiseresistance in genetic oscillators, Proceedings of the National Academy of Sciences, vol.99, issue.9, pp.5988-5992, 2002.

L. S. Håkan, &. Younes, G. Reid, and . Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, CAV, LNCS 2404, pp.223-235, 2002.

P. Zuliani, C. Baier, &. Edmund, and 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, &. Edmund, and M. Clarke, Bayesian statistical model checking with application to Simulink/Stateflow verification, pp.243-25210, 2010.