Number of documents

43


Journal articles9 documents

Conference papers23 documents

  • 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, Alain Giorgetti, Fabrice Bouquet. A Constraint Solver for PHP Arrays. ICST Workshops, Jan 2013, Luxembourg. pp.218 - 223. ⟨hal-00935308⟩
  • 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⟩
  • Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. A Rule-Based Framework for Building Superposition-Based Decision Procedures. Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. pp.221-239, ⟨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. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩. ⟨hal-00751321⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩
  • 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⟩
  • 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⟩

Other publications2 documents

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

Preprints, Working Papers, ...1 document

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

Reports7 documents

  • Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C. 2014. ⟨hal-00992159⟩
  • 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⟩
  • 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⟩

Theses1 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⟩