Thi Mai Thuong Tran

According to our database, Thi Mai Thuong Tran authored at least 9 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Observable interface behaviour and inheritance.

Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen

Math. Struct. Comput. Sci., 2016

2013

Compositional Formal Analysis for Concurrent Object-Oriented Languages.

Thi Mai Thuong Tran

PhD thesis, 2013

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.

Thi Mai Thuong Tran, Martin Steffen, Hoang Truong

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

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

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

Proceedings of the Symposium on Information and Communication Technology 2012, 2012

2011

Design Issues in Concurrent Object-Oriented Languages and Observability.

Thi Mai Thuong Tran, Martin Steffen

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Safe Locking for Multi-threaded Java.

Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Safe Commits for Transactional Featherweight Java.

Thi Mai Thuong Tran, Martin Steffen

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

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

Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009