Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Alain Giorgetti

Alain Giorgetti

Informatique

DISC
Equipe : VESONTIO
UFC - UFR ST

Alain Giorgetti a obtenu un doctorat en informatique à l'Université de Marne-la-Vallée, en 1998, sous la direction de D. Arquès. Depuis 2001, il est maître de conférences, d'abord au LIFC (Laboratoire d'Informatique de l'Université de Franche-Comté), et depuis 2012 dans le département DISC de FEMTO-ST. Il est membre de l'équipe de recherche VESONTIO. Depuis sa création en 2002, il participe au projet INRIA CASSIS, commun entre l'Université de Franche-Comté et le Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA).

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter

Listes des publications :

Category article
2016
  • Rooted planar maps modulo some patterns
    Discrete Mathematics (Volume 339, Issue (4), apr 2016, Pages :1199 - 1205)
    Baril, Jean-Luc | Genestier, Richard | Giorgetti, Alain | Petrossian, Armen
    doi | bibtex
2015
  • Quantum contextual finite geometries from dessins d'enfants
    International Journal of Geometric Methods in Modern Physics (Volume 12, Issue (7), aug 2015, Pages :1550067 (18 pages))
    Planat, Michel | Giorgetti, Alain | Holweck, Frédéric | Saniga, Metod
    pdf | doi | bibtex
  • A rule-based system for automatic decidability and combinability
    Science of Computer Programming (Volume 99, Issue (C), mar 2015, Pages :3 - 23)
    Tushkanova, Elena | Giorgetti, Alain | Ringeissen, Christophe | Kouchnarenko, Olga
    pdf | doi | bibtex
  • A correspondence between rooted planar maps and normal planar lambda terms
    Logical Methods in Computer Science (Volume 11, Issue (3), aug 2015, Pages :22 (39 pages))
    Zeilberger, Noam | Giorgetti, Alain
    doi | bibtex
2014
  • A Symbolic Transformation Language and its Application to a Multiscale Method
    Journal of Symbolic Computation (Volume 65, nov 2014, Pages :49 - 78)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel
    pdf | doi | bibtex
  • Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices
    Ars Mathematica Contemporanea (Volume 7, Issue (2), 2014, Pages :263--280)
    Walsh, Timothy R.S. | Giorgetti, Alain
    pdf | bibtex
2012
  • Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices
    Discrete Mathematics (Volume 312, Issue (17), sep 2012, Pages :2660 - 2671)
    Walsh, Timothy R.S. | Giorgetti, Alain | Mednykh, Alexander
    doi | bibtex
2011
  • Enumeration of genus four maps by number of edges
    Ars Mathematica Contemporanea (Volume 4, 2011, Pages :351--361)
    Mednykh, Alexander | Giorgetti, Alain
    bibtex
2008
  • Verification of class liveness properties with Java modeling language
    IET Software (Volume 2, Issue (6), dec 2008, Pages :500 - 514)
    Julliand, Jacques | Giorgetti, Alain | Groslambert, Julien | Kouchnarenko, Olga
    pdf | doi | bibtex
2003
  • An asymptotic study for path reversal
    Theoretical Computer Science (Volume 299, Issue (1-3), 2003, Pages :585--602)
    Giorgetti, Alain
    bibtex
  • Scalable Automated Proving and Debugging of Set-Based Specifications
    Journal of the Brazilian Computer Society (JBCS) (Volume 9, Issue (2), nov 2003, Pages :17 - 36)
    Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
2001
  • Performances d'un algorithme distribué d'exclusion mutuelle en cas de non-équiprobabilité des requêtes des processus
    Calculateurs parallèles, réseaux et systèmes répartis (CPRSR) (Volume 13, Issue (6), 2001, Pages :557--573)
    Tréhel, Michel | Gradit, P. | Giorgetti, Alain
    bibtex
