Lucian Ghirvu

According to our database, Lucian Ghirvu authored at least 9 papers between 1999 and 2003.

Collaborative distances:

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

2003

Using static analysis to improve automatic test generation.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Int. J. Softw. Tools Technol. Transf., 2003

State space reduction based on live variables analysis.

Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu

Sci. Comput. Program., 2003

2002

Génération automatique de tests de conformité pour les protocoles de télécommunication.

Lucian Ghirvu

PhD thesis, 2002

Résumés de thèse.

Lucian Ghirvu, Alexandra Stoica, Hassan Aboushady

Ann. des Télécommunications, 2002

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

A Transformational Approach for Generating Non-linear Invariants.

Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech

Proceedings of the Static Analysis, 7th International Symposium, 2000

IF: A Validation Environment for Timed Asynchronous Systems.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

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

Proceedings of the SDL '99 The Next Millennium, 1999

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

Proceedings of the FM'99 - Formal Methods, 1999