Probabilistic Invariants for Probabilistic Machines. - Thai Son Hoang; Zhendong Jin; Ken Robinson; Annabelle McIver; Carroll Morgan (ZB, 2003)

Probabilistic Termination in B. - Annabelle McIver; Carroll Morgan; Thai Son Hoang (ZB, 2003)

Development via Refinement in Probabilistic B - Foundation and Case Study. - Thai Son Hoang; Zhendong Jin; Ken Robinson; Annabelle McIver; Carroll Morgan (ZB, 2005)

The Challenge of Probabilistic Event B - Extended Abstract. - Carroll Morgan; Thai Son Hoang; Jean-Raymond Abrial (ZB, 2005)

Tank monitoring: a pAMN case study. - Steve A. Schneider; Thai Son Hoang; Ken Robinson; Helen Treharne (Formal Aspects Comput., 2006)

Qualitative Probabilistic Modelling in Event-B. - Stefan Hallerstede; Thai Son Hoang (IFM, 2007)

Using Design Patterns in Formal Methods: An Event-B Approach. - Jean-Raymond Abrial; Thai Son Hoang (ICTAC, 2008)

Developing topology discovery in Event-B. - Thai Son Hoang; Hironobu Kuruma; David A. Basin; Jean-Raymond Abrial (Sci. Comput. Program., 2009)

Event-B Decomposition for Parallel Programs. - Thai Son Hoang; Jean-Raymond Abrial (ASM, 2010)

Development of Rabin's Choice Coordination Algorithm in Event-B. - Emre Yilmaz; Thai Son Hoang (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Rodin: an open toolset for modelling and reasoning in Event-B. - Jean-Raymond Abrial; Michael J. Butler; Stefan Hallerstede; Thai Son Hoang; Farhad Mehta; Laurent Voisin (Int. J. Softw. Tools Technol. Transf., 2010)

Reasoning about Liveness Properties in Event-B. - Thai Son Hoang; Jean-Raymond Abrial (ICFEM, 2011)

A Survey on Event-B Decomposition. - Thai Son Hoang; Alexei Iliasov; Renato Silva; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Development of Control Systems Guided by Models of their Environment. - Simon Hudon; Thai Son Hoang (B@FM, 2011)

Decomposition tool for event-B. - Renato Silva; Carine Pascal; Thai Son Hoang; Michael J. Butler (Softw. Pract. Exp., 2011)

Refinement by Interface Instantiation. - Stefan Hallerstede; Thai Son Hoang (ABZ, 2012)

Abstract Data Types in Event-B - An Application of Generic Instantiation - David A. Basin; Andreas Fürst; Thai Son Hoang; Kunihiko Miyazaki; Naoto Sato (CoRR, 2012)

Proof Hints for Event-B - Thai Son Hoang (CoRR, 2012)

Technology Transfer. - David A. Basin; Thai Son Hoang (Industrial Deployment of System Engineering Methods, 2013)

Systems Design Guided by Progress Concerns. - Simon Hudon; Thai Son Hoang (IFM, 2013)

Security invariants in discrete transition systems. - Thai Son Hoang (Formal Aspects Comput., 2013)

Event-B patterns and their tool support. - Thai Son Hoang; Andreas Fürst; Jean-Raymond Abrial (Softw. Syst. Model., 2013)

Formal System Modelling Using Abstract Data Types in Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Naoto Sato; Kunihiko Miyazaki (ABZ, 2014)

From TiMo to Event-B: Event-Driven Timed Mobility. - Gabriel Ciobanu; Thai Son Hoang; Alin Stefanescu (ICECCS, 2014)

Code Generation for Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Krishnaji Desai; Naoto Sato; Kunihiko Miyazaki (IFM, 2014)

Abstractions of non-interference security: probabilistic versus possibilistic. - Thai Son Hoang; A. K. McIver; Larissa Meinicke; Carroll C. Morgan; Anthony Sloane; E. Susatyo (Formal Aspects Comput., 2014)

Refinement of decomposed models by interface instantiation. - Stefan Hallerstede; Thai Son Hoang (Sci. Comput. Program., 2014)

Reasoning about almost-certain convergence properties using Event-B. - Thai Son Hoang (Sci. Comput. Program., 2014)

