1. L. de Alfaro, Formal verification of probabilistic systems, PhD thesis, Stanford University, Stanford, USA, 1997.
2. Revisiting the asymmetric binary channel: joint noise enhanced detection and information transmission through threshold devices;Amblard,2005
3. A probabilistic approach to estimating computer system reliability;Apthorpe,2001
4. Proofs of randomized algorithms in Coq;Audebaud,2006
5. Model checking algorithms for continuous time Markov chains;Baier;IEEE Transactions on Software Engineering,2003