Back to INDEX

  Publications of Alain Giorgetti  

Articles in journal or book chapters
  1. Alexander Mednykh and Alain Giorgetti. Enumeration of genus four maps by number of edges. Ars Mathematica Contemporanea, 4:351--361, 2011. [bibtex]


  2. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, 2(6):500--514, December 2008. [bibtex]


  3. Jean-François Couchot, D. Déharbe, Alain 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. Note: ISSN 0104-6500. [bibtex]


  4. Alain Giorgetti. An asymptotic study for path reversal. Theoretical Computer Science, 299(1-3):585--602, 2003. [bibtex]


  5. Michel Tréhel, P. Gradit, and Alain Giorgetti. Performances d'un algorithme distribué d'exclusion mutuelle en cas de non-équiprobabilité des requêtes des processus. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro spécial Evaluation quantitative des performances des réseaux et systèmes, 13(6):557--573, 2001. [bibtex]


  6. D. Arquès and Alain Giorgetti. Counting rooted maps on a surface. Theoretical Computer Science, 234:255--272, 2000. [bibtex]


  7. D. Arquès and 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. Discrete Mathematics, 217:17--22, April 2000. Note: Procs. of Formal Power Series and Algebraic Combinatorics. [bibtex]


Conference articles
  1. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis. In SAC 2012, 27-th ACM Symposium On Applied Computing, Trento, Italy, pages 1284--1291, March 2012. [bibtex]


  2. Walid Belkhir and Alain Giorgetti. Lazy Rewriting Modulo Associativity and Commutativity. In WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, Novi Sad, Serbia, pages 17--21, May 2011. [bibtex]


  3. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 78--83, June 2011. Springer. Note: Short paper, TOOL session. [bibtex]


  4. Gérard Cécé and Alain Giorgetti. Simulations over Two-Dimensional On-Line Tessellation Automata. In Giancarlo Mauri and Alberto Leporati, editors, DLT 2011, Developments in Language Theory, volume 6795 of LNCS, Milan, Italy, pages 141--152, July 2011. Springer. [bibtex]


  5. Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, and Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. In B. Wolff and F. Zaidi, editors, ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems, volume 7019 of LNCS, Paris, France, pages 64--79, November 2011. Springer. [bibtex]


  6. Bin Yang, Walid Belkhir, Raj Narayan Dhara, Michel Lenczner, and Alain Giorgetti. Computer-Aided Multiscale Model Derivation for MEMS Arrays. In EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, Linz, Austria, April 2011. IEEE Computer Society. Note: 6 pages. Electronic proceedings. [bibtex]


  7. Bin Yang, Raj Narayan Dhara, Walid Belkhir, Michel Lenczner, and Alain Giorgetti. Formal Methods for Multiscale Models Derivation. In CFM 2011, 20-th Congrès Français de Mécanique, Besançon, France, August 2011. Note: 5 pages. Electronic proceedings. [bibtex]


  8. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Frama-C and PathCrawler for C Program Debugging. In GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel, Pau, France, pages 217--218, March 2010. Note: Résumé étendu. [bibtex]


  9. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 94--100, July 2010. [bibtex]


  10. Alain Giorgetti. Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System. In T. Jebelean, M. Mosbah, and N. Popov, editors, SCSS 2010, 3-rd Int.Workshop on Symbolic Computation in Software Science, Hagenberg, Austria, pages 5--18, July 2010. [bibtex]


  11. Alain Giorgetti, Ahmed Hammad, and Bruno Tatibouët. Using SysML for Smart Surface Modeling. In dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 100--107, June 2010. IEEE Computer Society Press. [bibtex]


  12. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Specifying Generic Java Programs: two case studies. In LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications, Paphos, Cyprus, pages 8:1--8:8, March 2010. ACM. [bibtex]


  13. Jean-François Couchot, Alain Giorgetti, and Nicolas Stouls. Graph Based Reduction of Program Verification Conditions. In Hassen Saïdi and N. Shankar, editors, AFM'09, Automated Formal Methods (colocated with CAV'09), Grenoble, France, pages 40--47, 2009. ACM Press. [Abstract] [bibtex]


  14. Thibaud Brocard, Fabrice Bouquet, Alain Giorgetti, and Christophe Lang. Agent based modelling of complex systems with AML and the situation calculus. In ABS2, Int. workshop on Agent Based Spatial Simulation, Paris, France, November 2008. [bibtex]


  15. Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, and Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, Besancon, France, pages 96--110, January 2007. Springer. [bibtex]


  16. Alain Giorgetti and Julien Groslambert. Un programme annoté en vaut deux. In Pierre-Etienne Moreau, editor, JFLA'07, Journées francophones des langages applicatifs, Aix-les-Bains, France, pages 87--101, January 2007. INRIA. [bibtex]


  17. Alain Giorgetti and Julien 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. Note: Session outils. [bibtex]


  18. Alain Giorgetti and Julien 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. Note: Tools session. [bibtex]


  19. Jean-François Couchot, Alain Giorgetti, and Nikolaï Kosmatov. A Uniform Deductive Approach for Parameterized Protocol Safety. In ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering, pages 364--367, 2005. IEEE Computer Society Press. Note: Isbn 1-59593-993-4. [bibtex]


  20. Jean-François Couchot, Frédéric Dadeau, D. Déharbe, Alain Giorgetti, and S. Ranise. Proving and Debugging Set-Based Specifications. In A. Cavalcanti and P. Machado, editors, WMF'03 proceedings, volume 95 of ENTCS, Electronic Notes in Theoretical Computer Science, Campina Grande, Brazil, pages 189--208, May 2004. [bibtex]


  21. Jean-François Couchot, D. Déharbe, Alain Giorgetti, and S. Ranise. Barvey : Vérification automatique de consistance de machines abstraites B. In Jacques Julliand, editor, AFADL'04, Approches Formelles dans l'Assistance au Développement de Logiciels,, Besançon, France, pages 369--372, June 2004. Note: Session outils. [bibtex]


  22. Jean-François Couchot and Alain Giorgetti. Analyse d'atteignabilité déductive. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 269--283, June 2004. [bibtex]


Internal reports
  1. Ivan Enderlin, Abdallah Ben Othman, Frédéric Dadeau, and Alain Giorgetti. Realistic Domains for Unit Tests Generation. Research Report RR2010-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  2. Elena Tushkanova, Alain Giorgetti, and Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. Research Report RR2009-03, LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté, October 2009. Note: 35 pages. [Abstract] [bibtex]


  3. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Modular Specification of Java Programs. Research Report RR-7097, INRIA, 2009. [Abstract] [bibtex]


  4. Alain Giorgetti and Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. Technical Report RT2006-02, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, September 2006.
    Keywords: Java Modeling Language, temporal logic, annotations, verification. [Abstract] [bibtex]


  5. Frédéric Dadeau and Alain 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. Note: 29 pages.
    Keywords: Proof, invariant, B method, MONA. [Abstract] [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html