Modeling in Event-B: system and software engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
Rodin: an open toolset for modelling and reasoning in event-b. International journal on software tools for technology transfer, pp.447-466, 2010. ,
DOI : 10.1007/s10009-010-0145-y
A mechanically proved and incremental development of ieee 1394 tree identify protocol. Formal aspects of computing, pp.215-227, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099531
Refinement and reachability in event-b, ZB 2005: Formal Specification and Development in Z and B, pp.222-241, 2005. ,
DOI : 10.1007/11415787_14
URL : https://hal.archives-ouvertes.fr/inria-00001245
Moving from Event-B to Probabilistic Event-B, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01316610
Construction of Finite Labelled Transition Systems from B Abstract Systems, In Integrated Formal Methods LNCS, pp.235-254, 1945. ,
DOI : 10.1007/3-540-40911-4_14
Practical Theory Extension in Event-B, Theories of Programming and Formal Methods, pp.67-81 ,
DOI : 10.1007/978-3-540-87603-8_18
URL : https://eprints.soton.ac.uk/354288/1/paper_19-1.pdf
Estimating task response time with contentions for real-time distributed systems, Proceedings. Real-Time Systems Symposium, pp.272-281, 1988. ,
DOI : 10.1109/REAL.1988.51122
Qualitative Probabilistic Modelling in Event-B, Integrated Formal Methods, pp.293-312, 2007. ,
DOI : 10.1007/978-3-540-73210-5_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.818
Reasoning about Liveness Properties in Event-B, Formal Methods and Software Engineering, pp.456-471 ,
DOI : 10.1016/0020-0190(81)90106-X
URL : http://e-collection.library.ethz.ch/eserv/eth:4493/eth-4493-01.pdf
The development of a probabilistic B-method and a supporting toolkit, 2005. ,
Reasoning about almost-certain convergence properties using Event-B, Science of Computer Programming, vol.81, pp.108-121, 2014. ,
DOI : 10.1016/j.scico.2013.08.006
Probabilistic Invariants for Probabilistic Machines, ZB 2003: Formal Specification and Development in Z and B, pp.240-259, 2003. ,
DOI : 10.1007/3-540-44880-2_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.6084
Development via Refinement in Probabilistic B ??? Foundation and Case Study, International Conference of B and Z Users, pp.355-373, 2005. ,
DOI : 10.1007/11415787_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.576.5140
Decisive markov chains, Logical Methods in Computer Science, vol.3, 2007. ,
Probabilistic Termination in B, International Conference of B and Z Users, pp.216-239, 2003. ,
DOI : 10.1007/3-540-44880-2_15
The Challenge of Probabilistic Event B???Extended Abstract???, ZB 2005: Formal Specification and Development in Z and B, pp.162-171, 2005. ,
DOI : 10.1007/11415787_10
Abstraction, refinement and proof for probabilistic systems, Monographs in Computer Science, 2005. ,
Randomized algorithms, 2010. ,
Reliability assessment in event-b development, NODES 09, issue.11, 2009. ,
Towards Probabilistic Modelling in Event-B, Integrated Formal Methods, pp.275-289, 2010. ,
DOI : 10.1007/978-3-540-73210-5_23
URL : https://hal.archives-ouvertes.fr/inria-00524594
Integrating stochastic reasoning into Event-B development, Formal Aspects of Computing, vol.6, issue.3, pp.53-77, 2015. ,
DOI : 10.1007/s00165-007-0048-1
Recent advances in modeling response-time distributions in real-time systems, Proceedings of the IEEE, vol.91, issue.7, pp.1023-1037, 2003. ,
DOI : 10.1109/JPROC.2003.814619
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.4118
Reliability, Availability, Maintainability and Safety Assessment, Assessment, Hardware, Software and Human Factors, 1992. ,
Tool support for qualitative reasoning in Event-B, 2010. ,