Alain Giorgetti
72
Documents
Publications
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 2
- 5
- 1
- 4
- 7
- 5
- 4
- 8
- 8
- 5
- 3
- 2
- 2
- 3
- 1
- 3
|
|
Combinatoire formelle avec Why3 et CoqJournées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France
Communication dans un congrès
hal-02302086v1
|
|
|
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.159-175, ⟨10.1007/978-3-030-31280-0_10⟩
Communication dans un congrès
hal-02526343v1
|
|
|
Preuve de programmes d’énumération avec Why3Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
Communication dans un congrès
hal-02302094v1
|
|
|
Spécification et vérification formelle d’opérations sur les permutationsApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
Communication dans un congrès
hal-02131148v1
|
|
|
Tests and proofs for enumerative combinatoricsTAP 2016: International Conference on Tests and Proofs, Jul 2016, Vienna, Austria. pp.57-75, ⟨10.1007/978-3-319-41135-4_4⟩
Communication dans un congrès
hal-01670709v1
|
|
|
Gagnez sur tous les tableauxVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Val d'Ajol, France
Communication dans un congrès
hal-03221932v1
|
|
|
Gagnez sur tous les tableauxVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01099135v2
|
Lambda terms and maps, formallyWorkshop on Computational Logic and Applications, Mar 2015, Lyon, France
Communication dans un congrès
hal-03221915v1
|
|
|
|
Sequential generation of structured arrays and its deductive verificationTAP 2015, 9th Int. Conf. of Tests and Proofs, 2015, L'Aquila, Italy. pp.109--128
Communication dans un congrès
hal-01228995v1
|
|
|
How Test Generation Helps Software Specification and Deductive Verification in Frama-CTests and Proofs, Jul 2014, York, United Kingdom. pp.204 - 211, ⟨10.1007/978-3-319-09099-3_16⟩
Communication dans un congrès
hal-01108553v1
|
|
|
Automatic Decidability for Theories with Counting OperatorsAutomated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States
Communication dans un congrès
hal-00920496v1
|
|
|
A Constraint Solver for PHP ArraysICSTW - Sixth International IEEE Conference on Software Testing, Verification and Validation Workshops - 2013, Mar 2013, Luxembourg, Luxembourg. pp.218-223, ⟨10.1109/ICSTW.2013.80⟩
Communication dans un congrès
hal-00909202v1
|
|
|
A Constraint Solver for PHP ArraysICST Workshops, Jan 2013, Luxembourg. pp.218 - 223
Communication dans un congrès
hal-00935308v1
|
Automatic Decidability: A Schematic Calculus for Theories with Counting OperatorsRTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩
Communication dans un congrès
hal-00878657v1
|
|
|
|
Specification and Validation of Algorithms Generating Planar Lehman WordsGASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France
Communication dans un congrès
hal-00753008v1
|
Program Slicing Enhances a Verification Technique Combining Static and Dynamic AnalysisSAC 2012, 27-th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.1284-1291, ⟨10.1145/2245276.2231980⟩
Communication dans un congrès
hal-00746814v1
|
|
Grammar-Based Testing using Realistic Domains in PHPICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.509-518, ⟨10.1109/ICST.2012.136⟩
Communication dans un congrès
hal-00751321v1
|
|
Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic StructuresdMEMS 2012 - d Software Implementation for Distributed MEMS, Apr 2012, Besançon, France. pp.82-89, ⟨10.1109/dMEMS.2012.14⟩
Communication dans un congrès
hal-00753003v1
|
|
A Rule-Based Framework for Building Superposition-Based Decision ProceduresWRLA 2012 - 9th International Workshop on Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. pp.221-239, ⟨10.1007/978-3-642-34005-5_12⟩
Communication dans un congrès
hal-00749576v1
|
|
|
|
Grammar-Based Testing using Realistic Domains in PHPA-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation, Jan 2012, Canada. pp.509--518
Communication dans un congrès
hal-00931662v1
|
Lazy Rewriting Modulo Associativity and CommutativityWRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.17--21
Communication dans un congrès
hal-00642515v1
|
|
|
|
Formal Methods for Multiscale Models DerivationCFM 2011, 20ème Congrès Français de Mécanique, 2011, Besançon, France. pp.4092--4097
Communication dans un congrès
hal-01223779v1
|
|
|
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩
Communication dans un congrès
inria-00622904v1
|
Lazy AC-Pattern Matching for Rewriting10th International Workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.37-51, ⟨10.4204/EPTCS.82.3⟩
Communication dans un congrès
hal-00756343v1
|
|
|
|
Praspel: A Specification Language for Contract-Based Testing in PHP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Communication dans un congrès
hal-00640279v1
|
Simulations over Two-Dimensional On-Line Tessellation Automata15th International Conference on Developments in Language Theory - DLT 2011, Jul 2011, Milan, Italy. pp.141--152, ⟨10.1007/978-3-642-22321-1_13⟩
Communication dans un congrès
hal-00642531v1
|
|
|
|
Combining Static Analysis and Test Generation for {C} Program DebuggingTAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100
Communication dans un congrès
hal-00563308v1
|
|
|
Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra SystemSymbolic Computation in Software Science, Jul 2010, Linz, Austria. pp.5--18
Communication dans un congrès
hal-00563330v1
|
|
|
Using SysML for Smart Surface ModelingdMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Jun 2010, Besançon, France. pp.100--107
Communication dans un congrès
inria-00525791v1
|
|
|
Specifying Generic Java Programs: two case studies11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106
Communication dans un congrès
inria-00525784v1
|
|
|
Graph Based Reduction of Program Verification ConditionsAutomated Formal Methods (AFM'09), colocated with CAV'09, Hassen Saïdi and N. Shankar, Jun 2009, Grenoble, France. pp.40--47
Communication dans un congrès
inria-00402204v1
|
|
|
Un programme annoté en vaut deuxJournée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France
Communication dans un congrès
inria-00181135v1
|
|
|
Instantiation of Parameterized Data Structures for Model-Based Testing7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. pp.96--110, ⟨10.1007/11955757⟩
Communication dans un congrès
hal-00563282v1
|
JAG: JML Annotation Generation for Verifying Temporal Properties9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006, Mar 2006, Vienna/Austria, pp.373--376, ⟨10.1007/11693017⟩
Communication dans un congrès
inria-00114316v1
|
|
JAG : Génération d'annotations JML pour vérifier des propriétés temporellesApproches Formelles dans l'Assistance au Développement de Logiciels - AFADL'06, Mar 2006, Paris, France
Communication dans un congrès
inria-00114318v1
|
|
|
Automated detection of contextuality proofs with intermediate numbers of observablesPoster de conférence hal-03814543v1 |
|
|
Non-locality and Entanglement Detection with Mermin polynomials for Grover’s algorithm and Quantum Fourier TransformColloquium of the CNRS GDR № 3322 on Quantum Engineering, Foundations & Applications Ingénierie Quantique, des aspects Fondamentaux aux Applications, Dec 2020, Online (Electronic Conference), France
Poster de conférence
hal-03221845v1
|
|
|
Actes des journées du GDR GPL 20212021
Ouvrages
hal-03658364v1
|
|
|
Specifying and Proving a Sorting Algorithm2009
Autre publication scientifique
hal-00429040v1
|
MAP, un package Maple pour compter les cartes pointées1998
Autre publication scientifique
inria-00098531v1
|
Rewriting and Symbolic Transformations for Multiscale Methods2011
Pré-publication, Document de travail
hal-00643047v1
|
|
|
Combinatoire bijective et énumérative des cartes pointées sur une surfaceMathématique discrète [cs.DM]. Université de Marne la Vallée, 1998. Français. ⟨NNT : ⟩
Thèse
tel-00724977v1
|
|
|
Spécification et vérification de systèmes paramétrésTechnologies Émergeantes [cs.ET]. Université Bourgogne Franch-Comté, 2017
HDR
tel-02301872v1
|