The University of Southampton
Telephone:
+442380597084
Email:
T.S.Hoang@soton.ac.uk

Dr Son Hoang 

Personal homepage

Lecturer in Cyber-Physical Systems

Dr Thai Son Hoang is a Lecturer in the Cyber-Physical Systems Group (a part of School of Electronics and Computer Science). He was awarded a first class honours degree in Computer Engineering from the University of New South Wales (UNSW), Sydney, Australia in 2001.  Subsequently, he studied for a PhD (also at UNSW) and was awarded his PhD in 2006 for his thesis on "The Development of a Probabilistic B-Method and a Supporting Toolkit".

Research

Research interests

Dr Thai Son Hoang is interested in Formal System Development, including developing methods, tools and their application to industrial systems.

Teaching

Dr Thai Son Hoang lectures on programming, software engineering and system development. He supervises a number of undergraduate and MSc projects, and is an Admissions Tutor for the undergraduate Aerospace Electronic Engineering (AEE) degree programme.

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. arXiv, abs/1701.08625, 1-9.

Hoang, Thai Son, Salehi Fathabadi, Asieh, Butler, Michael and Voisin, Laurent (2016) Theory plug-in for Rodin 3.x. 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. In, Barrett, Clark, Davies, Misty and Kahsai, Temesghen (eds.) NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (Lecture Notes in Computer Science, , (doi:10.1007/978-3-319-57288-8_6), 10227) 9th NASA Formal Methods Symposium (18/05/17) Springer, pp. 84-98. (doi:10.1007/978-3-319-57288-8_6).

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. 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. 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. In Proceedings 2017 22nd International Conference on Engineering of Complex Computer Systems: ICECCS 2017. IEEE. 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. 10 pp . (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. 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 Dependable Software Engineering. Theories, Tools, and Applications: SETTA 2018. vol. 10998, Springer. pp. 135-141 . (doi:10.1007/978-3-319-99933-3_9).

Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Butler, Michael, Fischer, Tomas, Schlick, Rupert and Wang, Keming (2018) Behaviour-driven formal model development. Sun, J. and Sun, M. (eds.) In Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer. pp. 21-36 . (doi:10.1007/978-3-030-02450-5_2).

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]

Snook, Colin, Morris, Karla and Hoang, Thai Son (2018) Rodin Prototype Plug-ins and Development of the SecBot Case Study. University of Southampton doi:10.5258/SOTON/D0693 [Dataset]

Morris, Karla, Snook, Colin, Hoang, Thai Son, Armstrong, Robert and Butler, Michael (2018) Refinement of statecharts with run-to-completion semantics. The Sixth International Workshop on Formal Techniques for Safety-Critical Systems, Gold Coast, Australia. 16 Nov 2018.

Butler, Michael, Raschke, Alexander, Hoang, Thai Son and Reichl, Klaus (2018) Preface. Lecture Notes in Computer Science, 10817, III-VI.

Dghaym, Dana, Snook, Colin, Hoang, Thai Son and Butler, Michael (2018) Reusing formal models via lifting. In Proceedings - 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018. vol. 2018-December, Institute of Electrical and Electronics Engineers Inc. pp. 189-192 . (doi:10.1109/ICECCS2018.2018.00029).

Sato, Naoto, Kuruma, Hironobu, Kaneko, Masanori, Nakagawa, Yuichiroh, Ogawa, Hideto, Hoang, Thai Son and Butler, Michael (2018) DeepSaucer: Unified environment for verifying Deep Neural Networks. arXiv.

Snook, Colin, Hoang, Thai Son, Dghaym, Dana and Butler, Michael (2019) Domain-specific scenarios for refinement-based methods. In DETECT 2019: moDeling, vErification and Testing of dEpendable CriTical systems. Springer.. (In Press)

Dghaym, Dana, Turnock, Stephen, Butler, Michael, Downes, Jonathan, Hoang, Thai Son and Pritchard, Ben (2019) Developing a framework for trustworthy autonomous maritime systems. In International Seminar on Safety and Security of Autonomous Vessels (ISSAV): ISSAV 2019. 10 pp .

Butler, Michael, Dghaym, Dana, Hoang, Thai Son, Omitola, Temitope, Snook, Colin, Fellner, Andreas, Schlick, Rupert, Tarrach, Thorsten, Fischer, Tomas and Tummeltshammer, Peter (2019) Behaviour-driven formal model development of the ETCS hybrid level 3. In The 24th International Conference on Engineering Of Complex Computer Systems: ICECCS 2019. pp. 1-10 . (In Press)

Contact

Share this profile FacebookTwitterWeibo