1. Developing topology discovery in Event-B*

Hoang, Thai Son, Kuruma, Hironobu, Basin, David A. and Abrial, Jean-Raymond (2008)

Reports

2. Event-B Decomposition for Parallel Programs

Hoang, Thai Son and Abrial, Jean-Raymond (2011)

Conference Contributions

3. Event-B development of the FindP program

Hoang, Thai Son and Abrial, Jean-Raymond (2009)

Reports

4. Event-B patterns and their tool support

Hoang, Thai Son, Fürst, Andreas and Abrial, Jean-Raymond (2012)

Reports

5. Event model decomposition

Abrial, Jean-Raymond (2009)

Reports

6. Faultless systems: yes we can!

Abrial, Jean-Raymond (2009)

Reports

7. Reasoning about Liveness Properties in Event-B

Hoang, Thai Son and Abrial, Jean-Raymond (2011)

Conference Contributions

8. Software engineering mathematics

Abrial, Jean-Raymond (2005)

Videos

9. Specifying access control in Event-B

Hoang, Thai Son, Basin, David A. and Abrial, Jean-Raymond (2009)

Reports