Thai Son Hoang

Geciteerd door

	Alles	Sinds 2018
Citaties	1926	848
h-index	20	13
i10-index	35	19

200

100

150

200520062007200820092010201120122013201420152016201720182019202020212022202316 10 8 10 26 57 93 99 115 138 102 180 164 180 146 181 159 144 30

Openbare toegang

Alles bekijken

16 artikelen

4 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Michael ButlerProfessor of Computer Science, University of SouthamptonGeverifieerd e-mailadres voor ecs.soton.ac.uk
Stefan HallerstedeAssociate Professor at Aarhus University Department of EngineeringGeverifieerd e-mailadres voor eng.au.dk
David BasinProfessor of Computer Science, ETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
Carroll MorganProfessor, University of New South Wales and DATA61Geverifieerd e-mailadres voor unsw.edu.au
Annabelle McIverMacquarie UniversityGeverifieerd e-mailadres voor mq.edu.au
Farhad MehtaProfessor of Computer Science, OST Eastern Switzerland University of Applied SciencesGeverifieerd e-mailadres voor ost.ch
Renato SilvaResearch Fellow, university of SouthamptonGeverifieerd e-mailadres voor ecs.soton.ac.uk
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
Helen TreharneProfessor, Surrey Centre for Cyber SecurityGeverifieerd e-mailadres voor surrey.ac.uk
Rupert SchlickAIT Austrian Institute of Technology GmbHGeverifieerd e-mailadres voor ait.ac.at
Emre YilmazUniversity of Houston-DowntownGeverifieerd e-mailadres voor uhd.edu
Larissa MeinickeThe University of QueenslandGeverifieerd e-mailadres voor uq.edu.au
Anthony SloaneHonorary Associate Professor, Macquarie UniversityGeverifieerd e-mailadres voor mq.edu.au
KeMing Wang, 王恪铭, Used name: F...Associate professor, Southwest Jiaotong UniversityGeverifieerd e-mailadres voor swjtu.edu.cn
Jonathan OstroffProfessor of Electrical Engineering and Computer Science, York UniversityGeverifieerd e-mailadres voor yorku.ca
Gabriel CiobanuRomanian Academy, IasiGeverifieerd e-mailadres voor info.uaic.ro
Alin StefanescuProfessor of Computer Science, University of Bucharest, RomaniaGeverifieerd e-mailadres voor fmi.unibuc.ro

Volgen

Thai Son Hoang

Lecturer in Cyber-Physical Systems, University of Southampton

Geverifieerd e-mailadres voor ecs.soton.ac.uk - Homepage

Software Engineering Formal Methods


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	792	2010
Decomposition tool for event‐B R Silva, C Pascal, TS Hoang, M Butler Software: Practice and Experience 41 (2), 199-208, 2011	95	2011
Event-B patterns and their tool support TS Hoang, A Fürst, JR Abrial Software & Systems Modeling 12, 229-244, 2013	88	2013
Reasoning about liveness properties in Event-B TS Hoang, JR Abrial Formal Methods and Software Engineering: 13th International Conference on …, 2011	72	2011
Developing topology discovery in Event-B TS Hoang, H Kuruma, D Basin, JR Abrial Science of Computer Programming 74 (11-12), 879-899, 2009	57	2009
Qualitative probabilistic modelling in Event-B S Hallerstede, TS Hoang Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007	55	2007
An introduction to the Event-B modelling method TS Hoang Industrial Deployment of System Engineering Methods, 211-236, 2013	46	2013
Event-B decomposition for parallel programs TS Hoang, JR Abrial Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010	42	2010
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	39	2014
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	37	2018
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	34	2005
The development of a probabilistic B-method and a supporting toolkit TS Hoang University of New South Wales, 2005	32	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	30	2008
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	29	2016
Probabilistic termination in B A McIver, C Morgan, TS Hoang ZB 2651, 216-239, 2003	27	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	26	2003
A survey on Event-B decomposition TS Hoang, A Iliasov, RA Silva, W Wei Electronic Communications of the EASST 46, 2011	24	2011
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	22	2017
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	20	2021
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	20	2017

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs