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 (6), 447-466, 2010
6312010
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
892011
Event-B patterns and their tool support
TS Hoang, A Fürst, JR Abrial
Software & Systems Modeling 12 (2), 229-244, 2013
792013
Reasoning about liveness properties in Event-B
TS Hoang, JR Abrial
International Conference on Formal Engineering Methods, 456-471, 2011
622011
Developing topology discovery in Event-B
TS Hoang, H Kuruma, D Basin, JR Abrial
Science of Computer Programming 74 (11-12), 879-899, 2009
532009
Qualitative probabilistic modelling in Event-B
S Hallerstede, TS Hoang
International Conference on Integrated Formal Methods, 293-312, 2007
522007
Event-B decomposition for parallel programs
TS Hoang, JR Abrial
International Conference on Abstract State Machines, Alloy, B and Z, 319-333, 2010
362010
The development of a probabilistic B-method and a supporting toolkit
TS Hoang
University of New South Wales, 2005
332005
An introduction to the Event-B modelling method
TS Hoang
Industrial Deployment of System Engineering Methods, 211-236, 2013
302013
Code generation for Event-B
A Fürst, TS Hoang, D Basin, K Desai, N Sato, K Miyazaki
International Conference on Integrated Formal Methods, 323-338, 2014
292014
Using design patterns in formal methods: An Event-B approach
JR Abrial, TS Hoang
International Colloquium on Theoretical Aspects of Computing, 1-2, 2008
292008
Probabilistic Termination in B
A McIver, C Morgan, TS Hoang
International Conference of B and Z Users, 216-239, 2003
282003
The hybrid ERTMS/ETCS level 3 case study
TS Hoang, M Butler, K Reichl
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
252018
Probabilistic invariants for probabilistic machines
TS Hoang, Z Jin, K Robinson, A McIver, C Morgan
International Conference of B and Z Users, 240-259, 2003
252003
The Challenge of Probabilistic Event B—Extended Abstract—
C Morgan, TS Hoang, JR Abrial
International Conference of B and Z Users, 162-171, 2005
242005
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
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
202016
A survey on Event-B decomposition
TS Hoang, A Iliasov, RA Silva, W Wei
Electronic Communications of the EASST 46, 2011
202011
Abstractions of non-interference security: probabilistic versus possibilistic
TS Hoang, AK McIver, L Meinicke, CC Morgan, A Sloane, E Susatyo
Formal Aspects of Computing 26 (1), 169-194, 2014
132014
Development of control systems guided by models of their environment
S Hudon, TS Hoang
ETH Zurich, 2011
132011
Formal system modelling using abstract data types in Event-B
A Fürst, TS Hoang, D Basin, N Sato, K Miyazaki
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
122014
The system can't perform the operation now. Try again later.
Articles 1–20