Alain Giorgetti

74
Documents

Publications

7
7
6
6
6
6
6
6
6
5
5
5
5
4
4
4
4
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
3
4
2
2
5
1
4
7
5
5
8
7
5
3
2
2
3
1
3

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C

Guillaume Petiot , Nikolai Kosmatov , Alain Giorgetti , Jacques Julliand

2014

Rapport hal-00992159v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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