Thai Son Hoang

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 47

Top Topics

Abstract Data Types

Intelligent Systems

Linear Temporal Logic

Requirements Elicitation

Top Venues

Sci. Comput. Program.

Publications

Haider Al-Shareefy, Michael J. Butler, Thai Son Hoang
An AIC-based approach for articulating unpredictable problems in open complex environments. CoRR (2024)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone
Designing Exception Handling Using Event-B. ABZ (2024)
Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. ABZ (2024)
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler
Semantics Formalisation - From Event-B Contexts to Theories. ABZ (2024)
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
Verifying HyperLTL Properties in Event-B. ABZ (2024)
Fahad Alotaibi, Thai Son Hoang, Michael J. Butler
A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems. COMPSAC (2023)
Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. ICTAC (2023)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
A fairness-based refinement strategy to transform liveness properties in Event-B models. Sci. Comput. Program. 225 (2023)
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ (2023)
Haider Al-Shareefy, Michael J. Butler, Thai Son Hoang
AIC Approach for Intelligent Systems Requirements Elicitation. ICSRS (2023)
Fahad Alotaibi, Thai Son Hoang, Michael J. Butler
High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. COMPSAC (2022)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
Formal verification and validation of run-to-completion style state charts using Event-B. Innov. Syst. Softw. Eng. 18 (4) (2022)
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) (2022)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops (2022)
Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook
Generating SPARK from Event-B, Providing Fundamental Safety and Security. MEDI Workshops (2022)
Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym
Developing the UML-B Modelling Tools. SEFM Workshops (2022)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
Domain-specific scenarios for refinement-based methods. J. Syst. Archit. 112 (2021)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. TASE (2021)
Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone
Verifying System-Level Security of a Smart Ballot Box. ABZ (2021)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Extensible Record Structures in Event-B. ABZ (2021)
Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre
Towards Scalable Modeling of Biology in Event-B. CoRR (2021)
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Refinable Record Structures in Formal Methods. MEDI Workshops (2021)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler
The CamilleX Framework for the Rodin Platform. ABZ (2021)
Sanjeevan Sritharan, Thai Son Hoang
Towards Generating SPARK from Event-B Models. IFM (2020)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler
Refinement and Verification of Responsive Control Systems. ABZ (2020)
Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. ECSA Companion (2020)
Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS (2019)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler
Domain-Specific Scenarios for Refinement-Based Methods. MEDI Workshops (2019)
Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler
Reusing Formal Models via Lifting. ICECCS (2018)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang
Behaviour-Driven Formal Model Development. ICFEM (2018)
Karla Morris, Colin F. Snook, Thai Son Hoang, Robert Armstrong, Michael J. Butler
Refinement of Statecharts with Run-to-Completion Semantics. FTSCS (2018)
Thai Son Hoang, Michael J. Butler, Klaus Reichl
The Hybrid ERTMS/ETCS Level 3 Case Study. ABZ (2018)
James Snook, Michael J. Butler, Thai Son Hoang
Developing A New Language to Construct Algebraic Hierarchies for Event-B. SETTA (2018)
Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. Sci. Comput. Program. 158 (2018)
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
The Unit-B Method - Refinement Guided by Progress Concerns. CoRR (2018)
Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler
DeepSaucer: Unified Environment for Verifying Deep Neural Networks. CoRR (2018)
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler
Class-Diagrams for Abstract Data Types. ICTAC (2017)
Colin F. Snook, Thai Son Hoang, Michael J. Butler
Analysing Security Protocols Using Refinement in iUML-B. NFM (2017)
Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer
Formal Modelling Techniques for Efficient Development of Railway Control Products. RSSRail (2017)
Chris Bogdiukiewicz, Michael J. Butler, Thai Son Hoang, Martin Paxton, James Snook, Xanthippe Waldron, Toby Wilkinson
Formal Development of Policing Functions for Intelligent Systems. ISSRE (2017)
Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler
A Composition Mechanism for Refinement-Based Methods. ICECCS (2017)
Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger
Theory Plug-in for Rodin 3.x. CoRR (2017)
Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. ABZ (2016)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. 131 (2016)
Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams
Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28 (6) (2016)
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
The Unit-B method: refinement guided by progress concerns. Softw. Syst. Model. 15 (4) (2016)
Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
Consistency Verification of Specification Rules. ICFEM (2015)
Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu
From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS (2014)
Thai Son Hoang
Reasoning about almost-certain convergence properties using Event-B. Sci. Comput. Program. 81 (2014)
Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki
Code Generation for Event-B. IFM (2014)
Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki
Formal System Modelling Using Abstract Data Types in Event-B. ABZ (2014)
Stefan Hallerstede, Thai Son Hoang
Refinement of decomposed models by interface instantiation. Sci. Comput. Program. 94 (2014)
Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26 (1) (2014)
Simon Hudon, Thai Son Hoang
Systems Design Guided by Progress Concerns. IFM (2013)
Thai Son Hoang
Security invariants in discrete transition systems. Formal Aspects Comput. 25 (1) (2013)
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Event-B patterns and their tool support. Softw. Syst. Model. 12 (2) (2013)
Stefan Hallerstede, Thai Son Hoang
Refinement by Interface Instantiation. ABZ (2012)
David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato
Abstract Data Types in Event-B - An Application of Generic Instantiation CoRR (2012)
Thai Son Hoang
Proof Hints for Event-B CoRR (2012)
Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler
Decomposition tool for event-B. Softw. Pract. Exp. 41 (2) (2011)
Thai Son Hoang, Jean-Raymond Abrial
Reasoning about Liveness Properties in Event-B. ICFEM (2011)
Simon Hudon, Thai Son Hoang
Development of Control Systems Guided by Models of their Environment. Electron. Notes Theor. Comput. Sci. 280 (2011)
Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei
A Survey on Event-B Decomposition. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Emre Yilmaz, Thai Son Hoang
Development of Rabin's Choice Coordination Algorithm in Event-B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Thai Son Hoang, Jean-Raymond Abrial
Event-B Decomposition for Parallel Programs. ASM (2010)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
Developing topology discovery in Event-B. Sci. Comput. Program. 74 (11-12) (2009)
Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial
Event-B Patterns and Their Tool Support. SEFM (2009)
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
Developing Topology Discovery in Event-B. IFM (2009)
Jean-Raymond Abrial, Thai Son Hoang
Using Design Patterns in Formal Methods: An Event-B Approach. ICTAC (2008)
Stefan Hallerstede, Thai Son Hoang
Qualitative Probabilistic Modelling in Event-B. IFM (2007)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank monitoring: a pAMN case study. Formal Aspects Comput. 18 (3) (2006)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank Monitoring: A pAMN Case Study. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
- Extended Abstract. ZB (2005)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Development via Refinement in Probabilistic B - Foundation and Case Study. ZB (2005)
Annabelle McIver, Carroll Morgan, Thai Son Hoang
Probabilistic Termination in B. ZB (2003)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Probabilistic Invariants for Probabilistic Machines. ZB (2003)