The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alain Giorgetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fabrice Bouquet, Jean-Francois Couchot, Frédéric Dadeau, Alain Giorgetti
    Instantiation of Parameterized Data Structures for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:94-108 [Conf]
  2. Alain Giorgetti, Julien Groslambert
    JAG: JML Annotation Generation for Verifying Temporal Properties [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:373-376 [Conf]
  3. Jean-Francois Couchot, Alain Giorgetti, Nikolai Kosmatov
    A uniform deductive approach for parameterized protocol safety. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:364-367 [Conf]
  4. Didier Arquès, Alain Giorgetti
    Une bijection géométrique entre une famille d'hypercartes et une famille de polygones énumérées par la série de Schröder. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2000, v:217, n:1-3, pp:17-32 [Journal]
  5. Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
    Proving and Debugging Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:189-208 [Journal]
  6. Jean-Francois Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise
    Scalable Automated Proving and Debugging of Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
    J. Braz. Comp. Soc., 2004, v:9, n:2, pp:17-36 [Journal]
  7. Didier Arquès, Alain Giorgetti
    Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. B, 1999, v:77, n:1, pp:1-24 [Journal]
  8. Didier Arquès, Alain Giorgetti
    Counting rooted maps on a surface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:234, n:1-2, pp:255-272 [Journal]
  9. Alain Giorgetti
    An asymptotic study for path reversal. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:299, pp:585-602 [Journal]

  10. Combining Static Analysis and Test Generation for C Program Debugging. [Citation Graph (, )][DBLP]


  11. Graph Based Reduction of Program Verification Conditions [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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