The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lucian Ghirvu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
    IF: A Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:543-547 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:307-327 [Conf]
  3. Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
    A Transformational Approach for Generating Non-linear Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:58-74 [Conf]
  4. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
    State Space Reduction Based on Live Variables Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:164-178 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1999, pp:423-440 [Conf]
  6. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
    Using Static Analysis to Improve Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:235-250 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:27-52 [Journal]
  8. Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu
    State space reduction based on live variables analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:2-3, pp:203-220 [Journal]
  9. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
    Using static analysis to improve automatic test generation. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:142-152 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002