Fortuna: Model Checking Priced Probabilistic Timed Automata, 2010 Seventh International Conference on the Quantitative Evaluation of Systems, pp.273-281, 2010. ,
DOI : 10.1109/QEST.2010.41
A formal analysis of bluetooth device discovery, International Journal on Software Tools for Technology Transfer, vol.12, issue.3/4, pp.621-632, 2006. ,
DOI : 10.1007/s10009-006-0014-x
A Modest Approach to Checking Probabilistic Timed Automata, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.187-196, 2009. ,
DOI : 10.1109/QEST.2009.41
Probabilistic model checking of complex biological pathways, TCS, vol.319, issue.3, pp.239-257, 2008. ,
Approximate Probabilistic Model Checking, Proc. VMCAI'04, pp.307-329, 2004. ,
DOI : 10.1007/978-3-540-24622-0_8
Model checking probabilistic real time systems, Proc. 7th Nordic Workshop on Programming Theory, pp.247-261, 1996. ,
The ins and outs of the probabilistic model checker MRMC, Proc. QEST'09, pp.167-176, 2009. ,
Abstraction Refinement for Probabilistic Software, Proc. VMCAI'09, pp.182-197, 2009. ,
DOI : 10.1007/978-3-540-93900-9_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.3875
A game-based abstraction-refinement framework for??Markov decision processes, Formal Methods in System Design, vol.58, issue.1???2, 2010. ,
DOI : 10.1007/s10703-010-0097-6
Stochastic Games for Verification of Probabilistic Timed Automata, Proc. FORMATS'09, pp.212-227, 2009. ,
DOI : 10.1007/s10703-005-1632-8
URL : https://hal.archives-ouvertes.fr/inria-00457923
Performance analysis of probabilistic timed automata using digital clocks, pp.33-78, 2006. ,
Automatic verification of real-time systems with discrete probability distributions, Theoretical Computer Science, vol.282, issue.1, pp.101-150, 2002. ,
DOI : 10.1016/S0304-3975(01)00046-9
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Proc. CAV'02, pp.223-235, 2002. ,
DOI : 10.1007/3-540-45657-0_17