Thai Son Hoang

发表

Probabilistic Termination in B

Annabelle McIver, Carroll Morgan, Thai Son Hoang, 2003, ZB.

Foundations for using linear temporal logic in Event-B refinement

Thai Son Hoang, Steve A. Schneider, Helen Treharne, 2016, Formal Aspects of Computing.

Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

Class-Diagrams for Abstract Data Types

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, ICTAC.

How to interpret failed proofs in Event-B

Thai Son Hoang, 2010 .

Rodin: an open toolset for modelling and reasoning in Event-B

Thai Son Hoang, Michael J. Butler, Farhad Mehta, 2010, International Journal on Software Tools for Technology Transfer.

Policing functions for machine learning systems

Thai Son Hoang, Michael Butler, Naoto Sato, 2018 .

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2016, ABZ.

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, Sci. Comput. Program..

Rodin Developments for Formal Policing Functions based on Metamorphic Relations

Thai Son Hoang, Michael Butler, 2018 .

Event-B patterns and their tool support

Andreas Fürst, Thai Son Hoang, Jean-Raymond Abrial, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Using Design Patterns in Formal Methods: An Event-B Approach

Thai Son Hoang, Jean-Raymond Abrial, 2008, ICTAC.

From TiMo to Event-B: Event-Driven Timed Mobility

Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu, 2014, 2014 19th International Conference on Engineering of Complex Computer Systems.

Consistency Verification of Specification Rules

Kunihiko Miyazaki, Thai Son Hoang, Shinji Itoh, 2015, ICFEM.

Security invariants in discrete transition systems

Thai Son Hoang, 2012, Formal Aspects of Computing.

A survey on event-b decomposition

Thai Son Hoang, Alexei Iliasov, Wei Wei, 2012 .

Developing topology discovery in Event-B

Thai Son Hoang, David A. Basin, Jean-Raymond Abrial, 2009, Sci. Comput. Program..

Refinement by Interface Instantiation

Thai Son Hoang, Stefan Hallerstede, S. Hallerstede, 2012, ABZ.

Reasoning about almost-certain convergence properties using Event-B

Thai Son Hoang, Son Hoang, 2014, Sci. Comput. Program..

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

Thai Son Hoang, Dana Dghaym, Colin Snook, 2019, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).

iUML-B model of VLAN system

Thai Son Hoang, Michael Butler, Colin Snook, 2016 .

The Challenge of Probabilistic Event B - Extended Abstract

Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial, 2005, ZB.

Systematic verification and testing

Thai Son Hoang, Dana Dghaym, Colin Snook, 2020 .

Requirements document, scenarios, and Event-B models for lift examples

Thai Son Hoang, Dana Dghaym, Colin Snook, 2018 .

Event-B Patterns and Their Tool Support

Andreas Fürst, Thai Son Hoang, Jean-Raymond Abrial, 2009, SEFM.

RailGround using Theory plug-in

Thai Son Hoang, Michael Butler, Dana Dghaym, 2017 .

Theory Plug-in for Rodin 3.x pdf

Thai Son Hoang, Michael J. Butler, Laurent Voisin, 2017, ArXiv.

Developing control systems with some fragile environment

Thai Son Hoang, Simon Hudon, 2010 .

A Survey on Event-B Decomposition

Wei Wei, Thai Son Hoang, Alexei Iliasov, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Proof Hints for Event-B pdf

Thai Son Hoang, 2012, ArXiv.

Developing A New Language to Construct Algebraic Hierarchies for Event-B

Thai Son Hoang, Michael J. Butler, James Snook, 2018, SETTA.

Abstractions of non-interference security: probabilistic versus possibilistic

Annabelle McIver, Anthony M. Sloane, Carroll Morgan, 2012, Formal Aspects of Computing.

Railground RSSRail models - iUML-B/Event-B

Thai Son Hoang, Michael Butler, Dana Dghaym, 2017 .

Domain-Specific Scenarios for Refinement-Based Methods

Thai Son Hoang, Michael Butler, Dana Dghaym, 2019, MEDI Workshops.

Development of a System Controlling Cars on a Bridge using Machine Inclusion

Thai Son Hoang, Michael Butler, Dana Dghaym, 2017 .