Consistency Verification of Specification Rules. - Thai Son Hoang; Shinji Itoh; Kyohei Oyama; Kunihiko Miyazaki; Hironobu Kuruma; Naoto Sato (ICFEM, 2015)

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. - Thai Son Hoang; Colin F. Snook; Lukas Ladenberger; Michael J. Butler (ABZ, 2016)

Foundations for using linear temporal logic in Event-B refinement. - Thai Son Hoang; Steve A. Schneider; Helen Treharne; David M. Williams (Formal Aspects Comput., 2016)

Large-scale system development using Abstract Data Types and refinement. - Andreas Fürst; Thai Son Hoang; David A. Basin; Naoto Sato; Kunihiko Miyazaki (Sci. Comput. Program., 2016)

The Unit-B method: refinement guided by progress concerns. - Simon Hudon; Thai Son Hoang; Jonathan S. Ostroff (Softw. Syst. Model., 2016)

A Composition Mechanism for Refinement-Based Methods. - Thai Son Hoang; Dana Dghaym; Colin F. Snook; Michael J. Butler (ICECCS, 2017)

Class-Diagrams for Abstract Data Types. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Michael J. Butler (ICTAC, 2017)

Formal Development of Policing Functions for Intelligent Systems. - Chris Bogdiukiewicz; Michael J. Butler; Thai Son Hoang; Martin Paxton; James Snook; Xanthippe Waldron; Toby Wilkinson (ISSRE, 2017)

Analysing Security Protocols Using Refinement in iUML-B. - Colin F. Snook; Thai Son Hoang; Michael J. Butler (NFM, 2017)

Formal Modelling Techniques for Efficient Development of Railway Control Products. - Michael J. Butler; Dana Dghaym; Tomas Fischer; Thai Son Hoang; Klaus Reichl; Colin F. Snook; Peter Tummeltshammer (RSSRail, 2017)

Theory Plug-in for Rodin 3.x. - Thai Son Hoang; Laurent Voisin; A. Salehi; Michael J. Butler; Toby Wilkinson; N. Beauger (CoRR, 2017)

The Hybrid ERTMS/ETCS Level 3 Case Study. - Thai Son Hoang; Michael J. Butler; Klaus Reichl (ABZ, 2018)

Refinement of Statecharts with Run-to-Completion Semantics. - Karla Morris; Colin F. Snook; Thai Son Hoang; Robert C. Armstrong; Michael J. Butler (FTSCS, 2018)

Reusing Formal Models via Lifting. - Dana Dghaym; Colin F. Snook; Thai Son Hoang; Michael J. Butler (ICECCS, 2018)

Behaviour-Driven Formal Model Development. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler; Tomas Fischer; Rupert Schlick; Keming Wang (ICFEM, 2018)

Developing A New Language to Construct Algebraic Hierarchies for Event-B. - James Snook; Michael J. Butler; Thai Son Hoang (SETTA, 2018)

DeepSaucer: Unified Environment for Verifying Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Masanori Kaneko; Yuichiroh Nakagawa; Hideto Ogawa; Thai Son Hoang; Michael J. Butler (CoRR, 2018)

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. - Thai Son Hoang; Colin F. Snook; Asieh Salehi Fathabadi; Michael J. Butler; Lukas Ladenberger (Sci. Comput. Program., 2018)

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. - Michael J. Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin F. Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer (ICECCS, 2019)

Domain-Specific Scenarios for Refinement-Based Methods. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (MEDI Workshops, 2019)

Refinement and Verification of Responsive Control Systems. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ABZ, 2020)

Formal Verification of Run-to-Completion Style Statecharts Using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (ECSA Companion, 2020)

Towards Generating SPARK from Event-B Models. - Sanjeevan Sritharan; Thai Son Hoang (IFM, 2020)

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. - Michael J. Butler; Thai Son Hoang; Alexander Raschke; Klaus Reichl (Int. J. Softw. Tools Technol. Transf., 2020)

Verifying System-Level Security of a Smart Ballot Box. - Dana Dghaym; Thai Son Hoang; Michael J. Butler; Runshan Hu; Leonardo Aniello; Vladimiro Sassone (ABZ, 2021)

Extensible Record Structures in Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (ABZ, 2021)

