A Temporal Logic for Input Output Symbolic Transition Systems. - Marc Aiguier; Pascale Le Gall; Delphine Longuet; Assia Touil (APSEC, 2005)

An Abstract Way to Define Rewriting Logic. - Marc Aiguier; Diane Bahrami; Delphine Longuet (FSEN, 2005)

Specification-Based Testing for CoCasl's Modal Specifications. - Delphine Longuet; Marc Aiguier (CALCO, 2007)

Test Selection Criteria for Quantifier-Free First-Order Specifications. - Marc Aiguier; Agnès Arnould; Pascale Le Gall; Delphine Longuet (FSEN, 2007)

Test Selection Criteria for Modal Specifications of Reactive Systems. - Marc Aiguier; Delphine Longuet (TASE, 2007)

Test à partir de spécifications axiomatiques. (Testing from axiomatic specifications). - Delphine Longuet (2007)

Schedulability and Compatibility of Real Time Asynchronous Objects. - Mohammad Mahdi Jaghoori; Delphine Longuet; Frank S. de Boer; Tom Chothia (RTSS, 2008)

Integration Testing from Structured First-Order Specifications via Deduction Modulo. - Delphine Longuet; Marc Aiguier (ICTAC, 2009)

A Specification-Based Test Case Generation Method for UML/OCL. - Achim D. Brucker; Matthias P. Krieger; Delphine Longuet; Burkhart Wolff (MoDELS (Workshops), 2010)

Proof-Guided Test Selection from First-Order Specifications with Equality. - Delphine Longuet; Marc Aiguier; Pascale Le Gall (J. Autom. Reason., 2010)

Some General Results About Proof Normalization. - Marc Aiguier; Delphine Longuet (Logica Universalis, 2010)

Global and local testing from Message Sequence Charts. - Delphine Longuet (SAC, 2012)

Conformance Relations for Labeled Event Structures. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (TAP@TOOLS, 2012)

On the Semantics of Object-Oriented Data Structures and Path Expressions. - Achim D. Brucker; Delphine Longuet; Frédéric Tuong; Burkhart Wolff (OCL@MoDELS, 2013)

Unfolding-Based Test Selection for Concurrent Conformance. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (ICTSS, 2013)

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (ICTAC, 2014)

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. - Delphine Longuet; Frédéric Tuong; Burkhart Wolff (OCL@MoDELS, 2014)

Model-based testing for concurrent systems with labelled event structures. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (Softw. Test. Verification Reliab., 2014)

Fault Manifestability Verification for Discrete Event Systems. - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (ECAI, 2016)

Model-based testing for concurrent systems: unfolding-based test selection. - Hernán Ponce de León; Stefan Haar; Delphine Longuet (Int. J. Softw. Tools Technol. Transf., 2016)

Exhaustive test sets for algebraic specifications. - Marc Aiguier; Agnès Arnould; Pascale Le Gall; Delphine Longuet (Softw. Test. Verification Reliab., 2016)

Compositional schedulability analysis of real-time actor-based systems. - Mohammad Mahdi Jaghoori; Frank S. de Boer; Delphine Longuet; Tom Chothia; Marjan Sirjani (Acta Informatica, 2017)

How to Be Sure a Faulty System Does Not Always Appear Healthy? - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (VECoS, 2018)

Formal Verification of an Industrial Distributed Algorithm: An Experience Report. - Nikolai Kosmatov; Delphine Longuet; Romain Soulat (ISoLA (1), 2020)

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. - Nicolas Berthier; Steven de Oliveira; Nikolai Kosmatov; Delphine Longuet; Romain Soulat (SAC, 2023)