Refinement of Statecharts with Run-to-Completion Semantics

Colin F. Snook, Karla Morris, Thai Son Hoang, 2018, FTSCS.

Behaviour-Driven Formal Model Development

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2018, ICFEM.

Development of Rabin's Choice Coordination Algorithm in Event-B

Thai Son Hoang, Emre Yilmaz, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Domain-Specific Developments Using Rodin Theories

Thai Son Hoang, Michael Butler, Laurent Voisin, 2021 .

Qualitative Probabilistic Modelling in Event-B

Thai Son Hoang, Stefan Hallerstede, 2007, IFM.

Formal Modelling Techniques for Efficient Development of Railway Control Products

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, RSSRail.

Specifying Access Control in Event-B

Thai Son Hoang, 2009 .

Event-B development of the FindP program

Thai Son Hoang, Son Hoang, 2009 .

Code Generation for Event-B

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2014, IFM.

Formal Methods and Software Engineering

Thai Son Hoang, Michael Butler, Colin Snook, 2018, Lecture Notes in Computer Science.

Analysing Security Protocols Using Refinement in iUML-B

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, NFM.

Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

Reusing Formal Models via Lifting

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2018, 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).

Challenges of mission planning for collaborative maritime autonomy

Thai Son Hoang, Stephen R. Turnock, Ben Pritchard, 2020 .

Bounded Re-transmission Protocol

Thai Son Hoang, Jean-Raymond Abrial, 2010 .

Proceedings of the 6th Rodin User and Developer Workshop, 2016

Thai Son Hoang, Michael Butler, 2016 .

The Unit-B method: refinement guided by progress concerns

Thai Son Hoang, Jonathan S. Ostroff, Simon Hudon, 2015, Software & Systems Modeling.

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3

Thai Son Hoang, Alexander Raschke, Klaus Reichl, 2020, International Journal on Software Tools for Technology Transfer.

Rodin Prototype Plug-ins and Development of the SecBot Case Study

Karla Morris, Thai Son Hoang, Colin Snook, 2018 .

Event-B Decomposition for Parallel Programs

Thai Son Hoang, Jean-Raymond Abrial, J. Abrial, 2010, ASM.

Development of a Network Topology Discovery Algorithm

Thai Son Hoang, David Basin, Jean-Raymond Abrial, 2009 .

The Hybrid ERTMS/ETCS Level 3 Case Study

Thai Son Hoang, Michael J. Butler, Klaus Reichl, 2018, ABZ.

Development of Control Systems Guided by Models of their Environment

Thai Son Hoang, Simon Hudon, 2011, Electron. Notes Theor. Comput. Sci..

Using the generalised substitution language for event-B semantics

Andreas Fürst, Thai Son Hoang, 2010 .

Technology Transfer

Thai Son Hoang, David A. Basin, D. Basin, 2013, Industrial Deployment of System Engineering Methods.

Refinement of decomposed models by interface instantiation

Thai Son Hoang, Stefan Hallerstede, S. Hallerstede, 2014, Sci. Comput. Program..

Abstract Data Types in Event-B - An Application of Generic Instantiation pdf

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2012, ArXiv.

Proving Almost-Certain Convergence Properties Using Event-B

Thai Son Hoang, Son Hoang, 2013 .

Tank monitoring: a pAMN case study

Ken Robinson, Thai Son Hoang, Steve A. Schneider, 2006, Formal Aspects of Computing.

Development via Refinement in Probabilistic B - Foundation and Case Study

Annabelle McIver, Ken Robinson, Carroll Morgan, 2005, ZB.

Refinement and Verification of Responsive Control Systems

Thai Son Hoang, Colin Snook, Geoffrey Hulette, 2020, ABZ.

Formal Development of Policing Functions for Intelligent Systems

Thai Son Hoang, Michael J. Butler, Toby Wilkinson, 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).

Development of Rabin’s Choice Coordination Algorithm in Event-B

Thai Son Hoang, Emre Yilmaz, 2010 .

Route Validation in Event-B

Thai Son Hoang, Michael Butler, Toby Wilkinson, 2017 .

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Thai Son Hoang, Michael Butler, Alexander Raschke, 2018, Lecture Notes in Computer Science.