The CamilleX Framework for the Rodin Platform. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (ABZ, 2021)

Refinable Record Structures in Formal Methods. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler (MEDI Workshops, 2021)

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea; Thai Son Hoang (TASE, 2021)

Towards Scalable Modeling of Biology in Event-B. - Usman Sanwal; Thai Son Hoang; Luigia Petre; Ion Petre (CoRR, 2021)

Domain-specific scenarios for refinement-based methods. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (J. Syst. Archit., 2021)

High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Michael J. Butler (COMPSAC, 2022)

Generating SPARK from Event-B, Providing Fundamental Safety and Security. - Asieh Salehi Fathabadi; Dana Dghaym; Thai Son Hoang; Michael J. Butler; Colin F. Snook (MEDI Workshops, 2022)

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. - Robert Thorburn; Vladimiro Sassone; Asieh Salehi Fathabadi; Leonardo Aniello; Michael J. Butler; Dana Dghaym; Thai Son Hoang (MoDELS (Companion), 2022)

Building an Extensible Textual Framework for the Rodin Platform. - Thai Son Hoang; Colin F. Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael J. Butler (SEFM Workshops, 2022)

Developing the UML-B Modelling Tools. - Colin F. Snook; Michael J. Butler; Thai Son Hoang; Asieh Salehi Fathabadi; Dana Dghaym (SEFM Workshops, 2022)

Formal verification and validation of run-to-completion style state charts using Event-B. - Karla Morris; Colin F. Snook; Thai Son Hoang; Geoffrey C. Hulette; Robert C. Armstrong; Michael J. Butler (Innov. Syst. Softw. Eng., 2022)

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Michael J. Butler (COMPSAC, 2023)

AIC Approach for Intelligent Systems Requirements Elicitation. - Haider Al-Shareefy; Michael J. Butler; Thai Son Hoang (ICSRS, 2023)

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. - Karla Vanessa Morris Wright; Thai Son Hoang; Colin F. Snook; Michael J. Butler (ICTAC, 2023)

Designing Critical Systems Using Hierarchical STPA and Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (ABZ, 2023)

A fairness-based refinement strategy to transform liveness properties in Event-B models. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea; Thai Son Hoang (Sci. Comput. Program., 2023)

Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories. - Thai Son Hoang; Colin F. Snook; Karla Vanessa Morris Wright; Laurent Voisin; Michael J. Butler (The Application of Formal Methods, 2024)

CuneiForm Method for Assuring the Safety of ML-Based Computer Vision Development Datasets. - Haider Al-Shareefy; Michael J. Butler; Thai Son Hoang (RE Workshops, 2024)

Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. - Fahad Alotaibi; Thai Son Hoang; Asieh Salehi Fathabadi; Michael J. Butler (ABZ, 2024)

Verifying HyperLTL Properties in Event-B. - Jean-Paul Bodeveix; Thomas Carle; Elie Fares; Mamoun Filali; Thai Son Hoang (ABZ, 2024)

Designing Exception Handling Using Event-B. - Asieh Salehi Fathabadi; Colin F. Snook; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2024)

Semantics Formalisation - From Event-B Contexts to Theories. - Thai Son Hoang; Laurent Voisin; Karla Vanessa Morris Wright; Colin F. Snook; Michael J. Butler (ABZ, 2024)

An AIC-based approach for articulating unpredictable problems in open complex environments. - Haider Al-Shareefy; Michael J. Butler; Thai Son Hoang (CoRR, 2024)

Analysing the Safety Implications of Security Risks in Cyber-Physical Systems. - Colin F. Snook; Thai Son Hoang; Asieh Salehi Fathabadi; Michael J. Butler; Martin Kubisch (The Practice of Formal Methods (II), 2024)

Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. - Colin F. Snook; Asieh Salehi Fathabadi; Thai Son Hoang; Robert Thorburn; Michael J. Butler; Leonardo Aniello; Vladimiro Sassone (ABZ, 2025)

Systematic hierarchical analysis of requirements for critical systems. - Asieh Salehi Fathabadi; Colin F. Snook; Dana Dghaym; Thai Son Hoang; Fahad Alotaibi; Michael J. Butler (Innov. Syst. Softw. Eng., 2025)