logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
T

Thai Son Hoang

university of southampton

19H-index
132Paper Count
1.6KCitation Count
Published Papers 3
Publication Date
logo
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errSnook, Colin; Fathabadi, Asieh Salehi; Hoang, Thai Son; Thorburn, Robert; Butler, Michael; Aniello, Leonardo; Sassone, Vladimiro
errShare
errSave
Scalable reaction network modeling with automatic validation of consistency in Event-B
errSCIENTIFIC REPORTS
IF3.9
err2022-01-25
err1
errOAAI
errSanwal, Usman; Hoang, Thai Son; Petre, Luigia; Petre, Ion
errShare
errSave
Domain-specific scenarios for refinement-based methods
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-01-01
err12
errOAAI
errSnook, Colin; Thai Son Hoang; Dghaym, Dana; Fathabadi, Asieh Salehi; Butler, Michael
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Michael Butler
H-index: 40 · Papers: 435
V
Vladimiro Sassone
H-index: 36 · Papers: 243
I
Ion Petre
H-index: 22 · Papers: 196
C
Colin Snook
H-index: 19 · Papers: 114
L
Leonardo Aniello
H-index: 18 · Papers: 66
View more