Theses

  1. 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).
  2. 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

  1. 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).
  2. 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).
  3. 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).
  4. 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))
  5. 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))
  6. 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).
  7. 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).
  8. 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).
  9. 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).
  10. 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

  1. T.S. Hoang. Generic Instantiation and Tool Support. Rodin Workshop 2013, Aabo Akademi, Turku, Finland, June 2013 (slides, 4-up handout).
  2. T.S. Hoang. A Step-wise Development Method with Progress Concerns. InfSec Group Seminar, ETH Zurich, March 2013 (slides, 2x2 handout).
  3. T.S. Hoang. Proof Hints for Event-B. Rodin Users and Developers Workshop, Fontainebleau, France, February 2012 (slides, 4-up handout).
  4. T.S. Hoang. Proof Rules for Invariance and Liveness Properties. Ascona Meeting, Ascona, Switzerland, February 2011 (slides, 4-up handout).
  5. T.S. Hoang. Developing Control Systems in Event-B. Invited Talk, McMaster University, Canada, November 2010 (slides, 4-up handout).
  6. T.S. Hoang. Event-B User Interfaces. Rodin Plenary Meeting, Southampton, U.K., March 2007 (slides, print).
  7. T.S. Hoang. Event-B User Interfaces. Rodin Plenary Meeting, Aix-en-Provence, France, April 2006 (slides, print).
  8. T.S. Hoang. Probabilistic Invariants for Probabilistic Machines. Formal Methods Club, ETH-Zürich, Switzerland, November 2005 (slides, print).
  9. T.S. Hoang. User Interfaces. The Third Rodin Workshop, ETH Zurich, Switzerland, November 2005 (slides, print).
  10. T.S. Hoang. Multiple-expectation System. RefineNet Workshop 2005, Manchester, United Kingdom, October 2005 (slides, print).
  11. 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).
  12. T.S. Hoang. The Development of a Toolkit to Support Probabilistic B-Method. ARW, University of Queensland, December 2001 (slides).

Posters

  1. 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)
  2. 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).
  3. T.S. Hoang. Probabilistic Refinement. At ISAG Meeting, Canberra, Australia, 2004 (pdf, ps.gz).
  4. 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).
  5. 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).


 
This web page is written using Aquamacs. Last modified: Sun Apr 30 14:39:10 BST 2017
by Thai Son Hoang
top