Thai Son Hoang

85 papers A 1B 12C 21Misc 2Journal 27Unranked 20

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