Publications

 

Publications

 
     
 

Publications and/or bibtex entries: see FEMTO-ST databaseresearchgatecv.archives-ouvertes.fr, arXiv or DBLP

 
 

All my publications at the L.I.F.C. (from 1999 to 2007, in reverse chronological order)

 
 

[GG07] A. Giorgetti and J. Groslambert. Un programme annoté en vaut deux. In P.-E. Moreau, editor, Journées francophones des langages applicatifs (JFLA'07), Aix-les-Bains, France, January 2007. INRIA.

 
 

[BCDG07] F. Bouquet, J.-F. Couchot, F. Dadeau, and A. Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. In J. Julliand and O. Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, 96-110, Besancon, France, January 2007. Springer.

 
 

[GG06a] A. Giorgetti and J. Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, March 2006. Session outils.

 
 

[GG06b] A. Giorgetti and J. Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties. In FASE'2006, Fundamental Approaches to Software Engineering, volume 3922 of LNCS, Vienna, Austria, pages 373--376, March 2006. Springer.

 
 

[CGK05] J.-F. Couchot, A. Giorgetti, and N. Kosmatov. A Uniform Deductive Approach for Parameterized Protocol Safety. In ASE'05: Proceedings of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering, p. 364-367, 2005. IEEE Computer Society. Author version : PDF.

 
 

[CDGR04] J.-F. Couchot, D. Déharbe, A. Giorgetti, and S. Ranise. Barvey : Vérification automatique de consistance de machines abstraites B. In J. Julliand, editor, Sessions Outils, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, p. 369-372, June 2004.

 
 

[CG04] J.-F. Couchot and A. Giorgetti. Analyse d'atteignabilité déductive. In J. Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, p. 269-283, June 2004.

 
  [CDGR04] J.-F. Couchot, D. Déharbe, A. Giorgetti, and S. Ranise. Scalable Automated Proving and Debugging of Set-Based Specifications. Journal of the Brazilian Computer Society (JBCS), 9(2):17--36, November 2003.  
 

[CDD+04] J.-F. Couchot, F. Dadeau, D. Déharbe, A. Giorgetti, and S. Ranise. Proving and Debugging Set-Based Specifications. In Electronic Notes in Theoretical Computer Science, proceedings of the Sixth Brazilian Workshop on Formal Methods (WMF'03), volume 95, p. 189-208, May 2004.

 
  [Gio03] A. Giorgetti, An asymptotic study for path reversal, Theoretical Computer Science, Vol. 299, n°1-3, p. 585-602 (2003).
 
 

[DG03] F. Dadeau and A. Giorgetti. Vérification de machines abstraites B en logique monadique du second ordre. Rapport de Recherche RR2003-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2003.

 
 

[TGG01] M. Tréhel, P. Gradit et A. Giorgetti, Performances d'un algorithme distribué d'exclusion mutuelle en cas de non-équiprobabilité des requêtes des processus, Réseaux et Systèmes Répartis, Calculateurs Parallèles, numéro spécial "Evaluation quantitative des performances des réseaux et systèmes", Vol. 13, n°6, p. 557-573 (2001).

 
 

Before 2000

 
  [AG00a] D. Arquès et A. Giorgetti, Counting rooted maps on a surface, Theoret. Comput. Sci. 234 (2000), pp. 255-272.  
  [AG00b] D. Arquès et A. 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, Discrete Math., FPSAC’97 Vienna 217 1-3 (2000), pp. 17-32.  
  [AG99] D. Arquès et A. Giorgetti, Énumération des cartes pointées de genre quelconque en fonction des nombres de sommets et de faces, J. Combin. Theory Ser. B 77 (1999), pp. 1-24.  
 

[BG98] J.-F. Béraud et A. Giorgetti, MAP : un package Maple pour compter les cartes pointées, Rapport technique LORIA 98-R-357 (1998), 15 pages.

 
  [Gio98a] A. Giorgetti, Maple V release 5 pour Windows 95, analyse de logiciel, Pour la Science 249 (juillet 1998), pp. 110-111.  
  [Gio98b] A. Giorgetti, Combinatoire bijective et énumérative des cartes pointées sur une surface, Rapport de thèse, Université de Marne-la-Vallée (1998), 192 pages.  
 

[AG98a] D. Arquès et A. Giorgetti, Counting rooted maps on a surface, Institut Gaspard Monge, Rapport Interne 12 (1998), 20 pages.

 
  [AG97a] D. Arquès et A. Giorgetti, Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces, Institut Gaspard Monge, Rapport Interne 21 (1997), 17 pages.  
  [AG97b] D. Arquès et A. 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, Actes de FPSAC’97, Universität Wien, Vienne, (1997), pp. 14-25.