Alain Giorgetti

54 papers A* 1A 1B 1C 3Misc 1Journal 30Unranked 15

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