Access content directly

Alain Giorgetti

73
Documents

Publications

Image document

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 et al.
Journal of computational science, 2022, 64, pp.101853 (18). ⟨10.1016/j.jocs.2022.101853⟩
Journal articles hal-03874438v1

Contextuality degree of quadrics in multi-qubit symplectic polar spaces

Henri de Boutray , Frédéric Holweck , Alain Giorgetti , Pierre-Alain Masson , Metod Saniga et al.
J.Phys.A, 2022, 55 (47), pp.475301
Journal articles hal-03651233v1
Image document

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⟩
Journal articles hal-03722048v1
Image document

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⟩
Journal articles hal-03551957v1
Image document

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 et al.
Quantum Information Processing, 2021, 20 (3), pp.91 (29)
Journal articles hal-03221875v1
Image document

How testing helps to diagnose proof failures

Guiillaume Petiot , Nikolaï Kosmatov , Bernard Botella , Alain Giorgetti , Jacques Julliand et al.
Formal Aspects of Computing, 2018, 30 (6), pp.629 - 657
Journal articles hal-01948799v1
Image document

Tests and proofs for custom data generators

Catherine Dubois , Alain Giorgetti
Formal Aspects of Computing, 2018, 30 (6), pp.659 - 684
Journal articles hal-02302096v1

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
Journal articles hal-02129724v1
Image document

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⟩
Journal articles hal-01948796v1
Image document

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⟩
Journal articles hal-02131164v1

Your proof fails? Testing helps to find the reason

G. Petiot , N. Kosmatov , B. Botella , Alain Giorgetti , J. Julliand et al.
Lecture Notes in Computer Science, 2016, 9762, pp.130-150. ⟨10.1007/978-3-319-41135-4_8⟩
Journal articles cea-01808892v1
Image document

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⟩
Journal articles hal-01102883v1

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⟩
Journal articles hal-01057269v1
Image document

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⟩
Journal articles hal-00873461v4
Image document

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
Journal articles hal-03221874v1
Image document

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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-01222902v1
Image document

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⟩
Journal articles 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⟩
Journal articles hal-00693789v1

Maple V release 5 pour Windows 95

Alain Giorgetti
Pour la science, 1998, 249, pp.110-111
Journal articles inria-00098460v1
Image document

Combinatoire Formelle avec Why3 et Coq

Alain Giorgetti , Catherine Dubois , Rémi Lazarini
Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
Conference papers hal-02302086v1
Image document

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⟩
Conference papers hal-02526343v1
Image document

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
Conference papers hal-02302094v1
Image document

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
Conference papers hal-02131148v1
Image document

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⟩
Conference papers hal-01670709v1
Image document

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
Conference papers hal-03221932v1
Image document

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
Conference papers hal-01099135v2

Lambda terms and maps, formally

Alain Giorgetti , Catherine Dubois , Noam Zeilberger
Workshop on Computational Logic and Applications, Mar 2015, Lyon, France
Conference papers hal-03221915v1
Image document

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
Conference papers hal-01228995v1
Image document

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⟩
Conference papers hal-01108553v1
Image document

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⟩
Conference papers hal-00909202v1
Image document

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
Conference papers hal-00920496v1

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⟩
Conference papers hal-00878657v1
Image document

A Constraint Solver for PHP Arrays

Ivan Enderlin , Alain Giorgetti , Fabrice Bouquet
ICST Workshops, Jan 2013, Luxembourg. pp.218 - 223
Conference papers hal-00935308v1

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⟩
Conference papers hal-00746814v1

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⟩
Conference papers 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 et al.
dMEMS 2012 - d Software Implementation for Distributed MEMS, Apr 2012, Besançon, France. pp.82-89, ⟨10.1109/dMEMS.2012.14⟩
Conference papers hal-00753003v1
Image document

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
Conference papers hal-00753008v1
Image document

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
Conference papers hal-00931662v1

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⟩
Conference papers 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⟩
Conference papers hal-00756343v1
Image document

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⟩
Conference papers inria-00622904v1
Image document

Formal Methods for Multiscale Models Derivation

Raj Dhara , Bin Yang , Walid Belkhir , Michel Lenczner , Alain Giorgetti et al.
CFM 2011, 20ème Congrès Français de Mécanique, 2011, Besançon, France. pp.4092--4097
Conference papers hal-01223779v1

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⟩
Conference papers 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
Conference papers hal-00642515v1
Image document

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⟩
Conference papers hal-00640279v1
Image document

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
Conference papers hal-00563330v1
Image document

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
Conference papers inria-00525791v1
Image document

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
Conference papers inria-00525784v1
Image document

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
Conference papers hal-00563308v1
Image document

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
Conference papers inria-00402204v1
Image document

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⟩
Conference papers hal-00563282v1
Image document

Un programme annoté en vaut deux

Alain Giorgetti , Julien Groslambert
Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France
Conference papers inria-00181135v1

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⟩
Conference papers inria-00114316v1

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
Conference papers inria-00114318v1
Image document

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.
Conference poster hal-03814543v1
Image document

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 et al.
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
Conference poster hal-03221845v1
Image document

Combinatoire certifiée

Alain Giorgetti , Nicolas Magaud
GdR Génie de la Programmation et du Logiciel, Défis 2030, pp.61-65, 2021
Book sections hal-03409696v1
Image document

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 : ⟩
Theses tel-00724977v1
Image document

Spécification et vérification de systèmes paramétrés

Alain Giorgetti
Technologies Émergeantes [cs.ET]. Université Bourgogne Franch-Comté, 2017
Habilitation à diriger des recherches tel-02301872v1