Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol, Formal Aspects of Computing, vol.14, issue.3, pp.215-227, 2003. ,
DOI : 10.1007/s001650300002
URL : https://hal.archives-ouvertes.fr/inria-00099531
A brief introduction to visidia, 2007. ,
Complexity analysis of a decentralised graph colouring algorithm, Information Processing Letters, vol.107, issue.2, pp.60-63, 2008. ,
DOI : 10.1016/j.ipl.2008.01.002
Qualitative Probabilistic Modelling in Event-B, IFM, pp.293-312, 2007. ,
DOI : 10.1007/978-3-540-73210-5_16
PRISM: Probabilistic Symbolic Model Checker, Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp.200-204, 2002. ,
DOI : 10.1007/3-540-46029-2_13
The Challenge of Probabilistic Event B???Extended Abstract???, ZB, pp.162-171, 2005. ,
DOI : 10.1007/11415787_10
Probabilistic predicate transformers, ACM Transactions on Programming Languages and Systems, vol.18, issue.3, pp.325-353, 1996. ,
DOI : 10.1145/229542.229547
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.166.127
Refinement-based guidelines for constructing algorithms, Refinement Based Methods for the Construction of Dependable Systems, number 09381 in Dagstuhl Seminar Proceedings Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. ,
An analysis of an optimal bit complexity randomised distributed vertex colouring algorithm (extended abstract), OPODIS, pp.359-364, 2009. ,
Des calculs locaux aux algorithmes distribués, 2004. ,
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems, Integration of Model based Formal Methods and Tools, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00361933