Hong-Viet Luong

According to our database, Hong-Viet Luong authored at least 5 papers between 2008 and 2016.

Collaborative distances:

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

2016

IDF: A framework for the incremental development and conformance verification of UML active primitive components.

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois

J. Syst. Softw., 2016

2015

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan

Proceedings of the Complex Systems Design & Management, 2015

2012

A Formal Support for Incremental Behavior Specification In Agile Development.

Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2010

Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification. (Incremental Construction of Specifications of Critical Systems integrating Verification Procedures).

Hong-Viet Luong

PhD thesis, 2010

2008

Implementation of the Conformance Relation for Incremental Development of Behavioural Models.

Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis

Proceedings of the Model Driven Engineering Languages and Systems, 2008