Implementation of the Conformance Relation for Incremental Development of Behavioural Models. - Hong-Viet Luong; Thomas Lambolais; Anne-Lise Courbis (MoDELS, 2008)

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 (2010)

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 (SEKE, 2012)

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. - Thomas Lambolais; Anne-Lise Courbis; Hong-Viet Luong; Thanh-Liem Phan (CSDM, 2015)

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)