Thai Son Hoang

Orcid: 0000-0003-4095-0732

According to our database1, Thai Son Hoang authored at least 76 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An AIC-based approach for articulating unpredictable problems in open complex environments.
CoRR, 2024

Semantics Formalisation - From Event-B Contexts to Theories.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Designing Exception Handling Using Event-B.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Verifying HyperLTL Properties in Event-B.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

CuneiForm Method for Assuring the Safety of ML-Based Computer Vision Development Datasets.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023
A fairness-based refinement strategy to transform liveness properties in Event-B models.
Sci. Comput. Program., 2023

Designing Critical Systems Using Hierarchical STPA and Event-B.
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

AIC Approach for Intelligent Systems Requirements Elicitation.
Proceedings of the 7th International Conference on System Reliability and Safety, 2023

A Rigorous Iterative Analysis Approach for Capturing the Safety Requirements of Self-Driving Vehicle Systems.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022
Formal verification and validation of run-to-completion style state charts using Event-B.
Innov. Syst. Softw. Eng., 2022

Developing the UML-B Modelling Tools.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Building an Extensible Textual Framework for the Rodin Platform.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Generating SPARK from Event-B, Providing Fundamental Safety and Security.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
Domain-specific scenarios for refinement-based methods.
J. Syst. Archit., 2021

Towards Scalable Modeling of Biology in Event-B.
CoRR, 2021

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Refinable Record Structures in Formal Methods.
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

The CamilleX Framework for the Rodin Platform.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Extensible Record Structures in Event-B.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

Verifying System-Level Security of a Smart Ballot Box.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2020
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
Int. J. Softw. Tools Technol. Transf., 2020

Towards Generating SPARK from Event-B Models.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Verification of Run-to-Completion Style Statecharts Using Event-B.
Proceedings of the Software Architecture - 14th European Conference, 2020

Refinement and Verification of Responsive Control Systems.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Domain-Specific Scenarios for Refinement-Based Methods.
Proceedings of the New Trends in Model and Data Engineering, 2019

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset.
Sci. Comput. Program., 2018

DeepSaucer: Unified Environment for Verifying Deep Neural Networks.
CoRR, 2018

Developing A New Language to Construct Algebraic Hierarchies for Event-B.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Behaviour-Driven Formal Model Development.
Proceedings of the Formal Methods and Software Engineering, 2018

Reusing Formal Models via Lifting.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Refinement of Statecharts with Run-to-Completion Semantics.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

The Hybrid ERTMS/ETCS Level 3 Case Study.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Theory Plug-in for Rodin 3.x.
CoRR, 2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

Analysing Security Protocols Using Refinement in iUML-B.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Formal Development of Policing Functions for Intelligent Systems.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Class-Diagrams for Abstract Data Types.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

A Composition Mechanism for Refinement-Based Methods.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
The Unit-B method: refinement guided by progress concerns.
Softw. Syst. Model., 2016

Large-scale system development using Abstract Data Types and refinement.
Sci. Comput. Program., 2016

Foundations for using linear temporal logic in Event-B refinement.
Formal Aspects Comput., 2016

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Consistency Verification of Specification Rules.
Proceedings of the Formal Methods and Software Engineering, 2015

2014
Reasoning about almost-certain convergence properties using Event-B.
Sci. Comput. Program., 2014

Refinement of decomposed models by interface instantiation.
Sci. Comput. Program., 2014

Abstractions of non-interference security: probabilistic versus possibilistic.
Formal Aspects Comput., 2014

Code Generation for Event-B.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

From TiMo to Event-B: Event-Driven Timed Mobility.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Formal System Modelling Using Abstract Data Types in Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Event-B patterns and their tool support.
Softw. Syst. Model., 2013

Security invariants in discrete transition systems.
Formal Aspects Comput., 2013

Systems Design Guided by Progress Concerns.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Technology Transfer.
Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012
Proof Hints for Event-B
CoRR, 2012

Abstract Data Types in Event-B - An Application of Generic Instantiation
CoRR, 2012

Refinement by Interface Instantiation.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011
Decomposition tool for event-B.
Softw. Pract. Exp., 2011

Development of Control Systems Guided by Models of their Environment.
Proceedings of the B 2011 Workshop, 2011

A Survey on Event-B Decomposition.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Reasoning about Liveness Properties in Event-B.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf., 2010

Development of Rabin's Choice Coordination Algorithm in Event-B.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Event-B Decomposition for Parallel Programs.
Proceedings of the Abstract State Machines, 2010

2009
Developing topology discovery in Event-B.
Sci. Comput. Program., 2009

2008
Using Design Patterns in Formal Methods: An Event-B Approach.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Qualitative Probabilistic Modelling in Event-B.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006
Tank monitoring: a pAMN case study.
Formal Aspects Comput., 2006

2005
The Challenge of Probabilistic <i>Event B</i> - Extended Abstract.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development via Refinement in Probabilistic B - Foundation and Case Study.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2003
Probabilistic Termination in B.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Probabilistic Invariants for Probabilistic Machines.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003


  Loading...