FEMTO-ST-Franche Comté Electronique Mécanique Thermique et Optique - Sciences et Technologies

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@article{3a8db702-9536-40d2-a703-71d21edeb06b, title = {Contract-based testing for PHP with Praspel}, author = {Dadeau, Fr\'{e}d\'{e}ric and Giorgetti, Alain and Bouquet, Fabrice and Enderlin, Ivan}, year = {2018}, month = {feb}, pages = {209 - 222}, volume = {136}, doi = {https://doi.org/10.1016/j.jss.2017.06.017}, journal = {Journal of Systems and Software } }

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
  
  pdf | doi | bibtex@article{4918b5d3-0f30-479a-a10e-0e0127c1beb6, title = {Rooted planar maps modulo some patterns}, author = {Baril, Jean-Luc and Genestier, Richard and Giorgetti, Alain and Petrossian, Armen}, year = {2016}, month = {apr}, number = {4}, pages = {1199 - 1205}, url = {https://publiweb.femto-st.fr/tntnet/entries/13731/documents/author/data}, volume = {339}, doi = {http://dx.doi.org/10.1016/j.disc.2015.11.007}, journal = {Discrete Mathematics} }

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@article{835ae314-d012-4560-b64a-fc38444e257b, title = {Quantum contextual finite geometries from dessins d'enfants}, author = {Planat, Michel and Giorgetti, Alain and Holweck, Fr\'{e}d\'{e}ric and Saniga, Metod}, year = {2015}, month = {aug}, number = {7}, pages = {1550067 (18 pages)}, url = {https://publiweb.femto-st.fr/tntnet/entries/5729/documents/author/data}, volume = {12}, doi = {http://dx.doi.org/10.1142/S021988781550067X}, journal = {International Journal of Geometric Methods in Modern Physics} }
• 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@article{tgrk14:ij, title = {A rule-based system for automatic decidability and combinability}, author = {Tushkanova, Elena and Giorgetti, Alain and Ringeissen, Christophe and Kouchnarenko, Olga}, year = {2015}, month = {mar}, number = {C}, pages = {3 - 23}, url = {https://publiweb.femto-st.fr/tntnet/entries/8694/documents/author/data}, volume = {99}, doi = {10.1016/j.scico.2014.02.005}, journal = {Science of Computer Programming} }
• 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@article{zg15:ij, title = {A correspondence between rooted planar maps and normal planar lambda terms}, author = {Zeilberger, Noam and Giorgetti, Alain}, year = {2015}, month = {aug}, number = {3}, pages = {22 (39 pages)}, volume = {11}, doi = {10.2168/LMCS-11(3:22)2015 }, journal = {Logical Methods in Computer Science} }

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@article{59f252cb-897e-4747-887b-3482f0a7fa8c, title = {A Symbolic Transformation Language and its Application to a Multiscale Method}, author = {Belkhir, Walid and Giorgetti, Alain and Lenczner, Michel}, year = {2014}, month = {nov}, pages = {49 - 78}, url = {https://publiweb.femto-st.fr/tntnet/entries/6172/documents/author/data}, volume = {65}, doi = {10.1016/j.jsc.2014.01.004}, journal = {Journal of Symbolic Computation} }
• 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@article{wg14:ij, title = {Efficient enumeration of rooted maps of a given orientable genus by number of faces and vertices}, author = {Walsh, Timothy R.S. and Giorgetti, Alain}, year = {2014}, number = {2}, pages = {263--280}, url = {https://publiweb.femto-st.fr/tntnet/entries/8693/documents/author/data}, volume = {7}, journal = {Ars Mathematica Contemporanea} }

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@article{wgm12ij, title = {Enumeration of unrooted orientable maps of arbitrary genus by number of edges and vertices}, author = {Walsh, Timothy R.S. and Giorgetti, Alain and Mednykh, Alexander}, year = {2012}, month = {sep}, number = {17}, pages = {2660 - 2671}, volume = {312}, doi = {10.1016/j.disc.2011.11.027}, journal = {Discrete Mathematics} }

2011

• Enumeration of genus four maps by number of edges
  Ars Mathematica Contemporanea (Volume 4, 2011, Pages :351--361)
  Mednykh, Alexander | Giorgetti, Alain
  
  bibtex@article{mg11b:ij, title = {Enumeration of genus four maps by number of edges}, author = {Mednykh, Alexander and Giorgetti, Alain}, year = {2011}, pages = {351--361}, volume = {4}, journal = {Ars Mathematica Contemporanea}, publisher = {Neural Computing \& Applications} }

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@article{ggjk08:ij, title = {Verification of class liveness properties with Java modeling language}, author = {Julliand, Jacques and Giorgetti, Alain and Groslambert, Julien and Kouchnarenko, Olga}, year = {2008}, month = {dec}, number = {6}, pages = {500 - 514}, url = {https://publiweb.femto-st.fr/tntnet/entries/820/documents/author/data}, volume = {2}, doi = {10.1049/iet-sen:20080008}, journal = {IET Software}, publisher = {SQJ, Software Quality Journal} }

2003

• An asymptotic study for path reversal
  Theoretical Computer Science (Volume 299, Issue (1-3), 2003, Pages :585--602)
  Giorgetti, Alain
  
  bibtex@article{giorgetti03:ij, title = {An asymptotic study for path reversal}, author = {Giorgetti, Alain}, year = {2003}, number = {1-3}, pages = {585--602}, volume = {299}, journal = {Theoretical Computer Science} }
• 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@article{cdgr03:ij, title = {Scalable Automated Proving and Debugging of Set-Based Specifications}, author = {Couchot, Jean-Fran\c{c}ois and D\'{e}harbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2003}, month = {nov}, number = {2}, pages = {17 - 36}, volume = {9}, journal = {Journal of the Brazilian Computer Society (JBCS)} }

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@article{tgg01:nj, title = {Performances d'un algorithme distribu\'{e} d'exclusion mutuelle en cas de non-\'{e}quiprobabilit\'{e} des requ\^{e}tes des processus}, author = {Tr\'{e}hel, Michel and Gradit, P. and Giorgetti, Alain}, year = {2001}, number = {6}, pages = {557--573}, volume = {13}, journal = {Calculateurs parall\`{e}les, r\'{e}seaux et syst\`{e}mes r\'{e}partis (CPRSR)}, publisher = {Herm\`{e}s} }

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@inproceedings{23ee363f-2c56-4fa8-b257-9a180cfcdf8a, title = {Test et preuve pour des structures combinatoires : Coq et Prolog}, author = {Dubois, Catherine and Giorgetti, Alain and Genestier, Richard}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {Actes des Huiti\`{e}mes journ\'{e}es nationales du Groupement De Recherche CNRS du G\'{e}nie de la Programmation et du Logiciel}, month = {jun}, pages = {21 - 22}, url = {https://publiweb.femto-st.fr/tntnet/entries/13233/documents/author/data} }
• 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@inproceedings{173b2f3a-5431-4ac0-8b36-46d55e169e57, title = {Sp\'{e}cification et v\'{e}rification formelle d’op\'{e}rations sur les permutations}, author = {Genestier, Richard and Giorgetti, Alain}, year = {2016}, booktitle = {15\`{e}mes journ\'{e}es sur les Approches Formelles dans l’Assistance au D\'{e}veloppement de Logiciels (AFADL’16)}, editor = {Aur\'{e}lie Hurault et Nicolas Stouls}, month = {jun}, pages = {72 - 78}, url = {https://publiweb.femto-st.fr/tntnet/entries/13733/documents/author/data} }
• Your Proof Fails? Testing Helps to Find the Reason
  10th International Conference on Tests and Proofs, TAP 2016, Held as Part of STAF 2016 / Vienna, Austria (Volume 9762, 2016, Pages pages 130 - 150)
  Petiot, Guiillaume | Kosmatov, Nikolaï | Botella, Bernard | Giorgetti, Alain | Julliand, Jacques
  
  pdf | doi | bibtex@inproceedings{67b36632-a1d4-4b72-a160-f32bae9e6d8d, title = {Your Proof Fails? Testing Helps to Find the Reason}, author = {Petiot, Guiillaume and Kosmatov, Nikola\"{\i} and Botella, Bernard and Giorgetti, Alain and Julliand, Jacques}, year = {2016}, address = {Vienna, Austria}, booktitle = {10th International Conference on Tests and Proofs, TAP 2016, Held as Part of STAF 2016}, month = {jul}, pages = {130 - 150}, url = {https://publiweb.femto-st.fr/tntnet/entries/13734/documents/author/data}, volume = {9762}, doi = {10.1007/978-3-319-41135-4_8} }
• Tests and Proofs for Enumerative Combinatorics
  10th International Conference on Tests and Proofs, TAP 2016, Held as Part of STAF 2016 / Vienna, Austria (Publisher : Springer, Volume 9762, 2016, Pages pages 57 - 75)
  Dubois, Catherine | Giorgetti, Alain | Genestier, Richard
  
  pdf | doi | bibtex@inproceedings{72f8f63c-9384-4f27-bb90-86117bcdef4f, title = {Tests and Proofs for Enumerative Combinatorics}, author = {Dubois, Catherine and Giorgetti, Alain and Genestier, Richard}, year = {2016}, address = {Vienna, Austria}, booktitle = {10th International Conference on Tests and Proofs, TAP 2016, Held as Part of STAF 2016}, month = {jul}, pages = {57 - 75}, url = {https://publiweb.femto-st.fr/tntnet/entries/13735/documents/author/data}, volume = {9762}, doi = {10.1007/978-3-319-41135-4_4}, publisher = {Springer} }

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@inproceedings{ggp15:ip, title = {Sequential generation of structured arrays and its deductive verification}, author = {Genestier, Richard and Giorgetti, Alain and PETIOT, Guillaume}, year = {2015}, address = {L'Aquila, Italy}, booktitle = {TAP 2015, 9th Int. Conf. of Tests and Proofs}, editor = {Blanchette, J.C. and Kosmatov, N.}, month = {jul}, pages = {109--128}, url = {https://publiweb.femto-st.fr/tntnet/entries/12057/documents/author/data}, volume = {9154}, doi = {10.1007/978-3-319-21215-9_7}, publisher = {Springer} }
• 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@inproceedings{ggp15:np, title = {Gagnez sur tous les tableaux}, author = {Genestier, Richard and Giorgetti, Alain and Petiot, Guillaume}, year = {2015}, address = {Le Val d'Ajol, France}, booktitle = {JFLA 2015, 20 \`{e}mes Journ\'{e}es Francophones des Langages Applicatifs}, editor = {Baelde, David and Alglave, Jade}, month = {jan} }

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@inproceedings{pkgj14:ip, title = {How Test Generation Helps Software Specification and Deductive Verification in Frama-C}, author = {Petiot, Guillaume and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques}, year = {2014}, address = {York, UK}, booktitle = {TAP 2014, 8th Int. Conf. of Tests and Proofs}, month = {jul}, pages = {204--211}, url = {https://publiweb.femto-st.fr/tntnet/entries/7919/documents/author/data}, volume = {8570}, doi = {10.1007/978-3-319-09099-3_16}, publisher = {Springer} }
• 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@inproceedings{pkgj14:onp, title = {Comment la g\'{e}n\'{e}ration de tests facilite la sp\'{e}cification et la v\'{e}rification d\'{e}ductive des programmes dans Frama-C}, author = {Petiot, Guillaume and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques}, year = {2014}, address = {Paris, France}, booktitle = {AFADL'14, 13\`{e}mes journ\'{e}es Francophones sur les Approches Formelles dans l'Assistance Au D\'{e}veloppement de Logiciels}, month = {jun}, pages = {133--133}, url = {https://publiweb.femto-st.fr/tntnet/entries/8704/documents/author/data} }

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@inproceedings{0689a6d3-e6d9-4ac7-bade-43a021b246cc, title = {A Constraint Solver for PHP Arrays}, author = {Enderlin, Ivan and Giorgetti, Alain and Bouquet, Fabrice}, year = {2013}, address = {Luxembourg, Luxembourg}, booktitle = {ICST Workshops}, month = {mar}, pages = {218 - 223}, url = {https://publiweb.femto-st.fr/tntnet/entries/5746/documents/author/data}, doi = {10.1109/ICSTW.2013.80}, organization = {IEEE}, publisher = {IEEE} }
• 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@inproceedings{trgk13:ip, title = {Automatic Decidability: A Schematic Calculus for Theories with Counting Operators}, author = {Tushkanova, Elena and Ringeissen, Christophe and Giorgetti, Alain and Kouchnarenko, Olga}, year = {2013}, address = {Dagstuhl, Germany}, booktitle = {RTA 2013, 24th Int. Conf. on Rewriting Techniques and Applications}, editor = {Femke van Raamsdonk}, pages = {303--318}, url = {https://publiweb.femto-st.fr/tntnet/entries/5959/documents/author/data}, volume = {21}, doi = {10.4230/LIPIcs.RTA.2013.303}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik} }

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@inproceedings{ckgj12:ip, title = {Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis}, author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques}, year = {2012}, address = {Trento, Italy}, booktitle = {SAC 2012, 27-th ACM Symposium On Applied Computing}, month = {mar}, pages = {1284--1291}, url = {https://publiweb.femto-st.fr/tntnet/entries/324/documents/author/data} }
• 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@inproceedings{gs12:ip, title = {Specification and Validation of Algorithms Generating Planar Lehman Words}, author = {Giorgetti, Alain and Senni, Valerio}, year = {2012}, address = {Bordeaux, France}, booktitle = {GASCom'12, 8-th Int. Conf. on random generation of combinatorial structures}, month = {jun}, pages = {***--***} }
• 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@inproceedings{tgrk12:ip, title = {A Rule-Based Framework for Building Superposition-Based Decision Procedures}, author = {Tushkanova, Elena and Giorgetti, Alain and Ringeissen, Christophe and Kouchnarenko, Olga}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {WRLA'12, 9th Int. Workshop on Rewriting Logic and its Applications, joint to the ETAPS 2012 Int. Conf.}, editor = {Dur\'{a}n, Franciso}, month = {aug}, pages = {221--239}, url = {https://publiweb.femto-st.fr/tntnet/entries/352/documents/author/data}, volume = {7571}, doi = {10.1007/978-3-642-34005-5_12} }
• 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@inproceedings{bgld+12:ip, title = {Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures}, author = {Belkhir, Walid and Giorgetti, Alain and Lenczner, Michel and Dhara, Raj Narayan and Yang, Bin}, year = {2012}, address = {Besan\c{c}on, France}, booktitle = {dMEMS'12, 2nd Workshop on Design, Control and Software Implementation for Distributed MEMS}, month = {feb}, pages = {82--89}, url = {https://publiweb.femto-st.fr/tntnet/entries/635/documents/author/data}, doi = {10.1109/dMEMS.2012.14} }
• 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@inproceedings{edgb12:ip, title = {Grammar-Based Testing using Realistic Domains in PHP}, author = {Enderlin, Ivan and Dadeau, Fr\'{e}d\'{e}ric and Giorgetti, Alain and Bouquet, Fabrice}, year = {2012}, address = {Los Alamitos, CA, United States}, booktitle = {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}, month = {apr}, pages = {509--518}, url = {https://publiweb.femto-st.fr/tntnet/entries/692/documents/author/data}, doi = {10.1109/ICST.2012.136}, publisher = {IEEE} }

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@inproceedings{bg11:oip, title = {Lazy Rewriting Modulo Associativity and Commutativity}, author = {Belkhir, Walid and Giorgetti, Alain}, year = {2011}, address = {Novi Sad, Serbia}, booktitle = {WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming}, month = {may}, pages = {17--21} }
• 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@inproceedings{cg11:ip, title = {Simulations over Two-Dimensional On-Line Tessellation Automata}, author = {C\'{e}c\'{e}, G\'{e}rard and Giorgetti, Alain}, year = {2011}, address = {Milan, Italy}, booktitle = {DLT 2011, Developments in Language Theory}, editor = {Mauri, Giancarlo and Leporati, Alberto}, month = {jul}, pages = {141--152}, volume = {6795}, doi = {10.1007/978-3-642-22321-1_13} }
• 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@inproceedings{ckgj11:oip, title = {The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging}, author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques}, year = {2011}, address = {Zurich, Switzerland}, booktitle = {TAP'11, 5-th Int. Conf. of Tests and Proofs}, month = {jun}, pages = {78--83}, volume = {6706} }
• 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@inproceedings{ydbl+11:ip, title = {Computer-Aided Multiscale Model Derivation for MEMS Arrays}, author = {Yang, Bin and Belkhir, Walid and Dhara, Raj Narayan and Lenczner, Michel and Giorgetti, Alain}, year = {2011}, address = {Linz, Austria}, booktitle = {EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems}, month = {apr}, doi = {10.1109/ESIME.2011.5765784} }
• 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@inproceedings{ydbl+11:oip, title = {Formal Methods for Multiscale Models Derivation}, author = {Dhara, Raj Narayan and Yang, Bin and Belkhir, Walid and Lenczner, Michel and Giorgetti, Alain}, year = {2011}, address = {Besan\c{c}on, France}, booktitle = {CFM 2011, 20\`{e}me Congr\`{e}s Fran\c{c}ais de M\'{e}canique}, editor = {Chapelle, D. and Dahan, M. and Picart P.}, month = {aug}, pages = {4092--4097}, url = {https://publiweb.femto-st.fr/tntnet/entries/666/documents/author/data} }
• 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@inproceedings{edgbo11:ip, title = {Praspel: A Specification Language for Contract-Based Testing in PHP}, author = {Enderlin, Ivan and Dadeau, Fr\'{e}d\'{e}ric and Giorgetti, Alain and Ben Othman, Abdallah}, year = {2011}, address = {Paris, France}, booktitle = {ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems}, editor = {Wolff, B. and Zaidi, F.}, month = {nov}, pages = {64--79}, volume = {7019}, publisher = {Springer} }
• 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@inproceedings{bg11:ip, title = {Lazy {AC-Pattern} Matching for Rewriting}, author = {Belkhir, Walid and Giorgetti, Alain}, year = {2011}, address = {Novi Sad, Serbia}, booktitle = {WRS'11, 10th int. Workshop on Reduction Strategies in Rewriting and Programming}, editor = {Escobar, Santiago}, month = {may}, pages = {37--51}, doi = {10.4204/EPTCS.82.3} }

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@inproceedings{ckgj10:ip, title = {Combining Static Analysis and Test Generation for C Program Debugging}, author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques}, year = {2010}, address = {Malaga, Spain}, booktitle = {TAP'10, 4th Int. Conf. on Tests and Proofs}, editor = {Fraser, G. and Gargantini, A.}, month = {jul}, pages = {94--100}, url = {https://publiweb.femto-st.fr/tntnet/entries/255/documents/author/data}, volume = {6143} }
• 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@inproceedings{tgmk10:ip, title = {Specifying Generic Java Programs: two case studies}, author = {Giorgetti, Alain and March\'{e}, Claude and Tushkanova, Elena and Kouchnarenko, Olga}, year = {2010}, address = {Paphos, Cyprus}, booktitle = {LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications}, month = {mar}, pages = {8:1--8:8}, url = {https://publiweb.femto-st.fr/tntnet/entries/277/documents/author/data}, doi = {10.1145/1868281.1868289} }
• 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@inproceedings{giorgetti10:oip, title = {Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System}, author = {Giorgetti, Alain}, year = {2010}, address = {Hagenberg, Austria}, booktitle = {SCSS 2010, 3-rd Int.Workshop on Symbolic Computation in Software Science}, editor = {Jebelean, T. and Mosbah, M. and Popov, N.}, month = {jul}, pages = {5--18} }
• 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@inproceedings{ght10:ip, title = {Using SysML for Smart Surface Modeling}, author = {Giorgetti, Alain and Hammad, Ahmed and Tatibou\"{e}t, Bruno}, year = {2010}, address = {Besan\c{c}on, France}, booktitle = {dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS}, month = {jun}, pages = {100--107}, url = {https://publiweb.femto-st.fr/tntnet/entries/895/documents/author/data} }
• 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@inproceedings{ckgj10:onp, title = {Combining Frama-C and PathCrawler for C Program Debugging}, author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques}, year = {2010}, address = {Pau, France}, booktitle = {GDR GPL 2010, 2\`{e}mes journ\'{e}es nationales du Groupement de recherche CNRS du G\'{e}nie de la programmation et du logiciel}, month = {mar}, pages = {217--218}, url = {https://publiweb.femto-st.fr/tntnet/entries/908/documents/author/data} }

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@inproceedings{cgs09:ip, title = {Graph Based Reduction of Program Verification Conditions}, author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas}, year = {2009}, address = {Grenoble, France}, booktitle = {AFM'09, Automated Formal Methods (colocated with CAV'09)}, editor = {Hassen Sa¨{i}di and N. Shankar}, pages = {40--47} }

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@inproceedings{bbgl08:oip, title = {Agent based modelling of complex systems with AML and the situation calculus}, author = {Brocard, Thibaud and Bouquet, Fabrice and Giorgetti, Alain and Lang, Christophe}, year = {2008}, address = {Paris, France}, booktitle = {ABS2, Int. workshop on Agent Based Spatial Simulation}, month = {nov} }

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@inproceedings{bcdg07:ip, title = {Instantiation of Parameterized Data Structures for Model-Based Testing}, author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'{e}d\'{e}ric and Giorgetti, Alain}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {96--110}, volume = {4355}, doi = {10.1007/11955757_10} }
• 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@inproceedings{gg07:np, title = {Un programme annot\'{e} en vaut deux}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2007}, address = {Aix-les-Bains, France}, booktitle = {JFLA'07, Journ\'{e}es francophones des langages applicatifs}, editor = {Pierre-Etienne Moreau}, month = {jan}, pages = {87--101}, url = {https://publiweb.femto-st.fr/tntnet/entries/876/documents/author/data} }

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@inproceedings{gg06:ip, title = {JAG: JML Annotation Generation for Verifying Temporal Properties}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2006}, address = {Vienna, Austria}, booktitle = {FASE'2006, Fundamental Approaches to Software Engineering}, month = {mar}, pages = {373--376}, volume = {3922} }
• 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@inproceedings{gg06:onp, title = {JAG : G\'{e}n\'{e}ration d'annotations JML pour v\'{e}rifier des propri\'{e}t\'{e}s temporelles}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2006}, address = {Paris, France}, booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'{e}veloppement de Logiciels}, month = {mar} }

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@inproceedings{cgk05:ip, title = {A Uniform Deductive Approach for Parameterized Protocol Safety}, author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Kosmatov, Nikola\"{\i}}, year = {2005}, booktitle = {ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering}, pages = {364--367}, publisher = {IEEE} }

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@inproceedings{cddg+04:ip, title = {Proving and Debugging Set-Based Specifications}, author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'{e}d\'{e}ric and D\'{e}harbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2004}, address = {Campina Grande, Brazil}, booktitle = {WMF'03 proceedings}, editor = {A. Cavalcanti and P. Machado}, month = {may}, pages = {189--208}, volume = {95} }
• 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@inproceedings{cg04:np, title = {Analyse d'atteignabilit\'{e} d\'{e}ductive}, author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain}, year = {2004}, address = {Besan\c{c}on, France}, booktitle = {Congr\`{e}s Approches Formelles dans l'Assistance au D\'{e}veloppement de Logiciels, AFADL'04}, editor = {Julliand, Jacques}, month = {jun}, pages = {269--283} }
• 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@inproceedings{cdgr04:onp, title = {Barvey : V\'{e}rification automatique de consistance de machines abstraites B}, author = {Couchot, Jean-Fran\c{c}ois and D\'{e}harbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2004}, address = {Besan\c{c}on, France}, booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'{e}veloppement de Logiciels,}, editor = {Julliand, Jacques}, month = {jun}, pages = {369--372} }

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@misc{giorgetti15:it, title = {Lambda terms and maps, formally}, author = {Giorgetti, Alain and Dubois, Catherine and Zeilberger, Noam}, year = {2015}, month = {mar} }

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@misc{ggs14:oip, title = {Software Engineering and Enumerative Combinatorics}, author = {Giorgetti, Alain and Genestier, Richard and Senni, Valerio}, year = {2014}, month = {may} }
• 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@misc{giorgetti14:it, title = {Hypermaps, groups and connected permutations}, author = {Giorgetti, Alain}, year = {2014}, month = {jun} }

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@misc{giorgetti13a:it, title = {Combining Tests and Proofs to Check Combinatorial Generation Algorithms}, author = {Giorgetti, Alain and Senni, Valerio}, year = {2013}, month = {may} }
• 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@misc{giorgetti13b:it, title = {Formally Proved Generators of Combinatorial Structures}, author = {Giorgetti, Alain and Genestier, Richard}, year = {2013}, month = {sep} }

2006

• JAG - JML Annotation Generator
  ( 2006)
  Giorgetti, Alain | Groslambert, Julien
  
  bibtex@misc{gg06:soft, title = {JAG - JML Annotation Generator}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2006} }

2004

• Barvey : Vérification automatique de consistance de machines abstraites B
  ( 2004)
  Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
  
  bibtex@misc{cdgr04:soft, title = {Barvey : V\'{e}rification automatique de consistance de machines abstraites B}, author = {Couchot, Jean-Fran\c{c}ois and D\'{e}harbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2004} }

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@techreport{bgl13:ir, title = {A Symbolic Transformation Language and its Application to a Multiscale Method}, author = {Belkhir, Walid and Giorgetti, Alain and Lenczner, Michel}, year = {2013}, month = {dec}, number = {hal-00917323}, institution = {INRIA} }

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@techreport{ebdg10:ir, title = {Realistic Domains for Unit Tests Generation}, author = {Enderlin, Ivan and Ben Othman, Abdallah and Dadeau, Fr\'{e}d\'{e}ric and Giorgetti, Alain}, year = {2010}, month = {sep}, number = {RR2010-01}, url = {https://publiweb.femto-st.fr/tntnet/entries/119/documents/author/data} }

2009

• Specifying and Proving a Sorting Algorithm
  (oct 2009, Research Report, Number RR2009-03)
  Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena
  
  bibtex@techreport{tgk09:ir, title = {Specifying and Proving a Sorting Algorithm}, author = {Giorgetti, Alain and Kouchnarenko, Olga and Tushkanova, Elena}, year = {2009}, month = {oct}, number = {RR2009-03}, url = {https://publiweb.femto-st.fr/tntnet/entries/110/documents/author/data} }
• Modular Specification of Java Programs
  ( 2009, Research Report, Number RR-7097)
  Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena | Marché, Claude
  
  bibtex@techreport{tgmk09:ir, title = {Modular Specification of Java Programs}, author = {Tushkanova, Elena and Giorgetti, Alain and March\'{e}, Claude and Kouchnarenko, Olga}, year = {2009}, number = {RR-7097} }

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@techreport{gg06:ir, title = {JAG : G\'{e}n\'{e}ration d'annotations JML pour v\'{e}rifier des propri\'{e}t\'{e}s temporelles}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2006}, month = {sep}, number = {RT2006-02} }

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@techreport{dg03:ir, title = {V\'{e}rification de machines abstraites B en logique monadique du second ordre}, author = {Dadeau, Fr\'{e}d\'{e}ric and Giorgetti, Alain}, year = {2003}, month = {oct}, number = {RR2003-01}, institution = {LIFC - Laboratoire d'Informatique de l'Universit\'{e} de Franche-Comt\'{e}} }