Quick links

Selected Publications

  1. G. Ciobanu, T.S. Hoang, A. Stefanescu. From TiMo to Event-B: Event-Driven Timed Mobility. To appear in ICECCS'14, Tianjin, China, August 2014 (abstract, bibtex, pdf, link).
  2. A. Fürst, T.S. Hoang, D. Basin, N. Sato and K. Miyazaki. Formal System Modelling Using Abstract Data Types in Event-B. In ABZ, volume 8477 of Lecture Notes in Computer Science, pages 222–237, Toulouse, France, June 2014 © Springer-Verlag (abstract, bibtex, pdf, link).
  3. T.S. Hoang. Reasoning about Almost-Certain Convergence Properties Using Event-B. In Science of Computer Programming, 81:108-121, February 2014 © Elsevier (abstract, bibtex, pdf, link).
  4. S. Hudon and T.S. Hoang. Systems Design Guided by Progress Concerns. In Integrated Formal Methods, volume 7940 of Lecture Notes in Computer Science pages 16-30, Turku, Finland, June 2013 © Springer-Verlag (abstract, bibtex, pdf, link, slides, 4-up handout).
  5. T.S. Hoang, A. Fürst and J-R. Abrial. Event-B Patterns and Their Tool Support. In Software and Systems Modelling, 12(2):229-244, 2013 © Springer-Verlag (abstract, bibtex, pdf, link).
  6. D. Basin and T.S. Hoang. Technology transfer. In A. Romanovsky and M. Thomas, editors, Industrial Deployment of System Engineering Methods, chapter 13, pages 187-196, July 2013 © Springer-Verlag (abstract, bibtex, pdf, link)
  7. T.S. Hoang. Security Invariants in Discrete Transition Systems. In Formal Aspects of Computing 25(1):59-87, 2013 © Springer-Verlag (abstract, bibtex, pdf, link).
  8. T.S. Hoang and J-R. Abrial. Reasoning about Liveness Properties in Event-B. In Formal Methods and Software Engineering, volume 6991 of Lecture Notes in Computer Science, pages 456-471, Durham, United Kingdom, October 2011 © Springer-Verlag (abstract, bibtex, pdf, link, slides, print (slides)).
  9. J-R. Abrial, M. Butler, S. Hallerstede, T.S. Hoang, F. Mehta and L. Voisin. Rodin: an Open Toolset for Modelling and Reasoning in Event-B. In International Journal on Software Tools for Technology Transfer (STTT), April 2010 © Springer-Verlag (abstract, bibtex, pdf, link).
  10. T.S. Hoang and J-R. Abrial. Event-B Decomposition for Parallel Programs. In Abstract State Machine, Alloy, Event-B and Z, volume 5977 of Lecture Notes in Computer Science, pages 319-333, Orford, Canada, February 2010 © Springer-Verlag (abstract, bibtex, pdf, link, slides, print (slides)).
  11. T.S. Hoang, H. Kuruma, D. Basin and J-R. Abrial. Developing Topology Discovery in Event-B. In Science of Computer Programming, Volume 74, Issues 11-12, November 2009, pages 879-899 © Elsevier (abstract, bibtex, pdf, link).
  12. S. Hallerstede, T.S. Hoang. Qualitative Probabilistic Modelling in Event-B. In Integrated Formal Methods, volume 4591 of Lecture Notes in Computer Science, pages 293-312, Oxford, UK, July 2007, © Springer-Verlag (abstract, bibtex, pdf, link). Awarded Best Paper.
 
This web page is written using Xemacs. Last modified: Sat Jun 21 18:06:33 JST 2014