Alain Giorgetti

Publications

Article dans une revue (21)

Multi-qubit doilies: Enumeration for all ranks and classification for ranks four and five Axel Muller,Metod Saniga,Alain Giorgetti,Henri de Boutray,Frédéric Holweck Journal of computational science, 2022, 64, pp.101853 (18). ⟨10.1016/j.jocs.2022.101853⟩ Article dans une revue hal-03874438v1
Towards random and enumerative testing for OCaml and WhyML properties Clotilde Erard,Jérome Ricciardi,Alain Giorgetti Software Quality Journal, 2022, 30 (1), pp.253 - 279. ⟨10.1007/s11219-021-09572-z⟩ Article dans une revue hal-03722048v1
Contextuality degree of quadrics in multi-qubit symplectic polar spaces Henri de Boutray,Frédéric Holweck,Alain Giorgetti,Pierre-Alain Masson,Metod Saniga Journal of Physics A: Mathematical and Theoretical, 2022, 55 (47), pp.475301. ⟨10.1088/1751-8121/aca36f⟩ Article dans une revue hal-03651233v1
Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank Metod Saniga,Henri de Boutray,Frédéric Holweck,Alain Giorgetti Mathematics , 2021, 9 (18), pp.2272 (18). ⟨10.3390/math9182272⟩ Article dans une revue hal-03551957v1
Mermin polynomials for non-locality and entanglement detection in Grover’s algorithm and Quantum Fourier Transform Henri de Boutray,Hamza Jaffali,Frédéric Holweck,Alain Giorgetti,Pierre-Alain Masson Quantum Information Processing, 2021, 20 (3), pp.91 (29) Article dans une revue hal-03221875v1
Tests and proofs for custom data generators Catherine Dubois,Alain Giorgetti Formal Aspects of Computing, 2018, 30 (6), pp.659 - 684 Article dans une revue hal-02302096v1
How testing helps to diagnose proof failures Guiillaume Petiot,Nikolaï Kosmatov,Bernard Botella,Alain Giorgetti,Jacques Julliand Formal Aspects of Computing, 2018, 30 (6), pp.629 - 657. ⟨10.1007/s00165-018-0456-4⟩ Article dans une revue hal-01948799v1
Enumeration of hypermaps of a given genus Alain Giorgetti,Timothy R.S. Walsh Ars Mathematica Contemporanea, 2018, 15 (1), pp.225-266. ⟨10.26493/1855-3974.1115.90f⟩ Article dans une revue hal-01948796v1
Contract-based testing for PHP with Praspel Frédéric Dadeau,Alain Giorgetti,Fabrice Bouquet,Ivan Enderlin Journal of Systems and Software , 2018, 136, pp.209 - 222 Article dans une revue hal-02129724v1
Rooted planar maps modulo some patterns Jean-Luc Baril,Richard Genestier,Alain Giorgetti,Armen Petrossian Discrete Mathematics, 2016, 339 (4), pp.1199 - 1205. ⟨10.1016/j.disc.2015.11.007⟩ Article dans une revue hal-02131164v1
Your proof fails? Testing helps to find the reason G. Petiot,N. Kosmatov,B. Botella,Alain Giorgetti,J. Julliand Lecture Notes in Computer Science, 2016, 9762, pp.130-150. ⟨10.1007/978-3-319-41135-4_8⟩ Article dans une revue cea-01808892v1
Quantum contextual finite geometries from dessins d'enfants. Michel Planat,Alain Giorgetti,Frédéric Holweck,Metod Saniga International Journal of Geometric Methods in Modern Physics, 2015, 12, pp.1550067. ⟨10.1142/S021988781550067X⟩ Article dans une revue hal-00873461v4
A correspondence between rooted planar maps and normal planar lambda terms Noam Zeilberger,Alain Giorgetti Logical Methods in Computer Science, 2015, 11 (3:22), pp.1-39. ⟨10.2168/LMCS-11(3:22)2015⟩ Article dans une revue hal-01057269v1
A rule-based system for automatic decidability and combinability Elena Tushkanova,Alain Giorgetti,Christophe Ringeissen,Olga Kouchnarenko Science of Computer Programming, 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⟩ Article dans une revue hal-01102883v1
Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices Timothy R Walsh,Alain Giorgetti Ars Mathematica Contemporanea, 2014, 7 (2), pp.263 - 280 Article dans une revue hal-03221874v1
A Symbolic Transformation Language and its Application to a Multiscale Method Walid Belkhir,Alain Giorgetti,Michel Lenczner Journal of Symbolic Computation, 2014, 65, pp.49 - 78. ⟨10.1016/j.jsc.2014.01.004⟩ Article dans une revue hal-00917323v2
Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices Timothy Walsh,Alain Giorgetti,Alexander Mednykh Discrete Mathematics, 2012, 312 (17), pp.2660--2671. ⟨10.1016/j.disc.2011.11.027⟩ Article dans une revue hal-01219337v1
Enumeration of genus four maps by number of edges Alexander Mednykh,Alain Giorgetti Ars Mathematica Contemporanea, 2011, 4 (2), pp.351-361. ⟨10.26493/1855-3974.132.fe2⟩ Article dans une revue hal-01222902v1
Verification of class liveness properties with Java modeling language Alain Giorgetti,Julien Groslambert,Jacques Julliand,Olga Kouchnarenko IET Software, 2008, 2 (6), pp.500--514. ⟨10.1049/iet-sen:20080008⟩ Article dans une revue hal-00561340v1
Counting rooted maps on a surface Didier Arquès,Alain Giorgetti Theoretical Computer Science, 2000, 234 (1-2), pp.255--272. ⟨10.1016/S0304-3975(98)00230-8⟩ Article dans une revue istex hal-00693789v1
Maple V release 5 pour Windows 95 Alain Giorgetti Pour la science, 1998, 249, pp.110-111 Article dans une revue inria-00098460v1

