| 2018 | TAP | Under-Approximation Generation Driven by Relevance Predicates and Variants. | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2017 | TASE | Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2016 | WETICE | Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2016 | TAP | Your Proof Fails? Testing Helps to Find the Reason. | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand |
| 2015 | ICST | Test generation from timed pushdown automata with inputs and outputs. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2015 | SAC | Tri-modal under-approximation of event systems for test generation. | Hadrien Bride, Jacques Julliand, Pierre-Alain Masson |
| 2015 | WETICE | Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. | Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana |
| 2014 | SCAM | Instrumentation of Annotated C Programs for Test Generation. | Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles |
| 2014 | TAP | How Test Generation Helps Software Specification and Deductive Verification in Frama-C. | Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2013 | IFM | A Compositional Automata-Based Semantics for Property Patterns. | Kalou Cabrera Castillos, Frdric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha |
| 2012 | SAC | Program slicing enhances a verification technique combining static and dynamic analysis. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2011 | TAP | Association of Under-Approximation Techniques for Generating Tests from Models. | Pierre-Christophe Bu, Jacques Julliand, Pierre-Alain Masson |
| 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 | ICST | Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. | Fabrice Bouquet, Pierre-Christophe Bu, Jacques Julliand, Pierre-Alain Masson |
| 2010 | TAP | Combining Static Analysis and Test Generation for C Program Debugging. | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
| 2010 | TAP | Syntactic Abstraction of B Models to Generate Tests. | Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bu, Pierre-Alain Masson |
| 2008 | ICSE | Generating Security Tests in Addition to Functional Tests. | Jacques Julliand, Pierre-Alain Masson, Rgis Tissot |
| 2007 | ICFEM | VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2007 | ISoLA | Preservation of timed properties during an incremental development by components. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2005 | MEMOCODE | Refinemant verification of fair transition systems can contribute to PLTL model checking. | Franoise Bellegarde, Samir Chouali, Jacques Julliand |
| 2001 | FM | Reformulation: A Way to Combine Dynamic Properties and B Refinement. | Franoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
| 2000 | FASE | Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. | Franoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
| 2000 | IFM | Modular Verification for a Class of PLTL Properties. | Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |
| 1999 | IFM | Modular Verification of Dynamic Properties for Reactive Systems. | Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir |
| 1990 | ICCI | Asynchronous Functional Parallel Programs. | Jacques Julliand, Guy-Ren Perrin |