Quick links
- My DBLP page is here.
- Full list of publications.
- List of other documents (theses,
technical reports, presentation slides, posters).
Selected Publications
- T.S. Hoang. Security Invariants in Discrete
Transition Systems. To appear in Formal Aspects of
Computing 2012 © Springer-Verlag (abstract, bibtex, pdf, link).
-
T.S. Hoang, A. McIver, L. Meinicke, C. Morgan, A. Sloane,
E. Susatyo. Abstractions of Non-interference Security:
Probabilistic versus Possibilistic. To appear in
Formal Aspects of Computing 2012 © Springer-Verlag
(abstract, bibtex,
pdf, link).
- S. Hallerstede and T.S. Hoang. Refinement by Interface
Instantiation. In ABZ 2012, Pisa, Italy, June 19-21, 2012 ©
Springer-Verlag (abstract,
bibtex, pdf, link).
- T.S. Hoang and J-R. Abrial. Reasoning about
Liveness Properties in Event-B. In ICFEM 2011, Durham,
United Kingdom, October 26-28, 2011 © Springer-Verlag (abstract,
bibtex,
pdf, link, slides, print (slides)).
- 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).
- T.S. Hoang,
A. Fürst and J-R. Abrial. Event-B
Patterns and Their Tool Support. In Software and Systems
Modelling, 2011 © Springer-Verlag (abstract, bibtex, pdf, link).
- T.S. Hoang and J-R. Abrial. Event-B
Decomposition for Parallel Programs. In ABZ2010: Abstract
State Machine, Alloy, Event-B and Z, Second International
Conference, Orford, Canada, February 23-25, 2010 ©
Springer (abstract, bibtex, pdf, link, slides, print (slides)).
- 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).
- S. Hallerstede, T.S. Hoang. Qualitative Probabilistic
Modelling in Event-B. In IFM 2007: Integrated Formal
Methods, 6th International Conference Proceedings, Oxford, UK,
July 2-5, 2007, volume 4591 of LNCS ©
Springer-Verlag (abstract, bibtex, pdf, link). Awarded Best
Paper.
- S. Schneider, T.S. Hoang, K. Robinson and H. Treharne. Tank Monitoring: a pAMN Case
Study. Formal Aspects in Computing, volume 18, number
3, September 2006 © Springer-Verlag. (abstract, bibtex, @ S. Schneider's website, link).
- T.S. Hoang, Z. Jin, K. Robinson, A. McIver, and C. Morgan. Development via Refinement in
Probabilistic B --- Foundation and Case Study. ZB2005:
Formal Specification in Z and B, Proceedings of the 4th
International Conference of B and Z Users, volume
3455 of LNCS, Guildford, UK, April 2005 ©
Springer-Verlag (abstract,
bibtex,
pdf, link, slides, print (slides)).
- T.S. Hoang, Z. Jin, K. Robinson, A. McIver, and C. Morgan. Probabilistic Invariant for
Probabilistic Machines. In D. Bert, J.P. Bowen, S. King, and
M. Waldén, editors, ZB2003: Formal Specification and
Development in Z and B, Proceedings of the 3rd International
Conference of B and Z Users, volume 2651 of LNCS, Turku, Finland,
June 2003 © Springer-Verlag (abstract, bibtex, pdf, link, slides).