Nombre de documents

42


Article dans une revue8 documents

  • Jean-Luc Baril, Richard Genestier, Alain Giorgetti, Armen Petrossian. Rooted planar maps modulo some patterns. Discrete Mathematics, Elsevier, 2016, 339, pp.1199-1205. <hal-01244701>
  • 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>
  • 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. <http://www.lmcs-online.org/ojs/viewarticle.php?id=1695&layout=abstract>. <10.2168/LMCS-11(3:22)2015>. <hal-01057269>
  • 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. <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, Paris : E. Belin, 1998, pp.110-111. <inria-00098460>

Communication dans un congrès23 documents

  • 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. IEEE, pp.218-223, 2013, <10.1109/ICSTW.2013.80>. <hal-00909202>
  • 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. 2013. <hal-00920496>
  • Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays. ICST Workshops, Jan 2013, Luxembourg. pp.218 - 223, 2013. <hal-00935308>
  • 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. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 21, pp.303-318, 2013, LIPIcs. <10.4230/LIPIcs.RTA.2013.303>. <hal-00878657>
  • 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. 2012. <hal-00753008>
  • 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. ACM, pp.1284-1291, 2012, Proceedings of the 27th Annual ACM Symposium on Applied Computing. <10.1145/2245276.2231980>. <hal-00746814>
  • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. IEEE Computer Society, pp.509-518, 2012, IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. <10.1109/ICST.2012.136>. <hal-00751321>
  • Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A Rule-Based Framework for Building Superposition-Based Decision Procedures. Franciso Durán. Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. Springer Berlin / Heidelberg, 7571, pp.221-239, 2012, Lecture Notes in Computer Science; Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. <10.1007/978-3-642-34005-5_12>. <hal-00749576>
  • 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, 2013. <hal-00931662>
  • Gérard Cécé, Alain Giorgetti. Simulations over Two-Dimensional On-Line Tessellation Automata. Mauri, Giancarlo and Leporati, Alberto. 15th International Conference on Developments in Language Theory - DLT 2011, Jul 2011, Milan, Italy. Springer, 6795, pp.141--152, 2011, Lecture Notes in Computer Science; Developments in Language Theory. <http://www.springerlink.com/content/y30755j223127602/>. <10.1007/978-3-642-22321-1_13>. <hal-00642531>
  • 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, 2011. <hal-00642515>
  • Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. Martin Gogolla and Burkhart Wolff. 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. Springer Verlag, 6706, pp.78-83, 2011, Lecture Notes in Computer Science; Tests and Proofs 5th International Conference, TAP 2011. <10.1007/978-3-642-21768-5>. <inria-00622904>
  • Walid Belkhir, Alain Giorgetti. Lazy AC-Pattern Matching for Rewriting. Santiago Escobar. 10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. 82, pp.37-51, 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming. <10.4204/EPTCS.82.3>. <hal-00756343>
  • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. Burkhartt Wolff and Fatiha Zaidi. 23rd IFIP International Conference on Testing Software and Systems (ICTSS'11), Nov 2011, Paris, France. Springer-Verlag, 7019, pp.64--79, 2011, Lecture Notes in Computer Science; Testing Software and Systems. <10.1007/978-3-642-24580-0_6>. <hal-00640279>
  • 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, 2010. <hal-00563308>
  • Alain Giorgetti. Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System. T. Jebelean and M. Mosbah and N. Popov. Symbolic Computation in Software Science, Jul 2010, Linz, Austria. pp.5--18, 2010. <hal-00563330>
  • 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. IEEE, pp.100--107, 2010. <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, 2010. <inria-00525784>
  • Jean-François Couchot, Alain Giorgetti, Nicolas Stouls. Graph Based Reduction of Program Verification Conditions. Hassen Saïdi and N. Shankar. Automated Formal Methods (AFM'09), colocated with CAV'09, Jun 2009, Grenoble, France. ACM Press, pp.40--47, 2009. <inria-00402204>
  • Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. Jacques Julliand et Olga Kouchnarenko. 7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. Springer-Verlag, 4355, pp.96--110, 2007, Lecture Notes in Computer Science. <10.1007/11955757>. <hal-00563282>
  • Alain Giorgetti, Julien Groslambert. Un programme annoté en vaut deux. Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France. 2007. <inria-00181135>
  • Alain Giorgetti, Julien Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties. L. Baresi and R. Heckel. 9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006, Mar 2006, Vienna/Austria, Springer, 3922, pp.373--376, 2006, Lecture Notes in Computer Science. <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. 2006. <inria-00114318>

Autre publication2 documents

  • Elena Tushkanova, Alain Giorgetti, Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. Rapport de recherche LIFC. 2009. <hal-00429040>
  • Jean-François Béraud, Alain Giorgetti. MAP, un package Maple pour compter les cartes pointées. 98-R-357 || beraud98a. 1998. <inria-00098531>

Pré-publication, Document de travail1 document

  • Walid Belkhir, Alain Giorgetti, Michel Lenczner. Rewriting and Symbolic Transformations for Multiscale Methods. 25 pages. 2011. <hal-00643047>

Rapport7 documents

  • 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>

Thèse1 document

  • 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>