Quick links

Selected Publications

  1. S. Hallerstede, T.S. Hoang. Refinement of Decomposed Models by Interface Instantiation. In Science of Computer Programming, 94(2):144-163, November 2014 © Elsevier (abstract, bibtex, pdf, link).
  2. A. Fürst, T.S. Hoang, D. Basin, K. Desai, N. Sato, and K. Miyazaki. Code Generation for Event-B. In IFM, volume 8737 of Lecture Notes in Computer Science, pages 323–338, Bertinoro, Italy, September 2014 © Springer-Verlag (abstract, bibtex, pdf, link).
  3. G. Ciobanu, T.S. Hoang, A. Stefanescu. From TiMo to Event-B: Event-Driven Timed Mobility. To appear in Proceedings of the 19th IEEE International Conference on Engineering of Complex Systems (ICECCS 2014), pages 1-10, Tianjin, China, August 2014 © IEEE Computer Society (abstract, bibtex, pdf, link). Awarded Best Paper.
  4. 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).
  5. 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).
  6. 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).
  7. 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).
  8. 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)
  9. 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).
  10. 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)).
  11. 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).
 
This web page is written using Xemacs. Last modified: Sun Oct 12 23:55:42 JST 2014