Thai Son Hoang

Cited by

	All	Since 2019
Citations	2159	954
h-index	21	15
i10-index	39	22

180

135

2005200620072008200920102011201220132014201520162017201820192020202120222023202418 10 8 12 24 57 84 95 115 131 99 173 155 163 138 170 148 176 163 153

Public access

View all

21 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Dana DghaymLecturer, University of SouthamptonVerified email at soton.ac.uk
Stefan HallerstedeAssociate Professor at Aarhus University Department of EngineeringVerified email at eng.au.dk
Asieh Salehi FathabadiSenior Research Fellow University of SouthamptonVerified email at soton.ac.uk
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Renato SilvaResearch Fellow, university of SouthamptonVerified email at ecs.soton.ac.uk
Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesVerified email at ost.ch
Simon HudonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Stephen R. TurnockUniversity of SouthamptonVerified email at soton.ac.uk
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerified email at surrey.ac.uk
Geoffrey C. HuletteSandia National LabsVerified email at hulette.net
Rupert SchlickAIT Austrian Institute of Technology GmbHVerified email at ait.ac.at
Fahad AlotaibiAssistant Professor, King Saud UniversityVerified email at ksu.edu.sa
Emre YilmazUniversity of Houston-DowntownVerified email at uhd.edu
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Leonardo AnielloAssociate Professor, University of SouthamptonVerified email at soton.ac.uk
Chenyang ZhuAssociate Professor, Changzhou UniversityVerified email at soton.ac.uk

Thai Son Hoang

Associate Professor, University of Southampton

Verified email at soton.ac.uk - Homepage

Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by 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	790	2010
Decomposition tool for event‐B R Silva, C Pascal, TS Hoang, M Butler Software: Practice and Experience 41 (2), 199-208, 2011	101	2011
Event-B patterns and their tool support TS Hoang, A Fürst, JR Abrial Software & Systems Modeling 12, 229-244, 2013	95	2013
Reasoning about liveness properties in Event-B TS Hoang, JR Abrial Formal Methods and Software Engineering: 13th International Conference on …, 2011	80	2011
An introduction to the Event-B modelling method TS Hoang Industrial Deployment of System Engineering Methods, 211-236, 2013	60	2013
Developing topology discovery in Event-B TS Hoang, H Kuruma, D Basin, JR Abrial Science of Computer Programming 74 (11-12), 879-899, 2009	59	2009
Qualitative probabilistic modelling in Event-B S Hallerstede, TS Hoang International Conference on Integrated Formal Methods, 293-312, 2007	55	2007
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	48	2014
Event-B decomposition for parallel programs TS Hoang, JR Abrial Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010	48	2010
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	45	2018
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	41	2021
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	35	2016
The development of a probabilistic B-method and a supporting toolkit TS Hoang UNSW Sydney, 2005	35	2005
Using design patterns in formal methods: An Event-B approach JR Abrial, TS Hoang Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008	34	2008
The Challenge of Probabilistic Event B—Extended Abstract— C Morgan, TS Hoang, JR Abrial International Conference of B and Z Users, 162-171, 2005	34	2005
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	33	2017
Probabilistic Termination in B A McIver, C Morgan, TS Hoang ZB 2003: Formal Specification and Development in Z and B: Third …, 2003	28	2003
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	28	2003
A survey on Event-B decomposition TS Hoang, A Iliasov, RA Silva, W Wei Electronic Communications of the EASST, 2012	26	2012
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	24	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors