Lucian Ghirvu

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

Collaborative distances:

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

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

Using Static Analysis to Improve Automatic Test Generation.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 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

State Space Reduction Based on Live Variables Analysis.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Proceedings of the Static Analysis, 6th International Symposium, 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