| 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 |
| 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 |
| 2011 | TAP | Association of Under-Approximation Techniques for Generating Tests from Models. | Pierre-Christophe Bu, Jacques Julliand, Pierre-Alain Masson |
| 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 | 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 |
| 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 |