Parametric probabilistic transition systems for system design and analysis, Formal Aspects of Computing, vol.176, issue.1, pp.93-109, 2007. ,
DOI : 10.1007/s00165-006-0015-2
Probabilistic reachability for parametric Markov models, ) SPIN. LNCS, pp.88-106, 2009. ,
Probabilistic reachability for parametric Markov models, STTT, 2010. ,
Crowds: anonymity for Web transactions, ACM Transactions on Information and System Security, vol.1, issue.1, pp.66-92, 1998. ,
DOI : 10.1145/290163.290168
Probabilistic analysis of an anonymity system, Journal of Computer Security, vol.12, issue.3-4, pp.355-377, 2004. ,
DOI : 10.3233/JCS-2004-123-403
PRISM: A Tool for Automatic Verification of Probabilistic Systems, TACAS 2006, pp.441-444, 2006. ,
DOI : 10.1007/11691372_29
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains, ICTAC 2004, pp.280-294, 2005. ,
DOI : 10.1007/978-3-540-31862-0_21
Introduction to automata theory, languages , and computation, SIGACT News, pp.60-65, 2001. ,
Optimal state-space lumping in Markov chains, Information Processing Letters, vol.87, issue.6, pp.309-315, 2003. ,
DOI : 10.1016/S0020-0190(03)00343-0
Weak bisimulation for fully probabilistic processes, CAV 1997, pp.119-130, 1997. ,
DOI : 10.1007/3-540-63166-6_14
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003. ,
DOI : 10.1109/32.588521
The Design of CoCoALib, ICMS 2006, pp.205-215, 2006. ,
DOI : 10.1007/11832225_18
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.141-150, 2007. ,
DOI : 10.1109/QEST.2007.27