Thai Son Hoang

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Dana Dghaym

> Home > Persons > Thai Son Hoang

Publications

2023
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/FathabadiSDHAB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/FathabadiSDHAB23
Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler:
Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ 2023: 220-237
2022
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/FathabadiDHBS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/FathabadiDHBS22
Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook:
Generating SPARK from Event-B, Providing Fundamental Safety and Security. MEDI Workshops 2022: 179-192
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ThorburnSFABDH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ThorburnSFABDH22
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang:
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. MoDELS (Companion) 2022: 83-84
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HoangSDFB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HoangSDFB22
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
Building an Extensible Textual Framework for the Rodin Platform. SEFM Workshops 2022: 132-147
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/SnookBHFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/SnookBHFD22
Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym:
Developing the UML-B Modelling Tools. SEFM Workshops 2022: 181-188
2021
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/SnookHDFB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/SnookHDFB21
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
Domain-specific scenarios for refinement-based methods. J. Syst. Archit. 112: 101833 (2021)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/DghaymHBHAS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DghaymHBHAS21
Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone:
Verifying System-Level Security of a Smart Ballot Box. ABZ 2021: 34-49
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/HoangSDFB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HoangSDFB21
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
The CamilleX Framework for the Rodin Platform. ABZ 2021: 124-129
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/FathabadiSHDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/FathabadiSHDB21
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Extensible Record Structures in Event-B. ABZ 2021: 130-136
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/FathabadiSHDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/FathabadiSHDB21
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Refinable Record Structures in Formal Methods. MEDI Workshops 2021: 3-15
2019
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ButlerDHOSFSTFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ButlerDHOSFSTFT19
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer:
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS 2019: 97-106
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/SnookHDB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/SnookHDB19
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Domain-Specific Scenarios for Refinement-Based Methods. MEDI Workshops 2019: 18-31
2018
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/DghaymSHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/DghaymSHB18
Dana Dghaym, Colin F. Snook, Thai Son Hoang, Michael J. Butler:
Reusing Formal Models via Lifting. ICECCS 2018: 189-192
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/SnookHDBFSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/SnookHDBFSW18
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang:
Behaviour-Driven Formal Model Development. ICFEM 2018: 21-36
2017
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/HoangDSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HoangDSB17
Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler:
A Composition Mechanism for Refinement-Based Methods. ICECCS 2017: 100-109
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/HoangSDB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/HoangSDB17
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Michael J. Butler:
Class-Diagrams for Abstract Data Types. ICTAC 2017: 100-117
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/ButlerDFHRST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/ButlerDFHRST17
Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer:
Formal Modelling Techniques for Efficient Development of Railway Control Products. RSSRail 2017: 71-86

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.