IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (World Congress on Formal Methods, 1999)

IF: An intermediate representation for SDL and its applications. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier; Joseph Sifakis (SDL Forum, 1999)

IF: A Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (CAV, 2000)

A Transformational Approach for Generating Non-linear Invariants. - Saddek Bensalem; Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Yassine Lakhnech (SAS, 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

Résumés de thèse. - Lucian Ghirvu; Alexandra Stoica; Hassan Aboushady (Ann. des Télécommunications, 2002)

Génération automatique de tests de conformité pour les protocoles de télécommunication. - Lucian Ghirvu (2002)

State space reduction based on live variables analysis. - Jean-Claude Fernandez; Marius Bozga; Lucian Ghirvu (Sci. Comput. Program., 2003)

Using static analysis to improve automatic test generation. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu (Int. J. Softw. Tools Technol. Transf., 2003)