Alain Giorgetti

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 18

Top Venues

CoRR

TAP@STAF

FMTea

Formal Aspects Comput.

University of Marne-la-Vallée, Marne la Vallée, France (PHD)

Education History

University of Marne-la-Vallée, Marne la Vallée, France

PHD

Publications

Axel Muller, Metod Saniga, Alain Giorgetti, Frédéric Holweck, Colm Kelleher
A new heuristic approach for contextuality degree estimates and its four- to six-qubit portrayals. CoRR (2024)
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
New and improved bounds on the contextuality degree of multi-qubit configurations. CoRR (2023)
Nicolas Féral, Alain Giorgetti
A Gentle Introduction to Verification of Parameterized Reactive Systems. FMTea (2023)
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
Multi-qubit doilies: Enumeration for all ranks and classification for ranks four and five. J. Comput. Sci. 64 (2022)
Nicolas Féral, Alain Giorgetti
A Gentle Introduction to Verification of Parameterized Reactive Systems. FMTea (2022)
Catherine Dubois, Nicolas Magaud, Alain Giorgetti
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families. CoRR (2022)
Clotilde Erard, Alain Giorgetti, Jérome Ricciardi
Towards random and enumerative testing for OCaml and WhyML properties. Softw. Qual. J. 30 (1) (2022)
Axel Muller, Metod Saniga, Alain Giorgetti, Henri de Boutray, Frédéric Holweck
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five. CoRR (2022)
Catherine Dubois, Nicolas Magaud, Alain Giorgetti
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families. TYPES (2022)
Henri de Boutray, Hamza Jaffali, Frédéric Holweck, Alain Giorgetti, Pierre-Alain Masson
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier Transform. Quantum Inf. Process. 20 (3) (2021)
Clotilde Erard, Alain Giorgetti
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. ICTSS (2019)
Alain Giorgetti, Timothy R. S. Walsh
Enumeration of hypermaps of a given genus. Ars Math. Contemp. 15 (1) (2018)
Catherine Dubois, Alain Giorgetti
Tests and proofs for custom data generators. Formal Aspects Comput. 30 (6) (2018)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
How testing helps to diagnose proof failures. Formal Aspects Comput. 30 (6) (2018)
Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin
Contract-based testing for PHP with Praspel. J. Syst. Softw. 136 (2018)
Jean-Luc Baril, Richard Genestier, Alain Giorgetti, Armen Petrossian
Rooted planar maps modulo some patterns. Discret. Math. 339 (4) (2016)
Catherine Dubois, Alain Giorgetti, Richard Genestier
Tests and Proofs for Enumerative Combinatorics. TAP@STAF (2016)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
Your Proof Fails? Testing Helps to Find the Reason. TAP@STAF (2016)
Richard Genestier, Alain Giorgetti, Guillaume Petiot
Sequential Generation of Structured Arrays and Its Deductive Verification. TAP@STAF (2015)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A rule-based system for automatic decidability and combinability. Sci. Comput. Program. 99 (2015)
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
Your Proof Fails? Testing Helps to Find the Reason. CoRR (2015)
Noam Zeilberger, Alain Giorgetti
A correspondence between rooted planar maps and normal planar lambda terms. Log. Methods Comput. Sci. 11 (3) (2015)
Timothy R. S. Walsh, Alain Giorgetti
Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices. Ars Math. Contemp. 7 (2) (2014)
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
How Test Generation Helps Software Specification and Deductive Verification in Frama-C. TAP@STAF (2014)
Walid Belkhir, Alain Giorgetti, Michel Lenczner
A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65 (2014)
Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet
A Constraint Solver for PHP Arrays. ICST Workshops (2013)
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA (2013)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Program slicing enhances a verification technique combining static and dynamic analysis. SAC (2012)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA (2012)
Timothy R. S. Walsh, Alain Giorgetti, Alexander D. Mednykh
Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices. Discret. Math. 312 (17) (2012)
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
Grammar-Based Testing Using Realistic Domains in PHP. ICST (2012)
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
Praspel: A Specification Language for Contract-Based Testing in PHP. ICTSS (2011)
Walid Belkhir, Alain Giorgetti
Lazy AC-Pattern Matching for Rewriting WRS (2011)
Alexander D. Mednykh, Alain Giorgetti
Enumeration of genus-four maps by number of edges. Ars Math. Contemp. 4 (2) (2011)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP@TOOLS (2011)
Gérard Cécé, Alain Giorgetti
Simulations over Two-Dimensional On-Line Tessellation Automata. Developments in Language Theory (2011)
Walid Belkhir, Alain Giorgetti, Michel Lenczner
Rewriting and Symbolic Transformations for Multiscale Methods CoRR (2011)
Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
Specifying generic Java programs: two case studies. LDTA (2010)
Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS (2010)
Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
Graph Based Reduction of Program Verification Conditions CoRR (2009)
Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
Verification of class liveness properties with java modelling language. IET Softw. 2 (6) (2008)
Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti
Instantiation of Parameterized Data Structures for Model-Based Testing. B (2007)
Alain Giorgetti, Julien Groslambert
JAG: JML Annotation Generation for Verifying Temporal Properties FASE (2006)
Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov
A uniform deductive approach for parameterized protocol safety. ASE (2005)
Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise
Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comput. Soc. 9 (2) (2004)
Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
Proving and Debugging Set-Based Specifications. Electron. Notes Theor. Comput. Sci. 95 (2004)
Alain Giorgetti
An asymptotic study for path reversal. Theor. Comput. Sci. 299 (1-3) (2003)
Didier Arquès, Alain Giorgetti
Counting rooted maps on a surface. Theor. Comput. Sci. 234 (1-2) (2000)
Didier Arquès, Alain Giorgetti
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. Discret. Math. 217 (1-3) (2000)
Didier Arquès, Alain Giorgetti
Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces. J. Comb. Theory, Ser. B 77 (1) (1999)

Alain Giorgetti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alain Giorgetti