Communication dans un congrès (37)

Generation of state-independent contextuality proofs from hypergraphs Axel Muller,Alain Giorgetti,Metod Saniga Journées Informatique Quantique, Jan 2025, Gif-sur-Yvette, France Communication dans un congrès hal-05264266v1
Hypergraphs of linear systems over the two-element field and quantum contextuality proofs Axel Muller,Alain Giorgetti,Metod Saniga,Colm Kelleher 26èmes Journées Graphes et Algorithmes (JGA 2024), Nov 2024, Dijon, France Communication dans un congrès hal-05002639v1
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs Clotilde Erard,Alain Giorgetti 31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.159-175, ⟨10.1007/978-3-030-31280-0_10⟩ Communication dans un congrès hal-02526343v1
Combinatoire formelle avec Why3 et Coq Alain Giorgetti,Catherine Dubois,Rémi Lazarini Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France Communication dans un congrès hal-02302086v1
Preuve de programmes d’énumération avec Why3 Alain Giorgetti,Rémi Lazarini Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France Communication dans un congrès hal-02302094v1
Spécification et vérification formelle d’opérations sur les permutations Richard Genestier,Alain Giorgetti Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France Communication dans un congrès hal-02131148v1
Tests and proofs for enumerative combinatorics Catherine Dubois,Alain Giorgetti,Richard Genestier TAP 2016: International Conference on Tests and Proofs, Jul 2016, Vienna, Austria. pp.57-75, ⟨10.1007/978-3-319-41135-4_4⟩ Communication dans un congrès hal-01670709v1
Lambda terms and maps, formally Alain Giorgetti,Catherine Dubois,Noam Zeilberger Workshop on Computational Logic and Applications, Mar 2015, Lyon, France Communication dans un congrès hal-03221915v1
Gagnez sur tous les tableaux Richard Genestier,Alain Giorgetti,Guillaume Petiot Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France Communication dans un congrès hal-01099135v2
Gagnez sur tous les tableaux Richard Genestier,Alain Giorgetti,Guiillaume Petiot Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Val d'Ajol, France Communication dans un congrès hal-03221932v1
Sequential generation of structured arrays and its deductive verification Richard Genestier,Alain Giorgetti,Guillaume Petiot TAP 2015, 9th Int. Conf. of Tests and Proofs, 2015, L'Aquila, Italy. pp.109--128 Communication dans un congrès hal-01228995v1
How Test Generation Helps Software Specification and Deductive Verification in Frama-C Guillaume Petiot,Nikolai Kosmatov,Alain Giorgetti,Jacques Julliand Tests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩ Communication dans un congrès hal-01108553v1
Automatic Decidability for Theories with Counting Operators Elena Tushkanova,Christophe Ringeissen,Alain Giorgetti,Olga Kouchnarenko Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States Communication dans un congrès hal-00920496v1
A Constraint Solver for PHP Arrays Ivan Enderlin,Alain Giorgetti,Fabrice Bouquet ICST Workshops, Jan 2013, Luxembourg. pp.218 - 223 Communication dans un congrès hal-00935308v1
Grammar-Based Testing using Realistic Domains in PHP Ivan Enderlin,Frédéric Dadeau,Alain Giorgetti,Fabrice Bouquet 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 Communication dans un congrès hal-00931662v1
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators Elena Tushkanova,Christophe Ringeissen,Alain Giorgetti,Olga Kouchnarenko RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩ Communication dans un congrès hal-00878657v1
A Constraint Solver for PHP Arrays Ivan Enderlin,Alain Giorgetti,Fabrice Bouquet 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⟩ Communication dans un congrès hal-00909202v1
Specification and Validation of Algorithms Generating Planar Lehman Words Alain Giorgetti,Valerio Senni GASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France Communication dans un congrès hal-00753008v1
Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures Bin Yang,Walid Belkhir,Raj Narayan Dhara,Alain Giorgetti,Michel Lenczner dMEMS 2012 - d Software Implementation for Distributed MEMS, Apr 2012, Besançon, France. pp.82-89, ⟨10.1109/dMEMS.2012.14⟩ Communication dans un congrès hal-00753003v1
A Rule-Based Framework for Building Superposition-Based Decision Procedures Elena Tushkanova,Alain Giorgetti,Christophe Ringeissen,Olga Kouchnarenko 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⟩ Communication dans un congrès hal-00749576v1
Grammar-Based Testing using Realistic Domains in PHP Ivan Enderlin,Frédéric Dadeau,Alain Giorgetti,Fabrice Bouquet ICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩ Communication dans un congrès hal-00751321v1
Lazy AC-Pattern Matching for Rewriting Walid Belkhir,Alain Giorgetti 10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.37-51, ⟨10.4204/EPTCS.82.3⟩ Communication dans un congrès hal-00756343v1
Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis Omar Chebaro,Nikolai Kosmatov,Alain Giorgetti,Jacques Julliand SAC 2012, 27-th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.1284-1291, ⟨10.1145/2245276.2231980⟩ Communication dans un congrès hal-00746814v1
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging Omar Chebaro,Nikolai Kosmatov,Alain Giorgetti,Jacques Julliand 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩ Communication dans un congrès inria-00622904v1
Formal Methods for Multiscale Models Derivation Raj Dhara,Bin Yang,Walid Belkhir,Michel Lenczner,Alain Giorgetti CFM 2011, 20ème Congrès Français de Mécanique, 2011, Besançon, France. pp.4092--4097 Communication dans un congrès hal-01223779v1
Praspel: A Specification Language for Contract-Based Testing in PHP Ivan Enderlin,Frédéric Dadeau,Alain Giorgetti,Abdallah Ben Othman 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩ Communication dans un congrès hal-00640279v1
Simulations over Two-Dimensional On-Line Tessellation Automata Gérard Cécé,Alain Giorgetti 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⟩ Communication dans un congrès istex hal-00642531v1
Lazy Rewriting Modulo Associativity and Commutativity Walid Belkhir,Alain Giorgetti WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.17--21 Communication dans un congrès hal-00642515v1
Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System Alain Giorgetti Symbolic Computation in Software Science, Jul 2010, Linz, Austria. pp.5--18 Communication dans un congrès hal-00563330v1
Using SysML for Smart Surface Modeling Alain Giorgetti,Ahmed Hammad,Bruno Tatibouët dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Jun 2010, Besançon, France. pp.100--107 Communication dans un congrès inria-00525791v1
Specifying Generic Java Programs: two case studies Alain Giorgetti,Claude Marché,Elena Tushkanova,Olga Kouchnarenko 11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106 Communication dans un congrès inria-00525784v1
Combining Static Analysis and Test Generation for {C} Program Debugging Omar Chebaro,Nikolai Kosmatov,Alain Giorgetti,Jacques Julliand TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100 Communication dans un congrès hal-00563308v1
Graph Based Reduction of Program Verification Conditions Jean-François Couchot,Alain Giorgetti,Nicolas Stouls Automated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47 Communication dans un congrès inria-00402204v1
Instantiation of Parameterized Data Structures for Model-Based Testing Fabrice Bouquet,Jean-François Couchot,Frédéric Dadeau,Alain Giorgetti 7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. pp.96--110, ⟨10.1007/11955757⟩ Communication dans un congrès hal-00563282v1
Un programme annoté en vaut deux Alain Giorgetti,Julien Groslambert Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France Communication dans un congrès inria-00181135v1
JAG : Génération d'annotations JML pour vérifier des propriétés temporelles Alain Giorgetti,Julien Groslambert Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'06, Mar 2006, Paris, France Communication dans un congrès inria-00114318v1
JAG: JML Annotation Generation for Verifying Temporal Properties Alain Giorgetti,Julien Groslambert 9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006, Mar 2006, Vienna/Austria, pp.373--376, ⟨10.1007/11693017⟩ Communication dans un congrès inria-00114316v1