Category inproceedings
2016
  • Test et preuve pour des structures combinatoires : Coq et Prolog
    Actes des Huitièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel / Besançon, France (2016, Pages pages 21 - 22)
    Dubois, Catherine | Giorgetti, Alain | Genestier, Richard
    pdf | bibtex
  • Spécification et vérification formelle d’opérations sur les permutations
    15èmes journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’16) (2016, Pages pages 72 - 78)
    Genestier, Richard | Giorgetti, Alain
    pdf | bibtex
  • Your Proof Fails? Testing Helps to Find the Reason
    Tests and Proofs / Vienna, Austria (Volume 9762, 2016, Pages pages 130 - 150)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Botella, Bernard | Giorgetti, Alain | Julliand, Jacques
    doi | bibtex
  • Tests and Proofs for Enumerative Combinatorics
    Tests and Proofs (Publisher : Springer, Volume 9762, 2016, Pages pages 57 - 75)
    Dubois, Catherine | Giorgetti, Alain | Genestier, Richard
    doi | bibtex
2015
  • Sequential generation of structured arrays and its deductive verification
    TAP 2015, 9th Int. Conf. of Tests and Proofs / L'Aquila, Italy (Publisher : Springer, Volume 9154, 2015, Pages pages 109--128)
    Genestier, Richard | Giorgetti, Alain | Petiot, Guiillaume
    pdf | doi | bibtex
  • Gagnez sur tous les tableaux
    JFLA 2015, 20 èmes Journées Francophones des Langages Applicatifs / Le Val d'Ajol, France (2015)
    Genestier, Richard | Giorgetti, Alain | Petiot, Guiillaume
    bibtex
2014
  • How Test Generation Helps Software Specification and Deductive Verification in Frama-C
    TAP 2014, 8th Int. Conf. of Tests and Proofs / York, UK (Publisher : Springer, Volume 8570, 2014, Pages pages 204--211)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | doi | bibtex
  • Comment la génération de tests facilite la spécification et la vérification déductive des programmes dans Frama-C
    AFADL'14, 13èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Paris, France (2014, Pages pages 133--133)
    Petiot, Guiillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
2013
  • A Constraint Solver for PHP Arrays
    ICST Workshops (2013, Pages pages 218 - 223)
    Enderlin, Ivan | Giorgetti, Alain | Bouquet, Fabrice
    pdf | doi | bibtex
  • Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
    RTA 2013, 24th Int. Conf. on Rewriting Techniques and Applications / Dagstuhl, Germany (Publisher : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Volume 21, 2013, Pages pages 303--318)
    Tushkanova, Elena | Ringeissen, Christophe | Giorgetti, Alain | Kouchnarenko, Olga
    pdf | doi | bibtex
2012
  • Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis
    SAC 2012, 27-th ACM Symposium On Applied Computing / Trento, Italy (2012, Pages pages 1284--1291)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
  • Specification and Validation of Algorithms Generating Planar Lehman Words
    GASCom'12, 8-th Int. Conf. on random generation of combinatorial structures / Bordeaux, France (2012, Pages pages ***--***)
    Giorgetti, Alain | Senni, Valerio
    bibtex
  • A Rule-Based Framework for Building Superposition-Based Decision Procedures
    WRLA'12, 9th Int. Workshop on Rewriting Logic and its Applications, joint to the ETAPS 2012 Int. Conf. / Tallinn, Estonia (Volume 7571, 2012, Pages pages 221--239)
    Tushkanova, Elena | Giorgetti, Alain | Ringeissen, Christophe | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures
    dMEMS'12, 2nd Workshop on Design, Control and Software Implementation for Distributed MEMS / Besançon, France (2012, Pages pages 82--89)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel | Dhara, Raj Narayan | Yang, Bin
    pdf | doi | bibtex
  • Grammar-Based Testing using Realistic Domains in PHP
    A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Los Alamitos, CA, United States (Publisher : IEEE, 2012, Pages pages 509--518)
    Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice
    pdf | doi | bibtex
