Alain Giorgetti

According to our database, Alain Giorgetti authored at least 47 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

New and improved bounds on the contextuality degree of multi-qubit configurations.

Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck

CoRR, 2023

A Gentle Introduction to Verification of Parameterized Reactive Systems.

Nicolas Féral, Alain Giorgetti

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023

2022

Towards random and enumerative testing for OCaml and WhyML properties.

Clotilde Erard, Alain Giorgetti, Jérome Ricciardi

Softw. Qual. J., 2022

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

J. Comput. Sci., 2022

Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families.

Catherine Dubois, Nicolas Magaud, Alain Giorgetti

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

2021

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 Inf. Process., 2021

2019

Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs.

Clotilde Erard, Alain Giorgetti

Proceedings of the Testing Software and Systems, 2019

2018

Contract-based testing for PHP with Praspel.

Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin

J. Syst. Softw., 2018

How testing helps to diagnose proof failures.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Formal Aspects Comput., 2018

Tests and proofs for custom data generators.

Catherine Dubois, Alain Giorgetti

Formal Aspects Comput., 2018

Enumeration of hypermaps of a given genus.

Alain Giorgetti, Timothy R. S. Walsh

Ars Math. Contemp., 2018

2017

Spécification et vérification de systèmes paramétrés. (Specification and verification of parameterized systems).

Alain Giorgetti

, 2017

2016

Rooted planar maps modulo some patterns.

Jean-Luc Baril, Richard Genestier, Alain Giorgetti, Armen Petrossian

Discret. Math., 2016

Your Proof Fails? Testing Helps to Find the Reason.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Tests and Proofs for Enumerative Combinatorics.

Catherine Dubois, Alain Giorgetti, Richard Genestier

Proceedings of the Tests and Proofs - 10th International Conference, 2016

2015

A rule-based system for automatic decidability and combinability.

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Sci. Comput. Program., 2015

A correspondence between rooted planar maps and normal planar lambda terms.

Noam Zeilberger, Alain Giorgetti

Log. Methods Comput. Sci., 2015

Sequential Generation of Structured Arrays and Its Deductive Verification.

Richard Genestier, Alain Giorgetti, Guillaume Petiot

Proceedings of the Tests and Proofs - 9th International Conference, 2015

2014

A symbolic transformation language and its application to a multiscale method.

Walid Belkhir, Alain Giorgetti, Michel Lenczner

J. Symb. Comput., 2014

Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices.

Timothy R. S. Walsh, Alain Giorgetti

Ars Math. Contemp., 2014

How Test Generation Helps Software Specification and Deductive Verification in Frama-C.

Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 8th International Conference, 2014

2013

Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

A Constraint Solver for PHP Arrays.

Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices.

Timothy R. S. Walsh, Alain Giorgetti, Alexander D. Mednykh

Discret. Math., 2012

A Rule-Based Framework for Building Superposition-Based Decision Procedures.

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Program slicing enhances a verification technique combining static and dynamic analysis.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the ACM Symposium on Applied Computing, 2012

Grammar-Based Testing Using Realistic Domains in PHP.

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Lazy AC-Pattern Matching for Rewriting

Walid Belkhir, Alain Giorgetti

Proceedings of the Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, 2011

Rewriting and Symbolic Transformations for Multiscale Methods

Walid Belkhir, Alain Giorgetti, Michel Lenczner

CoRR, 2011

Enumeration of genus-four maps by number of edges.

Alexander D. Mednykh, Alain Giorgetti

Ars Math. Contemp., 2011

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Praspel: A Specification Language for Contract-Based Testing in PHP.

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman

Proceedings of the Testing Software and Systems, 2011

Simulations over Two-Dimensional On-Line Tessellation Automata.

Gérard Cécé, Alain Giorgetti

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2010

Combining Static Analysis and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Specifying generic Java programs: two case studies.

Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009

Graph Based Reduction of Program Verification Conditions

Jean-François Couchot, Alain Giorgetti, Nicolas Stouls

CoRR, 2009

2008

Verification of class liveness properties with java modelling language.

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

IET Softw., 2008

2007

Instantiation of Parameterized Data Structures for Model-Based Testing.

Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

JAG: JML Annotation Generation for Verifying Temporal Properties

Alain Giorgetti, Julien Groslambert

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

A uniform deductive approach for parameterized protocol safety.

Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Scalable Automated Proving and Debugging of Set-Based Specifications.

Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise

J. Braz. Comput. Soc., 2004

2003

An asymptotic study for path reversal.

Alain Giorgetti

Theor. Comput. Sci., 2003

Proving and Debugging Set-Based Specifications.

Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

2000

Counting rooted maps on a surface.

Didier Arquès, Alain Giorgetti

Theor. Comput. Sci., 2000

Une bijection géométrique entre une famille d'hypercartes et une famille de polygones énumérées par la série de Schröder.

Didier Arquès, Alain Giorgetti

Discret. Math., 2000

1999

Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces.

Didier Arquès, Alain Giorgetti

J. Comb. Theory, Ser. B, 1999

1998

Combinatoire bijective et énumérative des cartes pointées sur une surface.

Alain Giorgetti

PhD thesis, 1998