Poster de conférence (2)

Automated detection of contextuality proofs with intermediate numbers of observables Henri de Boutray,Frédéric Holweck,Alain Giorgetti,Pierre-Alain Masson 18th International Conference on Quantum Physics and Logic (QPL 2021), Jun 2021, Gdańsk, Poland. Poster de conférence hal-03814543v1
Non-locality and Entanglement Detection with Mermin polynomials for Grover’s algorithm and Quantum Fourier Transform Henri de Boutray,Hamza Jaffali,Frédéric Holweck,Alain Giorgetti,Pierre-Alain Masson Colloquium of the CNRS GDR № 3322 on Quantum Engineering, Foundations & Applications Ingénierie Quantique, des aspects Fondamentaux aux Applications, Dec 2020, Online (Electronic Conference), France Poster de conférence hal-03221845v1

Ouvrages (1)

Actes des journées du GDR GPL 2021 Mireille Blay-Fornarino,Catherine Dubois,Alain Giorgetti,Nikolai Kosmatov 2021 Ouvrages hal-03658364v1

Autre publication scientifique (2)

Specifying and Proving a Sorting Algorithm Elena Tushkanova,Alain Giorgetti,Olga Kouchnarenko 2009 Autre publication scientifique hal-00429040v1
MAP, un package Maple pour compter les cartes pointées Jean-François Béraud,Alain Giorgetti 1998 Autre publication scientifique inria-00098531v1