2011
  • Lazy Rewriting Modulo Associativity and Commutativity
    WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming / Novi Sad, Serbia (2011, Pages pages 17--21)
    Belkhir, Walid | Giorgetti, Alain
    bibtex
  • Simulations over Two-Dimensional On-Line Tessellation Automata
    DLT 2011, Developments in Language Theory / Milan, Italy (Volume 6795, 2011, Pages pages 141--152)
    Cece, Gérard | Giorgetti, Alain
    doi | bibtex
  • The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, 2011, Pages pages 78--83)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    bibtex
  • Computer-Aided Multiscale Model Derivation for MEMS Arrays
    EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems / Linz, Austria (2011)
    Yang, Bin | Belkhir, Walid | Dhara, Raj Narayan | Lenczner, Michel | Giorgetti, Alain
    doi | bibtex
  • Formal Methods for Multiscale Models Derivation
    CFM 2011, 20ème Congrès Français de Mécanique / Besançon, France (2011, Pages pages 4092--4097)
    Dhara, Raj Narayan | Yang, Bin | Belkhir, Walid | Lenczner, Michel | Giorgetti, Alain
    pdf | bibtex
  • Praspel: A Specification Language for Contract-Based Testing in PHP
    ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems / Paris, France (Publisher : Springer, Volume 7019, 2011, Pages pages 64--79)
    Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Ben Othman, Abdallah
    bibtex
  • Lazy {AC-Pattern} Matching for Rewriting
    WRS'11, 10th int. Workshop on Reduction Strategies in Rewriting and Programming / Novi Sad, Serbia (2011, Pages pages 37--51)
    Belkhir, Walid | Giorgetti, Alain
    doi | bibtex
2010
  • Combining Static Analysis and Test Generation for C Program Debugging
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, 2010, Pages pages 94--100)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
  • Specifying Generic Java Programs: two case studies
    LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications / Paphos, Cyprus (2010, Pages pages 8:1--8:8)
    Giorgetti, Alain | Marché, Claude | Tushkanova, Elena | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System
    SCSS 2010, 3-rd Int.Workshop on Symbolic Computation in Software Science / Hagenberg, Austria (2010, Pages pages 5--18)
    Giorgetti, Alain
    bibtex
  • Using SysML for Smart Surface Modeling
    dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS / Besançon, France (2010, Pages pages 100--107)
    Giorgetti, Alain | Hammad, Ahmed | Tatibouet, Bruno
    pdf | bibtex
  • Combining Frama-C and PathCrawler for C Program Debugging
    GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel / Pau, France (2010, Pages pages 217--218)
    Chebaro, OMAR | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
    pdf | bibtex
2009
  • Graph Based Reduction of Program Verification Conditions
    AFM'09, Automated Formal Methods (colocated with CAV'09) / Grenoble, France (2009, Pages pages 40--47)
    Couchot, Jean-François | Giorgetti, Alain | Stouls, Nicolas
    bibtex
2008
  • Agent based modelling of complex systems with AML and the situation calculus
    ABS2, Int. workshop on Agent Based Spatial Simulation / Paris, France (2008)
    Bouquet, Fabrice | Lang, Christophe | Giorgetti, Alain | Brocard, Thibaud
    bibtex
2007
  • Instantiation of Parameterized Data Structures for Model-Based Testing
    B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, 2007, Pages pages 96--110)
    Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
    doi | bibtex
  • Un programme annoté en vaut deux
    JFLA'07, Journées francophones des langages applicatifs / Aix-les-Bains, France (2007, Pages pages 87--101)
    Giorgetti, Alain | Groslambert, Julien
    pdf | bibtex
