Jean-Luc Baril, Richard Genestier, Alain Giorgetti, Armen Petrossian. Rooted planar maps modulo some patterns. Discrete Mathematics, Elsevier, 2016, 339 (4), pp.1199 - 1205. ⟨10.1016/j.disc.2015.11.007⟩. ⟨hal-02131164⟩

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A rule-based system for automatic decidability and combinability. Science of Computer Programming, Elsevier, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23. ⟨10.1016/j.scico.2014.02.005⟩. ⟨hal-01102883⟩

Noam Zeilberger, Alain Giorgetti. A correspondence between rooted planar maps and normal planar lambda terms. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3:22), pp.1-39. ⟨10.2168/LMCS-11(3:22)2015⟩. ⟨hal-01057269⟩

Michel Planat, Alain Giorgetti, Frédéric Holweck, Metod Saniga. Quantum contextual finite geometries from dessins d'enfants.. International Journal of Geometric Methods in Modern Physics, World Scientific Publishing, 2015, 12, pp.1550067. ⟨10.1142/S021988781550067X⟩. ⟨hal-00873461v4⟩

Walid Belkhir, Alain Giorgetti, Michel Lenczner. A Symbolic Transformation Language and its Application to a Multiscale Method. Journal of Symbolic Computation, Elsevier, 2014, 65, pp.49 - 78. ⟨10.1016/j.jsc.2014.01.004⟩. ⟨hal-00917323v2⟩

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, Institution of Engineering and Technology, 2008, 2 (6), pp.500--514. ⟨10.1049/iet-sen:20080008⟩. ⟨hal-00561340⟩

Didier Arquès, Alain Giorgetti. Counting rooted maps on a surface. Theoretical Computer Science, Elsevier, 2000, 234 (1-2), pp.255--272. ⟨10.1016/S0304-3975(98)00230-8⟩. ⟨hal-00693789⟩

Alain Giorgetti. Maple V release 5 pour Windows 95. Pour la science, Société Pour la Science 1998, pp.110-111. ⟨inria-00098460⟩

Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays. ICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. pp.218-223, ⟨10.1109/ICSTW.2013.80⟩. ⟨hal-00909202⟩

Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays. ICST Workshops, Jan 2013, Luxembourg. pp.218 - 223. ⟨hal-00935308⟩

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability for Theories with Counting Operators. Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States. ⟨hal-00920496⟩

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩. ⟨hal-00878657⟩

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP. ICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩. ⟨hal-00751321⟩

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis. SAC 2012, 27-th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.1284-1291, ⟨10.1145/2245276.2231980⟩. ⟨hal-00746814⟩

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA 2012 - 9th International Workshop on Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. pp.221-239, ⟨10.1007/978-3-642-34005-5_12⟩. ⟨hal-00749576⟩

Alain Giorgetti, Valerio Senni. Specification and Validation of Algorithms Generating Planar Lehman Words. GASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France. ⟨hal-00753008⟩

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP. A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation, Jan 2012, Canada. pp.509--518. ⟨hal-00931662⟩

Walid Belkhir, Alain Giorgetti. Lazy AC-Pattern Matching for Rewriting. 10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.37-51, ⟨10.4204/EPTCS.82.3⟩. ⟨hal-00756343⟩

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩. ⟨inria-00622904⟩

Gérard Cécé, Alain Giorgetti. Simulations over Two-Dimensional On-Line Tessellation Automata. 15th International Conference on Developments in Language Theory - DLT 2011, Jul 2011, Milan, Italy. pp.141--152, ⟨10.1007/978-3-642-22321-1_13⟩. ⟨hal-00642531⟩

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩. ⟨hal-00640279⟩

Walid Belkhir, Alain Giorgetti. Lazy Rewriting Modulo Associativity and Commutativity. WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.17--21. ⟨hal-00642515⟩

Alain Giorgetti, Ahmed Hammad, Bruno Tatibouët. Using SysML for Smart Surface Modeling. dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Jun 2010, Besançon, France. pp.100--107. ⟨inria-00525791⟩

Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko. Specifying Generic Java Programs: two case studies. 11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106. ⟨inria-00525784⟩

Alain Giorgetti. Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System. Symbolic Computation in Software Science, Jul 2010, Linz, Austria. pp.5--18. ⟨hal-00563330⟩

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. Combining Static Analysis and Test Generation for {C} Program Debugging. TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100. ⟨hal-00563308⟩

Jean-François Couchot, Alain Giorgetti, Nicolas Stouls. Graph Based Reduction of Program Verification Conditions. Automated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47. ⟨inria-00402204⟩

Alain Giorgetti, Julien Groslambert. Un programme annoté en vaut deux. Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France. ⟨inria-00181135⟩

Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. 7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. pp.96--110, ⟨10.1007/11955757⟩. ⟨hal-00563282⟩

Alain Giorgetti, Julien Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties. 9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006, Mar 2006, Vienna/Austria, pp.373--376, ⟨10.1007/11693017⟩. ⟨inria-00114316⟩

Alain Giorgetti, Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'06, Mar 2006, Paris, France. ⟨inria-00114318⟩

Elena Tushkanova, Alain Giorgetti, Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. 2009. ⟨hal-00429040⟩

Jean-François Béraud, Alain Giorgetti. MAP, un package Maple pour compter les cartes pointées. 1998. ⟨inria-00098531⟩

Walid Belkhir, Alain Giorgetti, Michel Lenczner. Rewriting and Symbolic Transformations for Multiscale Methods. 2011. ⟨hal-00643047⟩

Alain Giorgetti. Formalisation et vérification de théories de permutations Version 1. [Rapport de recherche] UBFC - Université de Bourgogne Franche-comté; FEMTO-ST. 2020. ⟨hal-03033416⟩

Ivan Enderlin, Fabrice Bouquet, Frédéric Dadeau, Alain Giorgetti. Praspel: Contract-Driven Testing for PHP using Realistic Domains. [Research Report] RR-8592, INRIA. 2014, pp.39. ⟨hal-01061900⟩

Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C. 2014. ⟨hal-00992159⟩

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. Automatic Decidability for Theories Modulo Integer Offsets. [Research Report] RR-8139, INRIA. 2012, pp.20. ⟨hal-00753896⟩

Gérard Cécé, Alain Giorgetti. Simulations for a Class of Two-Dimensional Automata. [Research Report] RR-7425, INRIA. 2010, pp.18. ⟨inria-00527077v3⟩

Elena Tushkanova, Alain Giorgetti, Claude Marché, Olga Kouchnarenko. Modular Specification of Java Programs. [Research Report] RR-7097, INRIA. 2009, pp.26. ⟨inria-00434452⟩

Jean-François Couchot, Alain Giorgetti, Nicolas Stouls. Graph-based Reduction of Program Verification Conditions. [Research Report] RR-6702, INRIA. 2008, pp.22. ⟨inria-00339847⟩

Alain Giorgetti, Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. [Research Report] 2006. ⟨inria-00114317⟩

Alain Giorgetti. Combinatoire bijective et énumérative des cartes pointées sur une surface. Mathématique discrète [cs.DM]. Université de Marne la Vallée, 1998. Français. ⟨tel-00724977⟩