Publications

View all 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)} }