Thai Son Hoang - Concepedia

Author

Thai Son Hoang

Also Known As

Cirstea, Corina, Hoang, Son, Hoang, T. S., Hoang, Thai, Hoang, Thai S., Hoang, Thai Son, T. S. Hoang, Thai Hoang, Thai Son Hoang

133

Publications

1.6K

Citations

H-Index

Concepts

All Affiliations

University of Southampton ETH Zurich Hitachi (Japan)Centre Paul Albert-Février Délégation Provence et Corse

About

Thai Son Hoang is an author at University of Southampton specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	975
2	Computer Science	12	12	961
3	Management	3	3	44
4	Business	1	1	59
5	Computer Engineering	1	1	19

Thai Son Hoang

Publications

Citations

H-Index

Page 1

	Year	Citations
Rodin: an open toolset for modelling and reasoning in Event-B Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, International Journal on Software Tools for Technology Transfer ReasoningEngineeringData ScienceReasoning SystemAutomated Reasoning	2010	663
Decomposition tool for event‐B Renato Silva, Carine Pascal, Thai Son Hoang, Software Practice and Experience Event-driven ArchitectureEngineeringIndustrial EngineeringProject ManagementEvent Correlation	2011	59
An STPA-based formal composition framework for trustworthy autonomous maritime systems Dana Dghaym, Thai Son Hoang, Stephen R. Turnock, Safety Science Naval ArchitectureFormal SpecificationEngineeringFormal ModelingInformation Security	2021	52
Event-B patterns and their tool support Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial Software & Systems Modeling Event ProcessingEngineeringData ScienceAutomated ReasoningProgram Analysis	2011	46
Developing topology discovery in Event-B Thai Son Hoang, Hironobu Kuruma, David Basin, Science of Computer Programming Cluster ComputingNetwork ScienceEngineeringData MiningComputational Topology	2009	24
Event-B Patterns and Their Tool Support Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial Event-driven ArchitectureEngineeringSoftware EngineeringComplex SystemsSoftware Analysis	2009	22
A Composition Mechanism for Refinement-Based Methods Thai Son Hoang, Dana Dghaym, Colin Snook, Event-driven ArchitectureComposition MechanismEngineeringComputer ArchitectureSoftware Engineering	2017	19
A Survey on Event-B Decomposition Thai Son Hoang, Alexei Iliasov, Renato A. Silva, Repository for Publications and Research Data (ETH Zurich) EngineeringEvent-b DecompositionEvent CorrelationSoftware EngineeringComplex Systems	2012	18
Domain-specific scenarios for refinement-based methods Colin Snook, Thai Son Hoang, Dana Dghaym, Journal of Systems Architecture Refinement TechniqueEngineeringCode RefactoringAutomated ReasoningVerification	2020	18
Foundations for using linear temporal logic in Event-B refinement Thai Son Hoang, Steve Schneider, Helen Treharne, Formal Aspects of Computing Formal SpecificationEngineeringFormal ModelingEvent-b RefinementAutomated Reasoning	2016	16

Page 1