L'institut

FEMTO-ST

Annuaire

Vous êtes ici

Alain Giorgetti

Responsable de l'équipe VESONTIO

Computer science

Département DISC
équipe VESONTIO

UFC - UFR ST

Courriel :: agiorget [at] femto-st.fr
Adresse :: DISC - UFR-ST (Campus La Bouloie)
Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Doctorat en informatique à l'Université de Marne-la-Vallée, en 1998, sous la direction de D. Arquès.
Maître de conférences au LIFC (Laboratoire d'Informatique de l'Université de Franche-Comté), devenu département DISC de FEMTO-ST en 2012.
H.D.R. depuis 2017.

Voir plus d'informations sur la page personnelle http://members.femto-st.fr/alain-giorgetti/fr.

Ph.D. in Computer Science, University of Marne-la-Vallée, 1998, supervised by D. Arquès.
Assistant professor at the research department DISC of FEMTO-ST since 2001.
Habilitation since 2017.

See more d'informations on my personal page http://members.femto-st.fr/alain-giorgetti/en.

Publications de Alain Giorgetti

Voir toutes les publications (81)2024 (1)2023 (5)2022 (6)2021 (5)2020 (2)2019 (2)2018 (5)2017 (1)2016 (5)2015 (6)2014 (6)2013 (5)2012 (6)2011 (8)2010 (6)2009 (3)2008 (2)2007 (2)2006 (4)2003 (1)

2024 (1)

article - New and improved bounds on the contextuality degree of multi-qubit configurations
Mathematical Structures in Computer Science (Volume 34, Issue (4), 2024, Pages :322 -343)
Muller, Axel | Saniga, Metod | Giorgetti, Alain | De Boutray, Henri | Holweck, Frédéric
pdf | doi

2023 (5)

