Thanh-Binh Trinh

According to our database1, Thanh-Binh Trinh authored at least 6 papers between 2008 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
TCG: an approach to improving test-driven development by exploiting use case specifications.
Int. J. Syst. Assur. Eng. Manag., April, 2026

2025
A multi-task test case optimization framework with integrated explainable AI for customer churn prediction.
J. Supercomput., September, 2025

2017
A tool support for checking consistency in model refactoring.
Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

2011
Refining Undetermined Events for Specifying Concurrent Programs.
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2009
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008
Checking Interface Interaction Protocols Using Aspect-Oriented Programming.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008


  Loading...