Giorgetti, Alain
VIAF ID: 208264543 ( Personal )
Permalink: http://viaf.org/viaf/208264543
Preferred Forms
- 100 1 _ ‡a Giorgetti, Alain
- 100 1 _ ‡a Giorgetti, Alain
Works
Title | Sources |
---|---|
The art of contract-based testiong in PHP with Praspel. | |
Aspects algébriques des circuits quantiques de portes de Clifford. Application à l'optimisation des circuits et à l'intrication | |
Ce qui nous reste | |
Ceci n'est pas une histoire d'amour | |
Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes | |
Classification of errors threats by static analysis, program sclicing and structural testing of programs. | |
Combinatoire bijective et énumérative des cartes pointées sur une surface | |
Combinatorial enumeration of rooted maps on a surface and a bijection. | |
Computational studies of entanglement and quantum contextuality properties towards their formal vérification | |
Contribution au noyau d'un logiciel de modélisation asymptotique symbolique. | |
Contribution to a kernel of symbolic asymptotic modeling software. | |
Contribution to software verification combining tests and proofs. | |
Etudes calculatoires de l'intrication et de la contextualité quantiques dans la perspective de leur vérification formelle. | |
Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP | |
Preuves par raffinement de programmes avec pointeurs | |
Proofs by refinement of programs with pointers. | |
Relational properties for specification and verification of C programs in Frama-C | |
Schematic calculi for the analysis of decision procedures | |
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C. | |
Specifying and verifying high-level requirements on large programs : application to security of C programs | |
Vérification d'invariants de systèmes paramétrés par superposition | |
Vérification formelle de programmes de génération de données structurées |