incollection - Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families
28th International Conference on Types for Proofs and Programs (TYPES 2022 (Editor : 906251f5-cd51-46c3-98a7-79cb0b561fbc-editor.pdf, Issue , Series LIPIcs - Leibniz International Proceedings in Informatics, sep 2023, Pages 11 (19))
Dubois, Catherine | Magaud, Nicolas | Giorgetti, Alain
pdf | bibtex@incollection{906251f5-cd51-46c3-98a7-79cb0b561fbc, title = {Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families}, author = {Dubois, Catherine and Magaud, Nicolas and Giorgetti, Alain}, year = {2023}, booktitle = {28th International Conference on Types for Proofs and Programs (TYPES 2022}, editor = {906251f5-cd51-46c3-98a7-79cb0b561fbc-editor.pdf}, month = {sep}, number = {}, pages = {11 (19)}, url = {https://publiweb.femto-st.fr/tntnet/entries/20013/documents/author/data}, doi = {10.4230/LIPIcs.TYPES.2022.11}, series = {LIPIcs - Leibniz International Proceedings in Informatics} }
inproceedings - Calcul du degré de contextualité de diverses géométries finies quantiques
Quantum days at AMU (2023) / Marseille, France (2023)
Muller, Axel | Giorgetti, Alain | Saniga, Metod | De Boutray, Henri | Holweck, Frédéric
pdf | bibtex@inproceedings{bf52bb0a-3e5a-49ce-9e80-f0ddca919a90, title = {Calcul du degr\'e de contextualit\'e de diverses g\'eom\'etries finies quantiques}, author = {Muller, Axel and Giorgetti, Alain and Saniga, Metod and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2023}, address = {Marseille, France}, booktitle = {Quantum days at AMU (2023)}, editor = {}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/20115/documents/author/data} }
inproceedings - Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations
10th Slovenian Conference on Graph Theory (SiCGT 2023) / Kranjska Gora, Slovenia (2023)
Muller, Axel | Saniga, Metod | Giorgetti, Alain | De Boutray, Henri | Holweck, Frédéric
pdf | bibtex@inproceedings{09103445-a8b1-4565-bc9b-d6dffd4db6ec, title = {Disclosing Quantum Contextuality: A Geometric Approach to N-Qubit Configurations}, author = {Muller, Axel and Saniga, Metod and Giorgetti, Alain and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2023}, address = {Kranjska Gora, Slovenia}, booktitle = {10th Slovenian Conference on Graph Theory (SiCGT 2023)}, editor = {09103445-a8b1-4565-bc9b-d6dffd4db6ec-editor.pdf}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/20108/documents/author/data} }
inproceedings - Revealing contextuality of quantum configurations with a SAT solver
Journées du Groupement de Recherche « Génie de la Programmation et du Logiciel » (GDR GPL 2023) / Rennes, France (2023)
Muller, Axel | Saniga, Metod | Giorgetti, Alain | De Boutray, Henri | Holweck, Frédéric
pdf | bibtex@inproceedings{01e91858-9d2d-4ffe-b720-88ded9aa475c, title = {Revealing contextuality of quantum configurations with a SAT solver}, author = {Muller, Axel and Saniga, Metod and Giorgetti, Alain and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2023}, address = {Rennes, France}, booktitle = {Journ\'ees du Groupement de Recherche « G\'enie de la Programmation et du Logiciel » (GDR GPL 2023)}, editor = {}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/20208/documents/author/data} }
inproceedings - A Gentle Introduction to Verification of Parameterized Reactive Systems
25th International Symposium on Formal Methods (Formal Methods 2023) / Lübeck, Germany (Publisher : Springer, Volume 13962, Series Lecture Notes in Computer Science (LNCS), 2023, Pages pages 34 - 50)
Féral, Nicolas | Giorgetti, Alain
pdf | doi | bibtex@inproceedings{1cb65e29-b7e7-4530-8c2c-b37efda3f3ab, title = {A Gentle Introduction to Verification of Parameterized Reactive Systems}, author = {F\'eral, Nicolas and Giorgetti, Alain}, year = {2023}, address = {L\"ubeck, Germany}, booktitle = {25th International Symposium on Formal Methods (Formal Methods 2023)}, editor = {1cb65e29-b7e7-4530-8c2c-b37efda3f3ab-editor.pdf}, month = {mar}, pages = {34 - 50}, url = {https://publiweb.femto-st.fr/tntnet/entries/19994/documents/author/data}, volume = {13962}, doi = {10.1007/978-3-031-27534-0_3}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2022 (6)

inproceedings - Computer-assisted enumeration and classification of multi-qubit doilies
Journées Informatique Quantique (JIQ 2022) / Paris, France (2022)
Muller, Axel | Saniga, Metod | Giorgetti, Alain | De Boutray, Henri | Holweck, Frédéric
pdf | bibtex@inproceedings{5f6e5254-aef9-4d65-8197-477c327d2009, title = {Computer-assisted enumeration and classification of multi-qubit doilies}, author = {Muller, Axel and Saniga, Metod and Giorgetti, Alain and De Boutray, Henri and Holweck, Fr\'ed\'eric}, year = {2022}, address = {Paris, France}, booktitle = {Journ\'ees Informatique Quantique (JIQ 2022)}, editor = {5f6e5254-aef9-4d65-8197-477c327d2009-editor.pdf}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/19451/documents/author/data} }
inproceedings - Computer-assisted enumeration of finite geometries related to quantum contextuality
1ère Journée Mathématiques Appliquées et Sciences Pour l’Ingénieur et du Numérique (MASPIN 2022) / Besançon, France (2022)
Giorgetti, Alain
pdf | bibtex@inproceedings{fd604b94-d81c-4e3e-90a1-fd0aca311e2a, title = {Computer-assisted enumeration of finite geometries related to quantum contextuality}, author = {Giorgetti, Alain}, year = {2022}, address = {Besan\c{c}on, France}, booktitle = {1\`ere Journ\'ee Math\'ematiques Appliqu\'ees et Sciences Pour l'Ing\'enieur et du Num\'erique (MASPIN 2022)}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/19662/documents/author/data} }
article - Multi-qubit doilies: Enumeration for all ranks and classification for ranks four and five
Journal of Computational Science (Volume 64, oct 2022, Pages :101853 (18))
Muller, Axel | Saniga, Metod | Giorgetti, Alain | De Boutray, Henri | Holweck, Frédéric
pdf | doi
inproceedings - Test aléatoire et énumératif pour OCaml et Why3
21ème Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2022) / Vannes, France (2022, Pages pages 4 - 7)
Giorgetti, Alain | Ricciardi, Jérome | Erard, Clotilde
bibtex@inproceedings{cebdd066-ed9d-4531-bab8-74bd893c2099, title = {Test al\'eatoire et \'enum\'eratif pour OCaml et Why3}, author = {Giorgetti, Alain and Ricciardi, J\'erome and Erard, Clotilde}, year = {2022}, address = {Vannes, France}, booktitle = {21\`eme Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2022)}, editor = {cebdd066-ed9d-4531-bab8-74bd893c2099-editor.pdf}, month = {jun}, pages = {4 - 7} }
article - Towards random and enumerative testing for OCaml and WhyML properties
Software Quality Journal (Volume 30, Issue (1), mar 2022, Pages :253 - 279)
Erard, Clotilde | Ricciardi, Jérome | Giorgetti, Alain
pdf | doi
article - Contextuality degree of quadrics in multi-qubit symplectic polar spaces
Journal of Physics A : Mathematical and Theoretical (Volume 55, 2022, Pages :475301 (20))
De Boutray, Henri | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain | Saniga, Metod
pdf | doi

2021 (5)

article - Taxonomy of Polar Subspaces of Multi-Qubit Symplectic Polar Spaces of Small Rank
Mathematics (Volume 9, Issue (18), sep 2021, Pages :2272 (18))
Saniga, Metod | De Boutray, Henri | Holweck, Frédéric | Giorgetti, Alain
pdf | doi
inproceedings - Automated detection of contextuality proofs with intermediate numbers of observables
18th International Conference on Quantum Physics and Logic (QPL 2021) / Gdańsk, Poland (2021, Pages pages 3)
De Boutray, Henri | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain
pdf | bibtex@inproceedings{fee75442-109b-4da3-9c3c-f97326b1481a, title = {Automated detection of contextuality proofs with intermediate numbers of observables}, author = {De Boutray, Henri and Holweck, Fr\'ed\'eric and Giorgetti, Alain and Masson, Pierre-Alain}, year = {2021}, address = {Gda\'nsk, Poland}, booktitle = {18th International Conference on Quantum Physics and Logic (QPL 2021)}, editor = {fee75442-109b-4da3-9c3c-f97326b1481a-editor.pdf}, month = {jun}, pages = {3}, url = {https://publiweb.femto-st.fr/tntnet/entries/18104/documents/author/data} }
proceedings - Actes des journées du GDR GPL 2021
/ Online (Electronic Conference), Online (Electronic Conference) (jun 2021)
Blay-Fornarino, Mireille | Dubois, Catherine | Giorgetti, Alain | Kosmatov, Nikolaï
bibtex@proceedings{49809f36-fcfa-48c7-a6d6-12a3c06f68e3, title = {Actes des journ\'ees du GDR GPL 2021}, author = {Blay-Fornarino, Mireille and Dubois, Catherine and Giorgetti, Alain and Kosmatov, Nikola\"i}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {Journ\'ees du GDR GPL (2021)}, month = {jun} }
inproceedings - Théories de permutations avec Why3
32ème Journées Francophones des Langages Applicatifs (JFLA 2021) / Online (Electronic Conference), Online (Electronic Conference) (2021, Pages pages 8)
Giorgetti, Alain
pdf | bibtex@inproceedings{1659b4c6-9f09-4a7b-b4c8-f8348d432e08, title = {Th\'eories de permutations avec Why3}, author = {Giorgetti, Alain}, year = {2021}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {32\`eme Journ\'ees Francophones des Langages Applicatifs (JFLA 2021)}, month = {apr}, pages = {8}, url = {https://publiweb.femto-st.fr/tntnet/entries/18807/documents/author/data} }
article - Mermin polynomials for non-locality and entanglement detection in Grover’s algorithm and Quantum Fourier Transform
Quantum Information Processing (Volume 20, Issue (3), mar 2021, Pages :91 (29))
De Boutray, Henri | Jaffali, Hamza | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain
pdf | doi

2020 (2)

inproceedings - Non-locality and Entanglement Detection with Mermin polynomials for Grover’s algorithm and Quantum Fourier Transform
11th Colloquium of the CNRS GDR № 3322 on Quantum Engineering, Foundations & Applications Ingénierie Quantique, des aspects Fondamentaux aux Applications (GDR IQFA 2020) / Online (Electronic Conference), France (2020, Pages pages 27 - 27)
De Boutray, Henri | Jaffali, Hamza | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain
pdf | bibtex@inproceedings{06505070-3683-4e1a-9f89-fe1fc02dc7fd, title = {Non-locality and Entanglement Detection with Mermin polynomials for Grover's algorithm and Quantum Fourier Transform}, author = {De Boutray, Henri and Jaffali, Hamza and Holweck, Fr\'ed\'eric and Giorgetti, Alain and Masson, Pierre-Alain}, year = {2020}, address = {Online (Electronic Conference), France}, booktitle = {11th Colloquium of the CNRS GDR № 3322 on Quantum Engineering, Foundations \& Applications Ing\'enierie Quantique, des aspects Fondamentaux aux Applications (GDR IQFA 2020)}, editor = {06505070-3683-4e1a-9f89-fe1fc02dc7fd-editor.pdf}, month = {dec}, pages = {27 - 27}, url = {https://publiweb.femto-st.fr/tntnet/entries/17460/documents/author/data} }
misc - Formalisation et vérification de théories de permutations - Version 1
(nov 2020)
Giorgetti, Alain
bibtex@misc{df0e74b9-17ed-49f1-91e2-8cc0da415fe4, title = {Formalisation et v\'erification de th\'eories de permutations - Version 1}, author = {Giorgetti, Alain}, year = {2020}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/17000/documents/author/data} }

2019 (2)

inproceedings - Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
31 International Conference on Testing Software and Systems (IFIP-ICTSS 2019) / Paris, France (Volume 11812, Series Lecture Notes in Computer Science (LNCS), 2019, Pages pages 159 - 175)
Erard, Clotilde | Giorgetti, Alain
pdf | doi | bibtex@inproceedings{f5ebb0fb-be29-4298-b014-94938a5ac404, title = {Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs}, author = {Erard, Clotilde and Giorgetti, Alain}, year = {2019}, address = {Paris, France}, booktitle = {31 International Conference on Testing Software and Systems (IFIP-ICTSS 2019)}, editor = {f5ebb0fb-be29-4298-b014-94938a5ac404-editor.pdf}, month = {oct}, pages = {159 - 175}, url = {https://publiweb.femto-st.fr/tntnet/entries/16810/documents/author/data}, volume = {11812}, doi = {10.1007/978-3-030-31280-0_10}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Combinatoire Formelle avec Why3 et Coq
30ème Journées Francophones des Langages Applicatifs (JFLA 2019) / Les Rousses, France (2019, Pages pages 139 - 152)
Giorgetti, Alain | Dubois, Catherine | Lazarini, Rémi
pdf | bibtex@inproceedings{970c0f52-c8e5-46fb-a50f-b117ee9075bd, title = {Combinatoire Formelle avec Why3 et Coq}, author = {Giorgetti, Alain and Dubois, Catherine and Lazarini, R\'emi}, year = {2019}, address = {Les Rousses, France}, booktitle = {30\`eme Journ\'ees Francophones des Langages Applicatifs (JFLA 2019)}, month = {jan}, pages = {139 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/15918/documents/author/data} }

2018 (5)

article - How testing helps to diagnose proof failures
Formal Aspects of Computing (Volume 30, Issue (6), nov 2018, Pages :629 - 657)
Petiot, Guillaume | Kosmatov, Nikolaï | Botella, Bernard | Giorgetti, Alain | Julliand, Jacques
pdf | doi
article - Tests and proofs for custom data generators
Formal Aspects of Computing (Volume 30, Issue (6), nov 2018, Pages :659 - 684)
Dubois, Catherine | Giorgetti, Alain
pdf | doi
inproceedings - Preuve de programmes d’énumération avec Why3
17èmes Journées Approches Formelles dans l'Assistance au Développement de Logiciels (2018) / Grenoble, France (2018, Pages pages 14 - 19)
Giorgetti, Alain | Lazarini, Rémi
pdf | bibtex@inproceedings{d5496f7a-c6cc-40f3-a56b-4af1d6324e35, title = {Preuve de programmes d'\'enum\'eration avec Why3}, author = {Giorgetti, Alain and Lazarini, R\'emi}, year = {2018}, address = {Grenoble, France}, booktitle = {17\`emes Journ\'ees Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (2018)}, month = {jun}, pages = {14 - 19}, url = {https://publiweb.femto-st.fr/tntnet/entries/15092/documents/author/data} }
article - 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
article - Enumeration of hypermaps of a given genus
Ars Mathematica Contemporanea (Volume 15, Issue (1), jan 2018, Pages :225 - 266)
Giorgetti, Alain | Walsh, Timothy R.S.
pdf | doi

2017 (1)

phdthesis - Specification and verification of parameterized systems
(dec 2017)
Giorgetti, Alain
pdf | bibtex@phdthesis{24db4cf5-2840-4274-b664-6b7abc94743c, title = {Specification and verification of parameterized systems}, author = {Giorgetti, Alain}, year = {2017}, month = {dec}, url = {https://publiweb.femto-st.fr/tntnet/entries/15091/documents/author/data} }

2016 (5)

inproceedings - Your Proof Fails? Testing Helps to Find the Reason
10th International Conference on Tests and Proofs, Held as Part of STAF 2016 (TAP 2016) / Vienna, Austria (Volume 9762, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 130 - 150)
Petiot, Guillaume | 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, Held as Part of STAF 2016 (TAP 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Tests and Proofs for Enumerative Combinatorics
10th International Conference on Tests and Proofs, Held as Part of STAF 2016 (TAP 2016) / Vienna, Austria (Publisher : Springer, Volume 9762, Series Lecture Notes in Computer Science (LNCS), 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, Held as Part of STAF 2016 (TAP 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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 2016) / Besançon, France (2016, Pages pages 72 - 78)
Genestier, Richard | Giorgetti, Alain
pdf | bibtex@inproceedings{173b2f3a-5431-4ac0-8b36-46d55e169e57, title = {Sp\'ecification et v\'erification formelle d'op\'erations sur les permutations}, author = {Genestier, Richard and Giorgetti, Alain}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {15\`emes Journ\'ees sur les Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2016)}, editor = {Aur\'elie Hurault et Nicolas Stouls}, month = {jun}, pages = {72 - 78}, url = {https://publiweb.femto-st.fr/tntnet/entries/13733/documents/author/data} }
inproceedings - 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\`emes journ\'ees nationales du Groupement De Recherche CNRS du G\'enie de la Programmation et du Logiciel}, month = {jun}, pages = {21 - 22}, url = {https://publiweb.femto-st.fr/tntnet/entries/13233/documents/author/data} }
article - 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

2015 (6)

article - 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))
Planat, Michel | Giorgetti, Alain | Holweck, Frédéric | Saniga, Metod
pdf | doi
article - 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))
Zeilberger, Noam | Giorgetti, Alain
pdf | doi
inproceedings - Sequential generation of structured arrays and its deductive verification
9th International Conference on Tests & Proofs (TAP 2015) / L'Aquila, Italy (Publisher : Springer, Volume 9154, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 109 - 128)
Genestier, Richard | Giorgetti, Alain | Petiot, Guillaume
pdf | doi | bibtex@inproceedings{ggp15:ip, title = {Sequential generation of structured arrays and its deductive verification}, author = {Genestier, Richard and Giorgetti, Alain and Petiot, Guiillaume}, year = {2015}, address = {L'Aquila, Italy}, booktitle = {9th International Conference on Tests \& Proofs (TAP 2015)}, 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}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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
inproceedings - Lambda terms and maps, formally
8th Workshop on Computational Logic and Applications (CLA 2015) / Lyon, France (2015)
Giorgetti, Alain | Dubois, Catherine | Zeilberger, Noam
pdf | bibtex@inproceedings{giorgetti15:it, title = {Lambda terms and maps, formally}, author = {Giorgetti, Alain and Dubois, Catherine and Zeilberger, Noam}, year = {2015}, address = {Lyon, France}, booktitle = {8th Workshop on Computational Logic and Applications (CLA 2015)}, month = {mar}, url = {http://perso.ens-lyon.fr/pierre.lescanne/CLA/CLA_2015.html} }
inproceedings - Gagnez sur tous les tableaux
26ème Journées Francophones des Langages Applicatifs (JFLA 2015) / Val d'Ajol, France (2015, Pages pages 14)
Genestier, Richard | Giorgetti, Alain | Petiot, Guillaume
pdf | bibtex@inproceedings{ggp15:np, title = {Gagnez sur tous les tableaux}, author = {Genestier, Richard and Giorgetti, Alain and Petiot, Guiillaume}, year = {2015}, address = {Val d'Ajol, France}, booktitle = {26\`eme Journ\'ees Francophones des Langages Applicatifs (JFLA 2015)}, month = {jan}, pages = {14}, url = {https://publiweb.femto-st.fr/tntnet/entries/12058/documents/author/data} }

2014 (6)

article - 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
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 204--211)
Petiot, Guillaume | 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, Guiillaume 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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, Guillaume | Kosmatov, Nikolaï | Giorgetti, Alain | Julliand, Jacques
pdf | bibtex@inproceedings{pkgj14:onp, title = {Comment la g\'en\'eration de tests facilite la sp\'ecification et la v\'erification d\'eductive des programmes dans Frama-C}, author = {Petiot, Guiillaume and Kosmatov, Nikola\"i and Giorgetti, Alain and Julliand, Jacques}, year = {2014}, address = {Paris, France}, booktitle = {AFADL'14, 13\`emes journ\'ees Francophones sur les Approches Formelles dans l'Assistance Au D\'eveloppement de Logiciels}, month = {jun}, pages = {133--133}, url = {https://publiweb.femto-st.fr/tntnet/entries/8704/documents/author/data} }
inproceedings - Hypermaps, groups and connected permutations
(2014)
Giorgetti, Alain
bibtex@inproceedings{giorgetti14:it, title = {Hypermaps, groups and connected permutations}, author = {Giorgetti, Alain}, year = {2014}, month = {jun} }
misc - Software Engineering and Enumerative Combinatorics
(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}, address = {Paris, France}, booktitle = {Mathematics, Algorithms and Proofs Workshop (MAP 2014)}, month = {may}, url = {https://publiweb.femto-st.fr/tntnet/entries/8702/documents/author/data} }
article - 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 | doi

2013 (5)

techreport - A Symbolic Transformation Language and its Application to a Multiscale Method
INRIA (dec 2013, Research Report)
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}, url = {https://hal.inria.fr/hal-00917323}, institution = {INRIA} }
misc - 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} }
misc - 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} }
inproceedings - 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} }
inproceedings - 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, Series LIPIcs - Leibniz International Proceedings in Informatics, 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}, series = {LIPIcs - Leibniz International Proceedings in Informatics} }

2012 (6)

article - 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
pdf | doi
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 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\'an, 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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
pdf | 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 = {***--***}, url = {https://publiweb.femto-st.fr/tntnet/entries/337/documents/author/data} }
inproceedings - 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\'ed\'eric 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} }
inproceedings - 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} }
inproceedings - 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} }

2011 (8)

inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 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\'ed\'eric 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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\`eme Congr\`es Fran\c{c}ais de M\'ecanique}, 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} }
inproceedings - Simulations over Two-Dimensional On-Line Tessellation Automata
DLT 2011, Developments in Language Theory / Milan, Italy (Volume 6795, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 141--152)
Cece, Gérard | Giorgetti, Alain
pdf | doi | bibtex@inproceedings{cg11:ip, title = {Simulations over Two-Dimensional On-Line Tessellation Automata}, author = {C\'ec\'e, G\'erard 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}, url = {http://dx.doi.org/10.1007/978-3-642-22321-1_13}, volume = {6795}, doi = {10.1007/978-3-642-22321-1_13}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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} }
inproceedings - 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
pdf | 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}, url = {https://hal.inria.fr/hal-00756343}, doi = {10.4204/EPTCS.82.3} }
inproceedings - 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
pdf | 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}, url = {http://dx.doi.org/10.1109/ESIME.2011.5765784}, doi = {10.1109/ESIME.2011.5765784} }
article - Enumeration of genus four maps by number of edges
Ars Mathematica Contemporanea (Volume 4, 2011, Pages :351--361)
Mednykh, Alexander | Giorgetti, Alain

2010 (6)

techreport - Realistic Domains for Unit Tests Generation
(sep 2010, Research Report)
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\'ed\'eric and Giorgetti, Alain}, year = {2010}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/119/documents/author/data} }
inproceedings - Combining Static Analysis and Test Generation for C Program Debugging
TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, Series Lecture Notes in Computer Science (LNCS), 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}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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
pdf | 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}, url = {https://publiweb.femto-st.fr/tntnet/entries/510/documents/author/data} }
inproceedings - Using SysML for Smart Surface Modeling
1st IEEE Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2010) / Besançon, France (2010, Pages pages 100 - 107)
Giorgetti, Alain | Hammad, Ahmed | Tatibouet, Bruno
pdf | doi | bibtex@inproceedings{ght10:ip, title = {Using SysML for Smart Surface Modeling}, author = {Giorgetti, Alain and Hammad, Ahmed and Tatibouet, Bruno}, year = {2010}, address = {Besan\c{c}on, France}, booktitle = {1st IEEE Workshop on Design, Control and Software Implementation for Distributed MEMS (dMEMS 2010)}, month = {jun}, pages = {100 - 107}, url = {https://publiweb.femto-st.fr/tntnet/entries/895/documents/author/data}, doi = {10.1109/dMEMS.2010.22} }
inproceedings - 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} }
inproceedings - 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\`emes journ\'ees nationales du Groupement de recherche CNRS du G\'enie de la programmation et du logiciel}, month = {mar}, pages = {217--218}, url = {https://publiweb.femto-st.fr/tntnet/entries/908/documents/author/data} }

2009 (3)

techreport - Specifying and Proving a Sorting Algorithm
(oct 2009, Research Report)
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}, url = {https://publiweb.femto-st.fr/tntnet/entries/110/documents/author/data} }
inproceedings - 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
pdf | 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}, url = {https://publiweb.femto-st.fr/tntnet/entries/238/documents/author/data} }
techreport - Modular Specification of Java Programs
( 2009, Research Report)
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}, url = {http://hal.inria.fr/inria-00434452/en/} }

2008 (2)

article - Verification of class liveness properties with Java modeling language
IET Software (Volume 2, Issue (6), dec 2008, Pages :500 - 514)
Giorgetti, Alain | Groslambert, Julien | Julliand, Jacques | Kouchnarenko, Olga
pdf | doi
inproceedings - 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
pdf | 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}, url = {https://publiweb.femto-st.fr/tntnet/entries/488/documents/author/data} }

2007 (2)

inproceedings - Instantiation of Parameterized Data Structures for Model-Based Testing
B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 96--110)
Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
pdf | 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\'ed\'eric 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}, url = {https://publiweb.femto-st.fr/tntnet/entries/167/documents/author/data}, volume = {4355}, doi = {10.1007/11955757_10}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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\'ees 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 (4)

techreport - JAG : Génération d'annotations JML pour vérifier des propriétés temporelles
(sep 2006, Technical Report)
Giorgetti, Alain | Groslambert, Julien
bibtex@techreport{gg06:ir, title = {JAG : G\'en\'eration d'annotations JML pour v\'erifier des propri\'et\'es temporelles}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2006}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/909/documents/author/data} }
inproceedings - JAG: JML Annotation Generation for Verifying Temporal Properties
FASE'2006, Fundamental Approaches to Software Engineering / Vienna, Austria (Volume 3922, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 373--376)
Giorgetti, Alain | Groslambert, Julien
pdf | 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}, url = {https://publiweb.femto-st.fr/tntnet/entries/473/documents/author/data}, volume = {3922}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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
pdf | bibtex@inproceedings{gg06:onp, title = {JAG : G\'en\'eration d'annotations JML pour v\'erifier des propri\'et\'es temporelles}, author = {Giorgetti, Alain and Groslambert, Julien}, year = {2006}, address = {Paris, France}, booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/521/documents/author/data} }
misc - 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}, url = {http://lifc.univ-fcomte.fr/ agiorgetti/JAG} }

2003 (1)

inproceedings - Proving and Debugging Set-Based Specifications
Brazilian Workshop on Formal Methods (WMF 2003) / Campina Grande, Brazil (Volume 95, 2003, Pages pages 189 - 208)
Couchot, Jean-François | Dadeau, Frédéric | Déharbe, D. | Giorgetti, Alain | Ranise, S.
pdf | doi | bibtex@inproceedings{cddg+04:ip, title = {Proving and Debugging Set-Based Specifications}, author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2003}, address = {Campina Grande, Brazil}, booktitle = {Brazilian Workshop on Formal Methods (WMF 2003)}, editor = {cddg+04:ip-editor.pdf}, month = {oct}, pages = {189 - 208}, url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012}, volume = {95}, doi = {10.1016/j.entcs.2004.04.012}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)} }