Publications

Category article

2018

  • Contract-based testing for PHP with Praspel
    Journal of Systems and Software (Volume 136, feb 2018, Pages :209 - 222)
    Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice | Enderlin, Ivan
    doi | bibtex

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 / Luxembourg, Luxembourg (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