Precision clock synchronization protocol for networked measurement and control systems, 2004. ,
Modeling Heterogeneous Real-time Systems in BIP, pp.6-9, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00527491
Statistical abstraction and model-checking of large heterogeneous systems, Research Report RR, vol.7238, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01055148
Statistical model checking of mixed-analog circuits with an application to a third order delta-sigma modulator, HVC. LNCS, pp.149-163, 2008. ,
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway, CMSB. LNCS, pp.231-250, 2008. ,
DOI : 10.1007/978-3-540-88562-7_18
Monte Carlo Model Checking, TACAS. LNCS, pp.271-286, 2005. ,
DOI : 10.1007/978-3-540-31980-1_18
Approximate Probabilistic Model Checking, VMCAI. LNCS, pp.73-84, 2004. ,
DOI : 10.1007/978-3-540-24622-0_8
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
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, HVC. LNCS, 2007. ,
DOI : 10.1007/978-3-540-77966-7_9
A Bayesian Approach to Model Checking Biological Systems, CMSB. LNCS, pp.218-234, 2009. ,
DOI : 10.1016/j.ic.2006.05.002
Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007. ,
DOI : 10.1145/1276920.1276922
Statistical Model Checking of Black-Box Probabilistic Systems, LNCS, vol.3114, pp.202-215, 2004. ,
DOI : 10.1007/978-3-540-27813-9_16
Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945. ,
DOI : 10.1214/aoms/1177731118
Verification and Planning for Stochastic Processes with Asynchronous Events, 2005. ,
Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.216-228, 2006. ,
DOI : 10.1007/s10009-005-0187-8