Sledovat
Thai Son Hoang
Thai Son Hoang
Associate Professor, University of Southampton
E-mailová adresa ověřena na: soton.ac.uk - Domovská stránka
Název
Citace
Citace
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
8002010
Decomposition tool for event‐B
R Silva, C Pascal, TS Hoang, M Butler
Software: Practice and Experience 41 (2), 199-208, 2011
1022011
Event-B patterns and their tool support
TS Hoang, A Fürst, JR Abrial
Software & Systems Modeling 12, 229-244, 2013
952013
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
642013
Developing topology discovery in Event-B
TS Hoang, H Kuruma, D Basin, JR Abrial
Science of Computer Programming 74 (11-12), 879-899, 2009
592009
Qualitative probabilistic modelling in Event-B
S Hallerstede, TS Hoang
International Conference on Integrated Formal Methods, 293-312, 2007
552007
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
502014
Event-B decomposition for parallel programs
TS Hoang, JR Abrial
Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010
492010
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
472018
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
462021
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
The development of a probabilistic B-method and a supporting toolkit
TS Hoang
UNSW Sydney, 2005
362005
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
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 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
342005
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
262012
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álně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20