Lucian Ghirvu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
Using static analysis to improve automatic test generation.
Int. J. Softw. Tools Technol. Transf., 2003

State space reduction based on live variables analysis.
Sci. Comput. Program., 2003

2002
Génération automatique de tests de conformité pour les protocoles de télécommunication.
PhD thesis, 2002

Résumés de thèse.
Ann. des Télécommunications, 2002

2000
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program., 2000

A Transformational Approach for Generating Non-linear Invariants.
Proceedings of the Static Analysis, 7th International Symposium, 2000

IF: A Validation Environment for Timed Asynchronous Systems.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
IF: An intermediate representation for SDL and its applications.
Proceedings of the SDL '99 The Next Millennium, 1999

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.
Proceedings of the FM'99 - Formal Methods, 1999


  Loading...