Checking the Consistency between UCM and PSM Using a Graph-Based Method. - Ninh-Thuan Truong; Thi-Mai-Thuong Tran; Van-Khanh To; Viet Ha Nguyen 001 (ACIIDS, 2009)

Safe Commits for Transactional Featherweight Java. - Thi Mai Thuong Tran; Martin Steffen (IFM, 2010)

Safe Locking for Multi-threaded Java. - Einar Broch Johnsen; Thi Mai Thuong Tran; Olaf Owe; Martin Steffen (FSEN, 2011)

Design Issues in Concurrent Object-Oriented Languages and Observability. - Thi Mai Thuong Tran; Martin Steffen (KSE, 2011)

A type system for finding upper resource bounds of multi-threaded programs with nested transactions. - Xuan-Tung Vu; Thi Mai Thuong Tran; Anh-Hoang Truong; Martin Steffen (SoICT, 2012)

Safe locking for multi-threaded Java with exceptions. - Einar Broch Johnsen; Thi Mai Thuong Tran; Olaf Owe; Martin Steffen (J. Log. Algebraic Methods Program., 2012)

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. - Thi Mai Thuong Tran; Martin Steffen; Hoang Truong 001 (SEFM, 2013)

Compositional Formal Analysis for Concurrent Object-Oriented Languages. - Thi Mai Thuong Tran (2013)

Observable interface behaviour and inheritance. - Erika Ábrahám; Thi Mai Thuong Tran; Martin Steffen (Math. Struct. Comput. Sci., 2016)