Lucian Ghirvu

Verimag — France

Computer Science · Physical Sciences

9h-index332citations11works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(8), Formal Methods in Verification(7), Software Reliability and Analysis Research(5), Logic, programming, and type systems(2), Embedded Systems Design Techniques(2)

Publications11 total

State space reduction based on live variables analysis
Science of Computer Programming·2003· 36 citedOpen Access
Using static analysis to improve automatic test generation
International Journal on Software Tools for Technology Transfer·2003· 10 citedOpen Access
Résumés de thèse
Annals of Telecommunications·2002
Using Static Analysis to Improve Automatic Test Generation
Lecture notes in computer science·2000· 28 citedOpen Access
Verification and test generation for the SSCOP protocol
Science of Computer Programming·2000· 35 citedOpen Access
IF: A Validation Environment for Timed Asynchronous Systems
Lecture notes in computer science·2000· 40 citedOpen Access
A Transformational Approach for Generating Non-linear Invariants
Lecture notes in computer science·2000· 15 citedOpen Access
IF: A Validation Environment for Timed Asynchronous Systems
2000
IF: An Intermediate Representation for SDL and its Applications
Elsevier eBooks·1999· 61 citedOpen Access
If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
Lecture notes in computer science·1999· 74 citedOpen Access
State Space Reduction Based on Live Variables Analysis
Lecture notes in computer science·1999· 33 citedOpen Access

Frequent Co-authors

Marius Bozga(10), Jean-Claude Fernandez(8), Laurent Mounier(5), Susanne Graf(4), Jean-Pierre Krimm(3), Joseph Sifakis(1), Claude Jard(1), Thierry Jéron(1), Alain Kerbrat(1), P. Morel(1), Saddek Bensalem(1), J. -C. Fernandez(1), Yassine Lakhnech(1), Alexandra Stoica(1), Hassan Aboushady(1)