| 2009 |
|---|
| 9 | EE | Thai Son Hoang,
Hironobu Kuruma,
David A. Basin,
Jean-Raymond Abrial:
Developing Topology Discovery in Event-B.
IFM 2009: 1-19 |
| 2008 |
|---|
| 8 | EE | Jean-Raymond Abrial,
Thai Son Hoang:
Using Design Patterns in Formal Methods: An Event-B Approach.
ICTAC 2008: 1-2 |
| 2007 |
|---|
| 7 | EE | Stefan Hallerstede,
Thai Son Hoang:
Qualitative Probabilistic Modelling in Event-B.
IFM 2007: 293-312 |
| 2006 |
|---|
| 6 | EE | Steve Schneider,
Thai Son Hoang,
Ken Robinson,
Helen Treharne:
Tank monitoring: a pAMN case study.
Formal Asp. Comput. 18(3): 308-328 (2006) |
| 2005 |
|---|
| 5 | EE | Carroll Morgan,
Thai Son Hoang,
Jean-Raymond Abrial:
The Challenge of Probabilistic Event B - Extended Abstract.
ZB 2005: 162-171 |
| 4 | EE | Thai Son Hoang,
Zhendong Jin,
Ken Robinson,
Annabelle McIver,
Carroll Morgan:
Development via Refinement in Probabilistic B - Foundation and Case Study.
ZB 2005: 355-373 |
| 3 | EE | Steve A. Schneider,
Thai Son Hoang,
Ken Robinson,
Helen Treharne:
Tank Monitoring: A pAMN Case Study.
Electr. Notes Theor. Comput. Sci. 137(2): 183-204 (2005) |
| 2003 |
|---|
| 2 | EE | Annabelle McIver,
Carroll Morgan,
Thai Son Hoang:
Probabilistic Termination in B.
ZB 2003: 216-239 |
| 1 | EE | Thai Son Hoang,
Zhendong Jin,
Ken Robinson,
Annabelle McIver,
Carroll Morgan:
Probabilistic Invariants for Probabilistic Machines.
ZB 2003: 240-259 |
