Thai Son Hoang

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Towards Scalable Modeling of Biology in Event-B.
CoRR, 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.
Electron. Notes Theor. Comput. Sci., 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

2005
Tank Monitoring: A pAMN Case Study.
Electron. Notes Theor. Comput. Sci., 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...