Monitor and Update Master Data Case Studies

Thai Son Hoang, Renato Silva, Wei Wei, 2011 .

Domain-specific scenarios for refinement-based methods

Thai Son Hoang, Dana Dghaym, Colin Snook, 2020 .

Decomposition tool for event‐B

Thai Son Hoang, Michael J. Butler, Renato Silva, 2011, Softw. Pract. Exp..

Validation of Railway Control Systems

Thai Son Hoang, Michael Butler, Peter Tummeltshammer, 2020 .

Technology Transfer within the DEPLOY Project

Thai Son Hoang, David Basin, D. Basin, 2013 .

Large-scale system development using Abstract Data Types and refinement

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2016, Sci. Comput. Program..

Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

Deliverable D8 D10.1 "Teaching Materials" --- Exercises

Thai Son Hoang, Jean-Raymond Abrial, Matthias Schmalz, 2008 .

Formal specification of a Haemodialysis Machine (HD Machine) using Event-B

Thai Son Hoang, Michael Butler, Colin Snook, 2016 .

Tank Monitoring: A pAMN Case Study

Ken Robinson, Thai Son Hoang, Steve A. Schneider, 2005, Electron. Notes Theor. Comput. Sci..

Developing a Framework for Trustworthy Autonomous Maritime Systems

Thai Son Hoang, Stephen R. Turnock, Dana Dghaym, 2020 .

Developing topology discovery in Event-B

Thai Son Hoang, David A. Basin, Jean-Raymond Abrial, 2009, Sci. Comput. Program..

Link State Routing Development

Thai Son Hoang, David Basin, Jean-Raymond Abrial, 2008 .

Probabilistic Invariants for Probabilistic Machines

Annabelle McIver, Ken Robinson, Carroll Morgan, 2003, ZB.

A Composition Mechanism for Refinement-Based Methods

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).

Formal System Modelling Using Abstract Data Types in Event-B

Kunihiko Miyazaki, Andreas Fürst, Thai Son Hoang, 2014, ABZ.

Towards Generating SPARK from Event-B Models

Thai Son Hoang, Sanjeevan Sritharan, 2020, IFM.

Systems Design Guided by Progress Concerns

Thai Son Hoang, Simon Hudon, Son Hoang, 2013, IFM.

Formal Verification of Run-to-Completion Style Statecharts Using Event-B

Colin F. Snook, Thai Son Hoang, Michael J. Butler, 2020, ECSA Companion.

DeepSaucer: Unified Environment for Verifying Deep Neural Networks pdf

Thai Son Hoang, Michael J. Butler, Naoto Sato, 2018, ArXiv.

Reasoning about Liveness Properties in Event-B

Thai Son Hoang, Jean-Raymond Abrial, J. Abrial, 2011, ICFEM.

Towards Scalable Modeling of Biology in Event-B pdf

Ion Petre, Thai Son Hoang, Luigia Petre, 2021, ArXiv.

Extensible Record Structures in Event-B

Colin F. Snook, Thai Son Hoang, Dana Dghaym, 2021, ABZ.

Refinable Record Structures in Formal Methods

Colin F. Snook, Thai Son Hoang, Dana Dghaym, 2021, MEDI Workshops.

The CamilleX Framework for the Rodin Platform

Colin F. Snook, Thai Son Hoang, Dana Dghaym, 2021, ABZ.

Verifying System-Level Security of a Smart Ballot Box

Thai Son Hoang, Vladimiro Sassone, Dana Dghaym, 2021, ABZ.

An STPA-based formal composition framework for trustworthy autonomous maritime systems

Stephen R. Turnock, Thai Son Hoang, Dana Dghaym, 2021 .

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions

Thai Son Hoang, Chenyang Zhu, Corina Cirstea, 2021, 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).

Validating the Consistency of Specification Rules

Kunihiko Miyazaki, Thai Son Hoang, Kyohei Oyama, 2015 .

Development of Rabin Choice Coordination in Event-B ?

Thai Son Hoang, Emre Yilmaz, 2010 .

An Introduction to the Event-B Modelling Method

Thai Son Hoang, Son Hoang, 2013 .