Lucian Ghirvu

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using static analysis to improve automatic test generation. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu
State space reduction based on live variables analysis. Sci. Comput. Program. 47 (2-3) (2003)
Lucian Ghirvu, Alexandra Stoica, Hassan Aboushady
Résumés de thèse. Ann. des Télécommunications 57 (9-10) (2002)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36 (1) (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. CAV (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using Static Analysis to Improve Automatic Test Generation. TACAS (2000)
Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
A Transformational Approach for Generating Non-linear Invariants. SAS (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
IF: An intermediate representation for SDL and its applications. SDL Forum (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
State Space Reduction Based on Live Variables Analysis. SAS (1999)

Lucian Ghirvu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Lucian Ghirvu