Sledovať
Thai Son Hoang
Thai Son Hoang
Associate Professor, University of Southampton
Overená e-mailová adresa na: soton.ac.uk - Domovská stránka
Názov
Citované v
Citované v
Rok
Rodin: an open toolset for modelling and reasoning in Event-B
JR Abrial, M Butler, S Hallerstede, TS Hoang, F Mehta, L Voisin
International journal on software tools for technology transfer 12, 447-466, 2010
9142010
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
992011
Event-B patterns and their tool support
TS Hoang, A Fürst, JR Abrial
Software & Systems Modeling 12, 229-244, 2013
982013
Reasoning about liveness properties in Event-B
TS Hoang, JR Abrial
Formal Methods and Software Engineering: 13th International Conference on …, 2011
822011
An introduction to the Event-B modelling method
TS Hoang
Industrial Deployment of System Engineering Methods, 211-236, 2013
662013
Developing topology discovery in Event-B
TS Hoang, H Kuruma, D Basin, JR Abrial
Science of Computer Programming 74 (11-12), 879-899, 2009
622009
Qualitative probabilistic modelling in Event-B
S Hallerstede, TS Hoang
International Conference on Integrated Formal Methods, 293-312, 2007
572007
Event-B decomposition for parallel programs
TS Hoang, JR Abrial
International Conference on Abstract State Machines, Alloy, B and Z, 319-333, 2010
492010
An STPA-based formal composition framework for trustworthy autonomous maritime systems
D Dghaym, TS Hoang, SR Turnock, M Butler, J Downes, B Pritchard
Safety science 136, 105139, 2021
482021
Code generation for Event-B
A Fürst, TS Hoang, D Basin, K Desai, N Sato, K Miyazaki
Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014
482014
The hybrid ERTMS/ETCS level 3 case study
TS Hoang, M Butler, K Reichl
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
462018
The development of a probabilistic B-method and a supporting toolkit
TS Hoang
UNSW Sydney, 2005
372005
Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion studio, and co-simulation
TS Hoang, C Snook, L Ladenberger, M Butler
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
362016
A composition mechanism for refinement-based methods
TS Hoang, D Dghaym, C Snook, M Butler
2017 22nd International Conference on Engineering of Complex Computer …, 2017
342017
Using design patterns in formal methods: An Event-B approach
JR Abrial, TS Hoang
Lecture Notes in Computer Science 5160, 1-2, 2008
342008
The Challenge of Probabilistic Event B—Extended Abstract—
C Morgan, TS Hoang, JR Abrial
International Conference of B and Z Users, 162-171, 2005
332005
Probabilistic Termination in B
A McIver, C Morgan, TS Hoang
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
282003
Probabilistic invariants for probabilistic machines
TS Hoang, Z Jin, K Robinson, A McIver, C Morgan
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
282003
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST, 2012
272012
Foundations for using linear temporal logic in Event-B refinement
TS Hoang, S Schneider, H Treharne, DM Williams
Formal Aspects of Computing 28, 909-935, 2016
242016
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20