default search action
Alain Giorgetti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i8]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 abs/2407.02928 (2024) - [i7]Axel Muller, Alain Giorgetti:
An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs. CoRR abs/2410.14463 (2024) - 2023
- [c22]Nicolas Féral, Alain Giorgetti
:
A Gentle Introduction to Verification of Parameterized Reactive Systems. FMTea 2023: 34-50 - [i6]Axel Muller
New and improved bounds on the contextuality degree of multi-qubit configurations. CoRR abs/2305.10225 (2023) - 2022
- [j20]Axel Muller
Multi-qubit doilies: Enumeration for all ranks and classification for ranks four and five. J. Comput. Sci. 64: 101853 (2022) - [j19]Clotilde Erard, Alain Giorgetti
Towards random and enumerative testing for OCaml and WhyML properties. Softw. Qual. J. 30(1): 253-279 (2022) - [c21]Catherine Dubois, Nicolas Magaud, Alain Giorgetti:
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families. TYPES 2022: 11:1-11:19 - [i5]Axel Muller
Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five. CoRR abs/2206.03599 (2022) - [i4]Catherine Dubois, Nicolas Magaud, Alain Giorgetti:
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families. CoRR abs/2212.10453 (2022) - 2021
- [j18]Henri de Boutray
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier Transform. Quantum Inf. Process. 20(3): 1-29 (2021)
2010 – 2019
- 2019
- [c20]Clotilde Erard, Alain Giorgetti:
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs. ICTSS 2019: 159-175 - 2018
- [j17]Alain Giorgetti, Timothy R. S. Walsh:
Enumeration of hypermaps of a given genus. Ars Math. Contemp. 15(1): 225-266 (2018) - [j16]Guillaume Petiot, Nikolai Kosmatov
How testing helps to diagnose proof failures. Formal Aspects Comput. 30(6): 629-657 (2018) - [j15]Catherine Dubois, Alain Giorgetti
Tests and proofs for custom data generators. Formal Aspects Comput. 30(6): 659-684 (2018) - [j14]Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
Contract-based testing for PHP with Praspel. J. Syst. Softw. 136: 209-222 (2018) - 2017
- [b2]Alain Giorgetti:
Spécification et vérification de systèmes paramétrés. (Specification and verification of parameterized systems). University of Burgundy - Franche-Comté, France, 2017 - 2016
- [j13]Jean-Luc Baril, Richard Genestier, Alain Giorgetti
Rooted planar maps modulo some patterns. Discret. Math. 339(4): 1199-1205 (2016) - [c19]Catherine Dubois, Alain Giorgetti, Richard Genestier:
Tests and Proofs for Enumerative Combinatorics. TAP@STAF 2016: 57-75 - [c18]Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
Your Proof Fails? Testing Helps to Find the Reason. TAP@STAF 2016: 130-150 - 2015
- [j12]Noam Zeilberger
A correspondence between rooted planar maps and normal planar lambda terms. Log. Methods Comput. Sci. 11(3) (2015) - [j11]Elena Tushkanova, Alain Giorgetti
A rule-based system for automatic decidability and combinability. Sci. Comput. Program. 99: 3-23 (2015) - [c17]Richard Genestier, Alain Giorgetti
Sequential Generation of Structured Arrays and Its Deductive Verification. TAP@STAF 2015: 109-128 - [i3]Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
Your Proof Fails? Testing Helps to Find the Reason. CoRR abs/1508.01691 (2015) - 2014
- [j10]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): 263-280 (2014) - [j9]Walid Belkhir, Alain Giorgetti
A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65: 49-78 (2014) - [c16]Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti
How Test Generation Helps Software Specification and Deductive Verification in Frama-C. TAP@STAF 2014: 204-211 - 2013
- [c15]Ivan Enderlin, Alain Giorgetti
A Constraint Solver for PHP Arrays. ICST Workshops 2013: 218-223 - [c14]Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA 2013: 303-318 - 2012
- [j8]Timothy R. S. Walsh, Alain Giorgetti
Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices. Discret. Math. 312(17): 2660-2671 (2012) - [c13]Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti
Grammar-Based Testing Using Realistic Domains in PHP. ICST 2012: 509-518 - [c12]Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
Program slicing enhances a verification technique combining static and dynamic analysis. SAC 2012: 1284-1291 - [c11]Elena Tushkanova, Alain Giorgetti
A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA 2012: 221-239 - 2011
- [j7]Alexander D. Mednykh, Alain Giorgetti:
Enumeration of genus-four maps by number of edges. Ars Math. Contemp. 4(2): 351-361 (2011) - [c10]Gérard Cécé, Alain Giorgetti
Simulations over Two-Dimensional On-Line Tessellation Automata. Developments in Language Theory 2011: 141-152 - [c9]Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti
Praspel: A Specification Language for Contract-Based Testing in PHP. ICTSS 2011: 64-79 - [c8]Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP@TOOLS 2011: 78-83 - [c7]Walid Belkhir, Alain Giorgetti
Lazy AC-Pattern Matching for Rewriting. WRS 2011: 37-51 - [i2]Walid Belkhir, Alain Giorgetti, Michel Lenczner:
Rewriting and Symbolic Transformations for Multiscale Methods. CoRR abs/1101.3218 (2011) - 2010
- [c6]Alain Giorgetti
Specifying generic Java programs: two case studies. LDTA 2010: 8 - [c5]Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti
Combining Static Analysis and Test Generation for C Program Debugging. TAP@TOOLS 2010: 94-100
2000 – 2009
- 2009
- [i1]Jean-François Couchot, Alain Giorgetti, Nicolas Stouls
Graph Based Reduction of Program Verification Conditions. CoRR abs/0907.1357 (2009) - 2008
- [j6]Alain Giorgetti
Verification of class liveness properties with java modelling language. IET Softw. 2(6): 500-514 (2008) - 2007
- [c4]Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108 - 2006
- [c3]Alain Giorgetti
JAG: JML Annotation Generation for Verifying Temporal Properties. FASE 2006: 373-376 - 2005
- [c2]Jean-François Couchot, Alain Giorgetti
A uniform deductive approach for parameterized protocol safety. ASE 2005: 364-367 - 2004
- [j5]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): 17-36 (2004) - 2003
- [j4]Alain Giorgetti
An asymptotic study for path reversal. Theor. Comput. Sci. 299(1-3): 585-602 (2003) - [c1]Jean-François Couchot, Frédéric Dadeau, David Déharbe
Proving and Debugging Set-Based Specifications. WMF 2003: 189-208 - 2000
- [j3]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): 17-32 (2000) - [j2]Didier Arquès, Alain Giorgetti:
Counting rooted maps on a surface. Theor. Comput. Sci. 234(1-2): 255-272 (2000)
1990 – 1999
- 1999
- [j1]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 B 77(1): 1-24 (1999) - 1998
- [b1]Alain Giorgetti:
Combinatoire bijective et énumérative des cartes pointées sur une surface. University of Marne-la-Vallée, Marne la Vallée, France, 1998
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: