Thai Son Hoang

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede et al. · International Journal on Software Tools for Technology Transfer · 2010 · 663 citations

Reasoning, Engineering, Data Science +13

Decomposition tool for event‐B

Renato Silva, Carine Pascal, Thai Son Hoang et al. · Software Practice and Experience · 2011 · 59 citations · Full text

Event-driven Architecture, Engineering, Industrial Engineering +23

An STPA-based formal composition framework for trustworthy autonomous maritime systems

Dana Dghaym, Thai Son Hoang, Stephen R. Turnock et al. · Safety Science · 2021 · 52 citations

Naval Architecture, Formal Specification, Engineering +11

Event-B patterns and their tool support

Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial · Software & Systems Modeling · 2011 · 46 citations · Full text

Event Processing, Engineering, Data Science +11

Developing topology discovery in Event-B

Thai Son Hoang, Hironobu Kuruma, David Basin et al. · Science of Computer Programming · 2009 · 24 citations

Cluster Computing, Network Science, Engineering +8