Theses
- T.S. Hoang. The Development of a
Probabilistic B-Method and a Supporting Toolkit. Ph.D
thesis, School of Computer Science and Engineering, The
University of New South Wales, Sydney, Australia, June 2005 (abstract, bibtex, pdf).
- T.S. Hoang. An Exploration of
Implementation and Code Generation by the
B-Toolkit. Computer Engineering Thesis, School of
Computer Science and Engineering, The Universtiy of New South
Wales, Sydney, Australia, June 2001 (bibtex,
pdf).
Technical Reports
- T.S. Hoang and S. Hudon. Developing Control
Systems with Some Fragile Environment. Technical Report
723, Department of Computer Science, ETH-Zürich,
Switzerland, April 2011 (abstract,
link).
- R. Silva, C. Pascal, T.S. Hoang and M. Butler. Decomposition in Event-B. In
Proceedings of the 2nd Rodin User and Developer Workshop,
20th-22nd September 2010, University of Dusseldorf, Dusseldorf,
Germany (bibtex).
- T.S. Hoang. How to Interpret Failed Proofs
in Event-B. Technical Report 672, Department of
Computer Science, ETH-Zürich, Switzerland, April 2010 (abstract,
bibtex,
link).
- T.S. Hoang and J-R. Abrial. Event-B Decomposition for
Parallel Programs (Extended Abstract). In J-R. Abrial,
M. Butler, R. Joshi, E. Troubitsyna and J. Woodcock, editors,
Dagstuhl Seminar 09381 - Refinement Based Methods for the
Construction of Dependable Systems, Dagstuhl, Germany,
September 2009. (bibtex, pdf, link,
slides, slides (2x2))
- S. Hallerstede and T.S. Hoang. Qualitative Reasoning for the
Dining Philosophers (Extended Abstract). In J-R. Abrial,
M. Butler, R. Joshi, E. Troubitsyna and J. Woodcock, editors,
Dagstuhl Seminar 09381 - Refinement Based Methods for the
Construction of Dependable Systems, Dagstuhl, Germany,
September 2009. (bibtex, pdf, link,
slides,
slides (2x2))
- T.S. Hoang and A. Fürst. Using the Generalised
Substitution Language for Event-B Semantics. Technical
Report 667, Department of Computer Science, ETH-Zürich,
Switzerland, April 2010 (abstract, bibtex, link).
- T.S. Hoang and J-R. Abrial. Event-B
Development of the FindP Program. Technical Report 653,
Department of Computer Science, ETH-Zürich, Switzerland,
November 2009 (abstract,
bibtex,
link).
- T.S. Hoang, D. Basin and J-R. Abrial. Specifying Access
Control in Event-B. Technical Report 624, Department of
Computer Science, ETH-Zürich, Switzerland, June 2009 (abstract,
bibtex,
link).
- T.S. Hoang, H. Kuruma, D. Basin and J-R. Abrial. Developing
Topology Discovery in Event-B. Technical Report 611,
Department of Computer Science, ETH-Zürich, Switzerland,
November 2008 (abstract,
bibtex,
link).
- S. Schneider, T.S. Hoang, K. Robinson and H. Treharne. Tank Monitoring: a pAMN Case
Study. Royal Holloway Technical Report: CSD-TR-03-17,
Royal Holloway, University of London, March 2004 (abstract, bibtex, pdf).
Presentations
- T.S. Hoang. Generic Instantiation and Tool
Support. Rodin Workshop 2013, Aabo Akademi, Turku,
Finland, June 2013 (slides, 4-up handout).
- T.S. Hoang. A Step-wise Development Method
with Progress Concerns. InfSec Group Seminar, ETH
Zurich, March 2013 (slides, 2x2 handout).
- T.S. Hoang. Proof Hints for
Event-B. Rodin Users and Developers Workshop,
Fontainebleau, France, February 2012 (slides, 4-up
handout).
- T.S. Hoang. Proof Rules for Invariance and
Liveness Properties. Ascona Meeting,
Ascona, Switzerland, February 2011 (slides, 4-up handout).
- T.S. Hoang. Developing Control Systems in
Event-B. Invited Talk,
McMaster University, Canada, November 2010 (slides, 4-up handout).
- T.S. Hoang. Event-B User
Interfaces. Rodin Plenary Meeting,
Southampton, U.K., March 2007 (slides, print).
- T.S. Hoang. Event-B User
Interfaces. Rodin Plenary Meeting,
Aix-en-Provence, France, April 2006 (slides, print).
- T.S. Hoang. Probabilistic Invariants for
Probabilistic Machines. Formal Methods Club,
ETH-Zürich, Switzerland, November 2005 (slides, print).
-
T.S. Hoang. User Interfaces. The
Third Rodin Workshop, ETH Zurich, Switzerland, November 2005
(slides, print).
- T.S. Hoang. Multiple-expectation
System. RefineNet Workshop 2005, Manchester, United
Kingdom, October 2005 (slides, print).
- K. Robinson, T.S. Hoang, H. Treharne, S. Schneider and N. Evans. Tunnelling from
CSP to B and back. One Day Worskop on B, Royal
Holloway, University of London, July 2003 (slides, print).
- T.S. Hoang. The Development of a Toolkit to
Support Probabilistic B-Method. ARW, University of
Queensland, December 2001 (slides).
Posters
- J-R. Abrial, D. Basin, T.S. Hoang and M. Schmalz. Event-B: From RODIN to
DEPLOY. At Department of Computer Science Review, ETH
Zürich, Switzerland, November 2008. (pdf)
-
T.S. Hoang. The Development of a Toolkit to
Support Probabilistic B-Method. At ZB2005: Formal
Specification in Z and B, Proceedings of the 4th International
Conference of B and Z Users, Guildford, UK,
April 2005 (pdf).
- T.S. Hoang. Probabilistic Refinement.
At ISAG Meeting, Canberra, Australia, 2004 (pdf, ps.gz).
-
T.S. Hoang, Z. Jin, K. Robinson, A. McIver, and C. Morgan.
Probabilistic Invariant for Probabilistic
Machines. At ZB2003: Formal Specification and Development in Z and
B, Proceedings of the 3rd International Conference of B and Z
Users, Turku, Finland, June 2003 (pdf).
-
T.S. Hoang, Z. Jin, K. Robinson, A. McIver, and C. Morgan.
Almost Certain Termination and Rabin's Choice-Coordination
Algorithm. At ZB2003: Formal Specification and Development in Z and
B, Proceedings of the 3rd International Conference of B and Z
Users, Turku, Finland, June 2003 (pdf).