Randomized algorithms, 2010. ,
A mechanically proved and incremental development of IEEE 1394 tree identify protocol, Formal aspects of computing, vol.14, issue.3, pp.215-227, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099531
, Reliability, Availability, Maintainability and Safety Assessment: Assessment, Hardware, Software and Human Factors, vol.2, 1992.
Estimating task response time with contentions for real-time distributed systems, Real-Time Systems Symposium, pp.272-281, 1988. ,
Recent advances in modeling response-time distributions in real-time systems, Proceedings of the IEEE, vol.91, issue.7, pp.1023-1037, 2003. ,
An introduction to probabilistic automata, Bulletin of the EATCS, vol.78, pp.176-198, 2002. ,
Markov decision processes: discrete stochastic dynamic programming, 2014. ,
Abstraction of probabilistic systems, Formal Modeling and Analysis of Timed Systems: 5th International Conference, 2007. ,
On abstraction of probabilistic systems, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, 2012. ,
Specification and refinement of probabilistic processes, Logic in Computer Science, 1991. LICS'91, pp.266-277, 1991. ,
Model checking of probabilistic and nondeterministic systems, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.499-513, 1995. ,
Principles of model checking, 2008. ,
A Z-Based formalism to specify markov chains, Computer Science and Engineering, vol.2, issue.3, pp.24-31, 2012. ,
Probabilities in action systems, Proc. of the 8th Nordic Workshop on Programming Theory, pp.373-387, 1996. ,
The development of a probabilistic B-method and a supporting toolkit, 2005. ,
Probabilistic proof systems, Modern Cryptography, Probabilistic Proofs and Pseudorandomness, pp.39-72, 1999. ,
DOI : 10.1007/978-3-662-12521-2_2
Probabilistic relational verification for cryptographic implementations, In: ACM SIGPLAN Notices, vol.49, pp.193-205, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00935743
Probabilistic guarded commands mechanized in HOL, Electronic Notes in Theoretical Computer Science, vol.112, pp.95-111, 2005. ,
Proofs of randomized algorithms in Coq, Science of Computer Programming, vol.74, issue.8, pp.568-589, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00431771
Formal verification of probabilistic algorithms, 2003. ,
, Modeling in Event-B: system and software engineering, 2010.
Rodin: an open toolset for modelling and reasoning in Event-B, International journal on software tools for technology transfer, vol.12, issue.6, pp.447-466, 2010. ,
The challenge of probabilistic Event B-extended abstract, ZB 2005: Formal Specification and Development in Z and B, pp.162-171, 2005. ,
Qualitative probabilistic modelling in Event-B, Integrated Formal Methods, pp.293-312, 2007. ,
Tool support for qualitative reasoning in Event-B, p.2010, 2010. ,
Reliability assessment in Event-B development, NODES, vol.09, 2009. ,
Integrating stochastic reasoning into Event-B development, Formal Aspects of Computing, vol.27, issue.1, pp.53-77, 2015. ,
Towards probabilistic modelling in Event-B, Integrated Formal Methods, pp.275-289, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00524594
Moving from Event-B to probabilistic Event-B, Proceedings of the 32th Annual ACM Symposium on Applied Computing, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01316610
Introducing probabilistic reasoning within EventB. Software & Systems Modeling, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01610778
ICT Vs FCT Test : case studies, 2014. ,
, Electronics notes: PCP Inspection Techniques And Technologies
Practical theory extension in Event-B, Theories of Programming and Formal Methods, vol.8051, pp.67-81, 2013. ,