Pré-publication, Document de travail (1)

Rewriting and Symbolic Transformations for Multiscale Methods Walid Belkhir,Alain Giorgetti,Michel Lenczner 2011 Pré-publication, Document de travail hal-00643047v1

Rapport (8)

Formalisation et vérification de théories de permutations Version 1 Alain Giorgetti [Rapport de recherche] UBFC - Université de Bourgogne Franche-comté; FEMTO-ST. 2020 Rapport (rapport de recherche) hal-03033416v1
Praspel: Contract-Driven Testing for PHP using Realistic Domains Ivan Enderlin,Fabrice Bouquet,Frédéric Dadeau,Alain Giorgetti [Research Report] RR-8592, INRIA. 2014, pp.39 Rapport (rapport de recherche) hal-01061900v1
StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C Guillaume Petiot,Nikolai Kosmatov,Alain Giorgetti,Jacques Julliand 2014 Rapport hal-00992159v1
Automatic Decidability for Theories Modulo Integer Offsets Elena Tushkanova,Christophe Ringeissen,Alain Giorgetti,Olga Kouchnarenko [Research Report] RR-8139, INRIA. 2012, pp.20 Rapport (rapport de recherche) hal-00753896v1
Simulations for a Class of Two-Dimensional Automata Gérard Cécé,Alain Giorgetti [Research Report] RR-7425, INRIA. 2010, pp.18 Rapport (rapport de recherche) inria-00527077v3
Modular Specification of Java Programs Elena Tushkanova,Alain Giorgetti,Claude Marché,Olga Kouchnarenko [Research Report] RR-7097, INRIA. 2009, pp.26 Rapport (rapport de recherche) inria-00434452v1
Graph-based Reduction of Program Verification Conditions Jean-François Couchot,Alain Giorgetti,Nicolas Stouls [Research Report] RR-6702, INRIA. 2008, pp.22 Rapport (rapport de recherche) inria-00339847v1
JAG : Génération d'annotations JML pour vérifier des propriétés temporelles Alain Giorgetti,Julien Groslambert [Research Report] 2006 Rapport (rapport de recherche) inria-00114317v1

Thèse (1)

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

HDR (1)

Spécification et vérification de systèmes paramétrés Alain Giorgetti Technologies Émergeantes [cs.ET]. Université Bourgogne Franch-Comté, 2017 HDR tel-02301872v1