| 2026 | FM | SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet |
| 2023 | SAC | An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2020 | ISoLA | Formal Verification of an Industrial Distributed Algorithm: An Experience Report. | Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2018 | VECoS | How to Be Sure a Faulty System Does Not Always Appear Healthy? | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2016 | ECAI | Fault Manifestability Verification for Discrete Event Systems. | Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski |
| 2014 | ICTAC | Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2014 | MODELS | Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. | Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2013 | MODELS | On the Semantics of Object-Oriented Data Structures and Path Expressions. | Achim D. Brucker, Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2012 | SAC | Global and local testing from Message Sequence Charts. | Delphine Longuet |
| 2012 | TAP | Conformance Relations for Labeled Event Structures. | Hernn Ponce de Len, Stefan Haar, Delphine Longuet |
| 2010 | MODELS | A Specification-Based Test Case Generation Method for UML/OCL. | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
| 2009 | ICTAC | Integration Testing from Structured First-Order Specifications via Deduction Modulo. | Delphine Longuet, Marc Aiguier |
| 2008 | RTSS | Schedulability and Compatibility of Real Time Asynchronous Objects. | Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia |
| 2007 | CALCO | Specification-Based Testing for CoCasl's Modal Specifications. | Delphine Longuet, Marc Aiguier |
| 2007 | TASE | Test Selection Criteria for Modal Specifications of Reactive Systems. | Marc Aiguier, Delphine Longuet |
| 2005 | APSEC | A Temporal Logic for Input Output Symbolic Transition Systems. | Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil |