The University of Southampton


Conferences attended

  • ABZ 2016: The 5th International Conference, Abstract State Machines, Alloy, B, TLA, VDM, and Z.


Hoang, Son, Snook, Colin, Ladenberger, Lukas and Butler, Michael (2016) Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion Studio, and co-simulation At Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. , pp. 360-375. (doi:10.1007/978-3-319-33600-8_31).

Butler, Michael and Hoang, Thai Son (eds.) (2016) Proceedings of the 6th Rodin User and Developer Workshop, 2016 , Southampton, GB University of Southampton 36pp.

Fürst, Andreas, Hoang, Thai Son, Basin, David, Sato, Naoto and Miyazaki, Kunihiko (2016) Large-scale system development using abstract data types and refinement Science of Computer Programming, pp. 1-17. (doi:10.1016/j.scico.2016.04.010).

Hoang, Thai Son, Schneider, Steve, Treharne, Helen and Williams, David (2016) Foundations for using linear temporal logic in Event-B refinement Formal Aspects of Computing, pp. 1-27. (doi:10.1007/s00165-016-0376-0).

Hoang, Son, Voisin, Laurent, Salehi Fathabadi, Asieh, Butler, Michael, Wilkinson, Toby and Beauger, Nicolas (2017) Theory plug-in for Rodin 3.x Computing Research Repository, abs/1701.08625, pp. 1-9.

Hoang, Son, Salehi Fathabadi, Asieh, Butler, Michael and Voisin, Laurent (2016) Theory plug-in for Rodin 3.x At 6th Rodin User and Developer Workshop, Austria. 23 May 2016. 2 pp.

Snook, Colin, Hoang, Thai and Butler, Michael (2017) Analysing security protocols using refinement in iUML-B At 9th NASA Formal Methods Symposium, Moffett Field, CA, United States. 16 - 18 May 2017.


Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.