Follow
Alain Giorgetti
Alain Giorgetti
maître de conférences en informatique, institut FEMTO-ST, Université de Franche-Comté
Verified email at femto-st.fr - Homepage
Title
Cited by
Cited by
Year
Program slicing enhances a verification technique combining static and dynamic analysis
O Chebaro, N Kosmatov, A Giorgetti, J Julliand
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1284-1291, 2012
852012
A correspondence between rooted planar maps and normal planar lambda terms
N Zeilberger, A Giorgetti
arXiv preprint arXiv:1408.5028, 2014
422014
Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces
D Arquès, A Giorgetti
Journal of Combinatorial Theory, Series B 77 (1), 1-24, 1999
401999
Your proof fails? Testing helps to find the reason
G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand
International Conference on Tests and Proofs, 130-150, 2016
332016
JAG: JML Annotation Generation for verifying temporal properties
A Giorgetti, J Groslambert
International Conference on Fundamental Approaches to Software Engineering …, 2006
282006
Scalable automated proving and debugging of set-based specifications
JF Couchot, D Déharbe, A Giorgetti, S Ranise
Journal of the Brazilian Computer Society 9 (2), 17-36, 2003
282003
Quantum contextual finite geometries from dessins d'enfants
M Planat, A Giorgetti, F Holweck, M Saniga
International Journal of Geometric Methods in Modern Physics 12 (07), 1550067, 2015
272015
The SANTE tool: Value analysis, program slicing and test generation for C program debugging
O Chebaro, N Kosmatov, A Giorgetti, J Julliand
International Conference on Tests and Proofs, 78-83, 2011
272011
Combining static analysis and test generation for C program debugging
O Chebaro, N Kosmatov, A Giorgetti, J Julliand
International Conference on Tests and Proofs, 94-100, 2010
272010
A symbolic transformation language and its application to a multiscale method
W Belkhir, A Giorgetti, M Lenczner
Journal of Symbolic Computation 65, 49-78, 2014
242014
How test generation helps software specification and deductive verification in Frama-C
G Petiot, N Kosmatov, A Giorgetti, J Julliand
International Conference on Tests and Proofs, 204-211, 2014
242014
Counting rooted maps on a surface
D Arquès, A Giorgetti
Theoretical Computer Science 234 (1-2), 255-272, 2000
242000
Verification of class liveness properties with java modelling language
A Giorgetti, J Groslambert, J Julliand, O Kouchnarenko
IET Software 2 (6), 500-514, 2008
222008
Proving and debugging set-based specifications
JF Couchot, F Dadeau, D Déharbe, A Giorgetti, S Ranise
Electronic Notes in Theoretical Computer Science 95, 189-208, 2004
212004
How testing helps to diagnose proof failures
G Petiot, N Kosmatov, B Botella, A Giorgetti, J Julliand
Formal Aspects of Computing 30 (6), 629-657, 2018
162018
Tests and Proofs for Enumerative Combinatorics
C Dubois, A Giorgetti, R Genestier
International Conference on Tests and Proofs, 57-75, 2016
162016
A rule-based system for automatic decidability and combinability
E Tushkanova, A Giorgetti, C Ringeissen, O Kouchnarenko
Science of Computer Programming 99, 3-23, 2015
162015
Sequential generation of structured arrays and its deductive verification
R Genestier, A Giorgetti, G Petiot
International Conference on Tests and Proofs, 109-128, 2015
152015
Praspel: A specification language for contract-based testing in php
I Enderlin, F Dadeau, A Giorgetti, AB Othman
IFIP International Conference on Testing Software and Systems, 64-79, 2011
152011
Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices
TRS Walsh, A Giorgetti
Ars Mathematica Contemporanea 7 (2), 263-280, 2013
142013
The system can't perform the operation now. Try again later.
Articles 1–20