Alain Giorgetti

	2012
19		Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet: Grammar-Based Testing Using Realistic Domains in PHP. ICST 2012: 509-518
	2011
18		Gérard Cécé, Alain Giorgetti: Simulations over Two-Dimensional On-Line Tessellation Automata. Developments in Language Theory 2011: 141-152
17		Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman: Praspel: A Specification Language for Contract-Based Testing in PHP. ICTSS 2011: 64-79
16		Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. TAP 2011: 78-83
15		Walid Belkhir, Alain Giorgetti: Lazy AC-Pattern Matching for Rewriting WRS 2011: 37-51
14		Walid Belkhir, Alain Giorgetti, Michel Lenczner: Rewriting and Symbolic Transformations for Multiscale Methods CoRR abs/1101.3218: (2011)
	2010
13		Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko: Specifying generic Java programs: two case studies. LDTA 2010: 8
12		Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand: Combining Static Analysis and Test Generation for C Program Debugging. TAP 2010: 94-100
	2009
11		Jean-François Couchot, Alain Giorgetti, Nicolas Stouls: Graph Based Reduction of Program Verification Conditions CoRR abs/0907.1357: (2009)
	2008
10		Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko: Verification of class liveness properties with java modelling language. IET Software 2(6): 500-514 (2008)
	2007
9		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
8		Alain Giorgetti, Julien Groslambert: JAG: JML Annotation Generation for Verifying Temporal Properties FASE 2006: 373-376
	2005
7		Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov: A uniform deductive approach for parameterized protocol safety. ASE 2005: 364-367
	2004
6		Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise: Proving and Debugging Set-Based Specifications. Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004)
5		Jean-François Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise: Scalable Automated Proving and Debugging of Set-Based Specifications. J. Braz. Comp. Soc. 9(2): 17-36 (2004)
	2003
4		Alain Giorgetti: An asymptotic study for path reversal. Theor. Comput. Sci. 1-3(299): 585-602 (2003)
	2000
3		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. Discrete Mathematics 217(1-3): 17-32 (2000)
2		Didier Arquès, Alain Giorgetti: Counting rooted maps on a surface. Theor. Comput. Sci. 234(1-2): 255-272 (2000)
	1999
1		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): 1-24 (1999)

Coauthor Index

1	Didier Arquès	[1] [2] [3]
2	Walid Belkhir	[14] [15]
3	Fabrice Bouquet	[9] [19]
4	Gérard Cécé	[18]
5	Omar Chebaro	[12] [16]
6	Jean-François Couchot	[5] [6] [7] [9] [11]
7	Frédéric Dadeau	[6] [9] [17] [19]
8	David Déharbe (David Boris Paul Déharbe)	[5] [6]
9	Ivan Enderlin	[17] [19]
10	Julien Groslambert	[8] [10]
11	Jacques Julliand	[10] [12] [16]
12	Nikolai Kosmatov	[7] [12] [16]
13	Olga Kouchnarenko	[10] [13]
14	Michel Lenczner	[14]
15	Claude Marché	[13]
16	Abdallah Ben Othman	[17]
17	Silvio Ranise	[5] [6]
18	Nicolas Stouls	[11]
19	Elena Tushkanova	[13]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page