Alain Giorgetti

@inproceedings{23b24b50-da1a-43a6-8bef-cf4844ff116c, title = {Generation of state-independent contextuality proofs from hypergraphs}, author = {Muller, Axel and Giorgetti, Alain and Saniga, Metod}, year = {2025}, address = {Gif-sur-Yvette, France}, booktitle = {Journ\'ees Informatique Quantique (JIQ 2025)}, editor = {23b24b50-da1a-43a6-8bef-cf4844ff116c-editor.pdf}, month = {jan} }

@inproceedings{77cfa40b-432a-4c9b-a916-e8f19a84e066, title = {Hypergraphs of linear systems over the two-element field and quantum contextuality proofs}, author = {Muller, Axel and Giorgetti, Alain and Saniga, Metod and Kelleher, Colm}, year = {2024}, address = {Dijon, France}, booktitle = {26\`eme Journ\'ees Graphes et Algorithmes (JGA 2024)}, editor = {77cfa40b-432a-4c9b-a916-e8f19a84e066-editor.pdf}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/21152/documents/author/data} }

@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{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{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{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)} }

@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 = {VARSOVIE, Poland}, 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{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} }

@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} }

@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} }

@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} }

@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} }

@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{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} }

@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} }

@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{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{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} }

@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{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)} }

@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{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} }

@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{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{giorgetti14:it, title = {Hypermaps, groups and connected permutations}, author = {Giorgetti, Alain}, year = {2014}, month = {jun} }

@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{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} }

@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{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{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{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{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} }

@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{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{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{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{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{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{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} }

@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{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{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{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{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} }

@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} }

@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} }

@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{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} }

@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{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} }

@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)} }