2006
  • JAG: JML Annotation Generation for Verifying Temporal Properties
    FASE'2006, Fundamental Approaches to Software Engineering / Vienna, Austria (Volume 3922, 2006, Pages pages 373--376)
    Giorgetti, Alain | Groslambert, Julien
    bibtex
  • JAG : Génération d'annotations JML pour vérifier des propriétés temporelles
    AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels / Paris, France (2006)
    Giorgetti, Alain | Groslambert, Julien
    bibtex
2005
  • A Uniform Deductive Approach for Parameterized Protocol Safety
    ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering (Publisher : IEEE, 2005, Pages pages 364--367)
    Couchot, Jean-François | Giorgetti, Alain | Kosmatov, Nikolaï
    bibtex
2004
  • Proving and Debugging Set-Based Specifications
    WMF'03 proceedings / Campina Grande, Brazil (Volume 95, 2004, Pages pages 189--208)
    Couchot, Jean-François | Dadeau, Frédéric | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
  • Analyse d'atteignabilité déductive
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 269--283)
    Couchot, Jean-François | Giorgetti, Alain
    bibtex
  • Barvey : Vérification automatique de consistance de machines abstraites B
    AFADL'04, Approches Formelles dans l'Assistance au Développement de Logiciels, / Besançon, France (2004, Pages pages 369--372)
    Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
Category misc
2015
  • Lambda terms and maps, formally
    Invited Talk, 8th Workshop on Computational Logic and Applications (CLA 2015), 24/03/15, Lyon, France (mar 2015)
    Giorgetti, Alain | Dubois, Catherine | Zeilberger, Noam
    bibtex
2014
  • Software Engineering and Enumerative Combinatorics
    MAP 2014 - Mathematics, Algorithms and Proofs. Institut Henri Poincaré, Paris, France (may 2014)
    Giorgetti, Alain | Genestier, Richard | Senni, Valerio
    bibtex
  • Hypermaps, groups and connected permutations
    Invited talk, Workshop on Geometries for Quantum Information, 25/06/14, UTBM, Sévenans, France (jun 2014)
    Giorgetti, Alain
    bibtex
2013
  • Combining Tests and Proofs to Check Combinatorial Generation Algorithms
    Séminaire invité dans l'équipe CPR du laboratoire CEDRIC du CNAM, Paris (may 2013)
    Giorgetti, Alain | Senni, Valerio
    bibtex
  • Formally Proved Generators of Combinatorial Structures
    Séminaire commun des équipes Toccata et Fortesse du LRI (CNRS, University of Paris-Sud), Orsay (sep 2013)
    Giorgetti, Alain | Genestier, Richard
    bibtex
2006
  • JAG - JML Annotation Generator
    ( 2006)
    Giorgetti, Alain | Groslambert, Julien
    bibtex
2004
  • Barvey : Vérification automatique de consistance de machines abstraites B
    ( 2004)
    Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
Category techreport
2013
  • A Symbolic Transformation Language and its Application to a Multiscale Method
    INRIA (dec 2013, Research Report, Number hal-00917323)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel
    bibtex
2010
  • Realistic Domains for Unit Tests Generation
    (sep 2010, Research Report, Number RR2010-01)
    Enderlin, Ivan | Ben Othman, Abdallah | Dadeau, Frédéric | Giorgetti, Alain
    bibtex
2009
  • Specifying and Proving a Sorting Algorithm
    (oct 2009, Research Report, Number RR2009-03)
    Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena
    bibtex
  • Modular Specification of Java Programs
    ( 2009, Research Report, Number RR-7097)
    Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena | Marché, Claude
    bibtex
2006
  • JAG : Génération d'annotations JML pour vérifier des propriétés temporelles
    (sep 2006, Technical Report, Number RT2006-02)
    Giorgetti, Alain | Groslambert, Julien
    bibtex
2003
  • Vérification de machines abstraites B en logique monadique du second ordre
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (oct 2003, Rapport de Recherche, Number RR2003-01)
    Dadeau, Frédéric | Giorgetti, Alain
    bibtex