Alain Giorgetti

Publications

198

Citations

H-Index

2000

Active since

Affiliations

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies(Current)

Université de franche-comté

Centre National de la Recherche Scientifique

Centre Inria de l'Université de Lorraine

Alain Giorgetti is an author at Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSoftware AnalysisFormal VerificationProgram AnalysisSoftware TestingAutomated ReasoningSoftware Design

Publications per year

2000–2022

Publications

Program slicing enhances a verification technique combining static and dynamic analysis

Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti et al. · 2012 · 58 citations

Software Maintenance, Program Checking, Engineering +23

Counting rooted maps on a surface

Didier Arquès, Alain Giorgetti · Theoretical Computer Science · 2000 · 19 citations

Geometric Modeling, Cartography, Geospatial Mapping +8

A symbolic transformation language and its application to a multiscale method

Walid Belkhir, Alain Giorgetti, Michel Lenczner · Journal of Symbolic Computation · 2014 · 17 citations · Full text

Numerical Analysis, Geometric Modeling, Computational Science +13

A correspondence between rooted planar maps and normal planar lambda terms

Noam Zeilberger, Alain Giorgetti · Logical Methods in Computer Science · 2015 · 16 citations · Full text

Integral Geometry, Combinatorics On Word, Schubert Calculus +13

Scalable automated proving and debugging of set-based specifications

Jean-François Couchot, David Déharbe, Alain Giorgetti et al. · Journal of the Brazilian Computer Society · 2003 · 16 citations · Full text

Specification Language, Formal Specification, Engineering +15

Rows per page

1–5 of 11