Quick links

• My DBLP page is here.
• My ResearchGate page is here.
• Full list of publications.
• List of other documents (theses, technical reports, presentation slides, posters).

Selected Publications

1. T.S. Hoang , C. Snook , A. Salehi , M. Butler , and L. Ladenberger . Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. In Science of Computer Programming, November 2017 © Elsevier (abstract, bibtex, pdf, link).
2. A. Fürst , T.S. Hoang , D. Basin , N. Sato , and K. Miyazaki . Large-scale system development using Abstract Data Types and refinement. In Science of Computer Programming, 131:59-75, December 2016 © Elsevier (abstract, bibtex, pdf, link).
3. S. Hudon , T.S. Hoang , and J. Ostroff . The Unit-B method: refinement guided by progress concerns.. In Software and System Modeling, 15(4):1091-1116, February 2016 © Springer-Verlag (abstract, bibtex, pdf, link).
4. 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).
5. 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).
6. G. Ciobanu , T.S. Hoang , A. Stefanescu . From TiMo to Event-B: Event-Driven Timed Mobility. 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.
7. 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).
8. 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).
9. 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)
10. 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).
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).