The University of Southampton

Professional

Conferences attended

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

Publications

Hoang, Thai 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, Thai, Snook, Colin, Ladenberger, Lukas and Butler, Michael (2016) Formal specification of a Haemodialysis Machine (HD Machine) using Event-B University of Southampton [Dataset]

Snook, Colin, Hoang, Thai and Butler, Michael (2016) iUML-B model of VLAN system University of Southampton doi:10.5258/SOTON/403533 [Dataset]

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, Thai 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 Son 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. 15 pp, pp. 84-98.

Hoang, Thai Son, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) Class diagrams for Abstract Data Types At The 14th International Colloquium on Theorectical Aspect of Computing, Hanoi, Viet Nam. 23 - 27 Oct 2017. 18 pp.

Butler, Michael, Dghaym, Dana, Fischer, Tomas, Hoang, Thai Son, Reichl, Klaus, Snook, Colin and Tummeltshammer, Peter (2017) Formal modelling techniques for efficient development of railway control products At International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification, Pistoia, Italy. 14 - 16 Nov 2017.

Hoang, Thai, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) RailGround using Theory plug-in University of Southampton doi:10.5258/SOTON/D0162 [Dataset]

Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Harvey, Waldron, Xanthippe and Wilkinson, Toby (2017) Formal development of policing functions for intelligent systems At The 28th International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France. 23 - 26 Oct 2017. 11 pp.

Snook, Colin, Dghaym, Dana, Hoang, Thai, Butler, Michael, Reichl, Klaus, Fischer, Tomas and Tummeltshammer, Peter (2017) Railground RSSRail models - iUML-B/Event-B University of Southampton doi:10.5258/SOTON/D0184 [Dataset]

Hudon, Simon, Hoang, Thai Son and Ostroff, Jonathan S. (2016) The Unit-B method: refinement guided by progress concerns Software and Systems Modeling, 15, (4), pp. 1091-1116.

Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Harvey, Waldron, Xanthippe and Wilkinson, Toby (2017) Route Validation in Event-B University of Southampton doi:10.5258/SOTON/D0217 [Dataset]

Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2017) A composition mechanism for refinement-based methods At 22nd International Conference on Engineering of Complex Computer Systems, Fukuoka, Japan. 05 - 08 Nov 2017. 10 pp.

Contact

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.

×