| 2016 | TAP | Tests and Proofs for Enumerative Combinatorics. | Catherine Dubois, Alain Giorgetti, Richard Genestier |
| 2016 | TAP | Your Proof Fails? Testing Helps to Find the Reason. | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand |
| 2015 | TAP | Sequential Generation of Structured Arrays and Its Deductive Verification. | Richard Genestier, Alain Giorgetti, Guillaume Petiot |
| 2014 | TAP | How Test Generation Helps Software Specification and Deductive Verification in Frama-C. | Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2013 | ICST | A Constraint Solver for PHP Arrays. | Ivan Enderlin, Alain Giorgetti, Fabrice Bouquet |
| 2012 | ICST | Grammar-Based Testing Using Realistic Domains in PHP. | Ivan Enderlin, Frdric Dadeau, Alain Giorgetti, Fabrice Bouquet |
| 2012 | SAC | Program slicing enhances a verification technique combining static and dynamic analysis. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2011 | DLT | Simulations over Two-Dimensional On-Line Tessellation Automata. | Grard Cc, Alain Giorgetti |
| 2011 | TAP | The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2010 | TAP | Combining Static Analysis and Test Generation for C Program Debugging. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2006 | FASE | JAG: JML Annotation Generation for Verifying Temporal Properties | Alain Giorgetti, Julien Groslambert |