The Quang TRAN PhD student in Computer Science LaBRI, Université Bordeaux 1

• Infinite systems, abstraction, acceleration techniques
• Model checking, unfolding technique, well-structured transition systems
• FIFO and counter based systems

• Frédéric Herbreteau, Grégoire Sutre and The Quang Tran, Compostional Unfoldings of Heterogeneous Well-Structured Transition Systems, to be appear in ..., 2006.
• The Quang Tran, Frédéric Herbreteau and Grégoire Sutre, Unfolding of Well-Structured Transition Systems, Proceedings of the 6^th School on MOdelling and VErifying parallel Process (MOVEP), pages: 116-121, 2004.
• The Quang Tran, Finite Unfoldings of Well-Structured Data Nets, Master Thesis section Verification of Critical Systems, Université Bordeaux 1, 2004.
[more details ...]

• Unfolding of Well-Structured Transition Systems, in Seminar of Modelling, Verifiying and Test of informatic systems Team (MVTsi), Université Bordeaux 1, March 2005.
• Unfolding of Well-Structured Transition Systems, in Student Sessions at 6^th School on MOdelling and VErifying parallel Process (MOVEP'04), Université Libre de Bruxelles, December 2004.
[more details ...]

People

• Doctoral thesis supervisor:Jean-Michel Couvreur
• Doctoral thesis advisors: Frédéric Herbreteau and Grégoire Sutre
• and other members of MVTsi team

Language:

Last modified: Tue Oct 18 21:51:04 CEST 2005