The University of Southampton

Professional

Conferences attended

  • ABZ 2016: The 5th International Conference, Abstract State Machines, Alloy, B, TLA, VDM, and Z.
  • ICTAC 2017: The 14th International Colloquium on Theorectical Aspect of Computing
  • ICECCS 2017: The 22nd International Conference on Engineering of Complex Computer Systems
  • ABZ 2018: The 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z
  • VaVas 2018: Workshop on Verification and Validation of Autonomous Systems (Satellite Workshop of Floc 2018)

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. 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, 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, 1-27. (doi:10.1007/s00165-016-0376-0).

Hoang, Thai Son, 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, 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 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 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. Hung, D. and Kapur, D. (eds.) In Theoretical Aspects of Computing – ICTAC 2017. vol. 10580, Springer. 0 pp, pp. 100-117. (doi:10.1007/978-3-319-67729-3_7).

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. Fantechi, A., Lecomte, T. and Romanovsky, A. (eds.) In RSSRail 2017 : Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. vol. 10598, Springer.. (doi:10.1007/978-3-319-68499-4_5).

Hoang, Thai, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) RailGround using Theory plug-in. University of Southampton [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) (26/10/17) The 28th International Symposium on Software Reliability Engineering (ISSRE), Toulouse, France. 23 - 26 Oct 2017. 11 pp.

Snook, Colin, Dghaym, Dana, Hoang, Thai Son, 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), 1091-1116. (doi:10.1007/s10270-015-0456-2).

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 [Dataset]

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

Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2017) Development of a System Controlling Cars on a Bridge using Machine Inclusion. University of Southampton [Dataset]

Hoang, Thai Son, Snook, Colin, Salehi Fathabadi, Asieh, Butler, Michael and Ladenberger, Lukas (2017) Validating and verifying the requirements and design of a haemodialysis machine using the rodin toolset. Science of Computer Programming. (doi:10.1016/j.scico.2017.11.002).

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. In 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE). IEEE. 11 pp. (doi:10.1109/ISSRE.2017.40).

Fischer, Tomas, Snook, Colin and Hoang, Thai Son (2018) Formal model validation through acceptance tests University of Southampton 14pp. ,

Hoang, Thai Son, Sato, Naoto, Myosin, Tomoyuki, Butler, Michael, Nakagawa, Yuichiroh and Ogawa, Hideto (2018) Policing functions for machine learning systems. Workshop on Verification and Validation of Autonomous Systems: Satellite Workshop of Floc 2018, Oxford, United Kingdom. 18 - 19 Jul 2018. (In Press)

Hoang, Thai Son, Butler, Michael and Reichl, Klaus (2018) The hybrid ERTMS/ETCS level 3 case study. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. vol. 10817 LNCS, Springer-Verlag. 11 pp, pp. 251-261. (doi:10.1007/978-3-319-91271-4_17).

Hoang, Thai Son and Butler, Michael (2018) Rodin Developments for Formal Policing Functions based on Metamorphic Relations. University of Southampton doi:10.5258/SOTON/D0528 [Dataset]

Snook, James, Harvey, Butler, Michael and Hoang, Thai Son (2018) Developing A New Language to Construct Algebraic Hierarchies for Event-B. In SETTA 2018 - Symposium on Dependable Software Engineering - Theories, Tools and Applications. Springer.. (In Press)

Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Butler, Michael, Fischer, Tomas, Schlick, Rupert and Wang, Keming (2018) Behaviour-driven formal model development. In The Conference Proceedings of the 20th International Conference on Formal Engineering Methods (ICFEM2018). (In Press)

Dghaym, Dana, Hoang, Thai Son and Snook, Colin (2018) Requirements document, scenarios, and Event-B models for lift examples. University of Southampton doi:10.5258/SOTON/D0604 [Dataset]

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.

×