I agree that this site is using cookies. You can find further informations here.
X
Son Hoang, Thai
2132  results:
Search for persons X
?
1

A Rigorous Iterative Analysis Approach for Capturing the Sa..:

, In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC),
Alotaibi, Fahad ; Son Hoang, Thai ; Butler, Michael - p. 1697-1702 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Systematic hierarchical analysis of requirements for critic..:

Fathabadi, Asieh Salehi ; Snook, Colin ; Dghaym, Dana...
Innovations in Systems and Software Engineering.  , 2024
Link: https://doi.org/10.1007/..
 
?
3

Semantics Formalisation – From Event-B Contexts to Theories:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Hoang, Thai Son ; Voisin, Laurent ; Wright, Karla Vanessa Morris.. - p. 208-214 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Verifying HyperLTL Properties in Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Bodeveix, Jean-Paul ; Carle, Thomas ; Fares, Elie.. - p. 255-261 , 2024
Link: https://doi.org/10.1007/..
 
?
5

Designing Exception Handling Using Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Salehi Fathabadi, Asieh ; Snook, Colin ; Hoang, Thai Son... - p. 270-277 , 2024
Link: https://doi.org/10.1007/..
 
?
6

Event-B Development of Modelling Human Intervention Request..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Alotaibi, Fahad ; Hoang, Thai Son ; Fathabadi, Asieh Salehi. - p. 43-60 , 2024
Link: https://doi.org/10.1007/..
 
?
7

Designing Critical Systems Using Hierarchical STPA and Even..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Salehi Fathabadi, Asieh ; Snook, Colin ; Dghaym, Dana... - p. 220-237 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Building an Extensible Textual Framework for the Rodin Plat..:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,
Hoang, Thai Son ; Snook, Colin ; Dghaym, Dana.. - p. 132-147 , 2023
Link: https://doi.org/10.1007/..
 
?
9

AIC Approach for Intelligent Systems Requirements Elicitati..:

, In: 2023 7th International Conference on System Reliability and Safety (ICSRS),
Al-Shareefy, Haider ; Butler, Michael ; Hoang, Thai Son - p. 570-579 , 2023
Link: https://doi.org/10.1109/..
 
?
10

Formal Language Semantics for Triggered Enable Statecharts ..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Morris Wright, Karla Vanessa ; Hoang, Thai Son ; Snook, Colin. - p. 178-195 , 2023
Link: https://doi.org/10.1007/..
 
?
11

A fairness-based refinement strategy to transform liveness ..:

Zhu, Chenyang ; Butler, Michael ; Cirstea, Corina.
Science of Computer Programming.  225 (2023)  - p. 102907 , 2023
Link: https://doi.org/10.1016/..
 
?
12

Developing the UML-B Modelling Tools:

, In: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science,
Snook, Colin ; Butler, Michael ; Hoang, Thai Son.. - p. 181-188 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Generating SPARK from Event-B, Providing Fundamental Safety..:

, In: Advances in Model and Data Engineering in the Digitalization Era; Communications in Computer and Information Science,
Salehi Fathabadi, Asieh ; Dghaym, Dana ; Hoang, Thai Son.. - p. 179-192 , 2022
Link: https://doi.org/10.1007/..
 
?
14

A lightweight approach to the concurrent use and integratio..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Thorburn, Robert ; Sassone, Vladimiro ; Fathabadi, Asieh Salehi... - p. 83-84 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

Scalable reaction network modeling with automatic validatio..:

Sanwal, Usman ; Hoang, Thai Son ; Petre, Luigia.
Scientific Reports.  12 (2022)  1 - p. , 2022
Link: https://doi.org/10.1038/..
 
1-15