Follow
Thai Son Hoang
Thai Son Hoang
Lecturer in Cyber-Physical Systems, University of Southampton
Verified email at ecs.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
7852010
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
952011
Event-B patterns and their tool support
TS Hoang, A Fürst, JR Abrial
Software & Systems Modeling 12, 229-244, 2013
882013
Reasoning about liveness properties in Event-B
TS Hoang, JR Abrial
Formal Methods and Software Engineering: 13th International Conference on …, 2011
712011
Developing topology discovery in Event-B
TS Hoang, H Kuruma, D Basin, JR Abrial
Science of Computer Programming 74 (11-12), 879-899, 2009
572009
Qualitative probabilistic modelling in Event-B
S Hallerstede, TS Hoang
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
552007
An introduction to the Event-B modelling method
TS Hoang
Industrial Deployment of System Engineering Methods, 211-236, 2013
452013
Event-B decomposition for parallel programs
TS Hoang, JR Abrial
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
422010
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
392014
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
372018
The Challenge of Probabilistic Event B—Extended Abstract—
C Morgan, TS Hoang, JR Abrial
ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005
342005
The development of a probabilistic B-method and a supporting toolkit
TS Hoang
University of New South Wales, 2005
322005
Using design patterns in formal methods: An Event-B approach
JR Abrial, TS Hoang
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
302008
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
282016
Probabilistic termination in B
A McIver, C Morgan, TS Hoang
ZB 2651, 216-239, 2003
272003
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
262003
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST 46, 2011
242011
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
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
182021
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
182017
The system can't perform the operation now. Try again later.
Articles 1–20