Follow
Thai Son Hoang
Thai Son Hoang
Associate Professor, University of Southampton
Verified email at soton.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
8502010
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
1002011
Event-B patterns and their tool support
TS Hoang, A Fürst, JR Abrial
Software & Systems Modeling 12, 229-244, 2013
932013
Reasoning about liveness properties in Event-B
TS Hoang, JR Abrial
Formal Methods and Software Engineering: 13th International Conference on …, 2011
752011
Developing topology discovery in Event-B
TS Hoang, H Kuruma, D Basin, JR Abrial
Science of Computer Programming 74 (11-12), 879-899, 2009
582009
Qualitative probabilistic modelling in Event-B
S Hallerstede, TS Hoang
International Conference on Integrated Formal Methods, 293-312, 2007
552007
An introduction to the Event-B modelling method
TS Hoang
Industrial Deployment of System Engineering Methods, 211-236, 2013
512013
Event-B decomposition for parallel programs
TS Hoang, JR Abrial
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
472010
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
452014
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
442018
Using design patterns in formal methods: An Event-B approach
JR Abrial, TS Hoang
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
352008
The Challenge of Probabilistic Event B—Extended Abstract—
C Morgan, TS Hoang, JR Abrial
International Conference of B and Z Users, 162-171, 2005
342005
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
332021
The development of a probabilistic B-method and a supporting toolkit
TS Hoang
UNSW Sydney, 2005
332005
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
312016
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 46, 2011
272011
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
252017
Formal development of policing functions for intelligent systems
C Bogdiukiewicz, M Butler, TS Hoang, M Paxton, J Snook, X Waldron, ...
2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017
222017
The system can't perform the operation now. Try again later.
Articles 1–20