Delphine Longuet

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 8

Top Venues

OCL@MoDELS

Softw. Test. Verification Reliab.

ICTSS

CoRR

University of Évry Val d'Essonne, France (PHD)

Education History

University of Évry Val d'Essonne, France

PHD

Publications

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. SAC (2023)
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. CoRR (2022)
Nikolai Kosmatov, Delphine Longuet, Romain Soulat
Formal Verification of an Industrial Distributed Algorithm: An Experience Report. ISoLA (1) (2020)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS (2018)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
Compositional schedulability analysis of real-time actor-based systems. Acta Informatica 54 (4) (2017)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems: unfolding-based test selection. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. 26 (4) (2016)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
Fault Manifestability Verification for Discrete Event Systems. ECAI (2016)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems with labelled event structures. Softw. Test. Verification Reliab. 24 (7) (2014)
Delphine Longuet, Frédéric Tuong, Burkhart Wolff
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. OCL@MoDELS (2014)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. ICTAC (2014)
Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS (2013)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Unfolding-Based Test Selection for Concurrent Conformance. ICTSS (2013)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Conformance Relations for Labeled Event Structures. TAP@TOOLS (2012)
Delphine Longuet
Global and local testing from Message Sequence Charts. SAC (2012)
Delphine Longuet, Marc Aiguier, Pascale Le Gall
Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. 45 (4) (2010)
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) (2010)
Marc Aiguier, Delphine Longuet
Some General Results About Proof Normalization. Logica Universalis 4 (1) (2010)
Delphine Longuet, Marc Aiguier
Integration Testing from Structured First-Order Specifications via Deduction Modulo. ICTAC (2009)
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS (2008)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN (2007)
Marc Aiguier, Delphine Longuet
Test Selection Criteria for Modal Specifications of Reactive Systems. TASE (2007)
Delphine Longuet, Marc Aiguier
Specification-Based Testing for CoCasl's Modal Specifications. CALCO (2007)
Marc Aiguier, Diane Bahrami, Delphine Longuet
An Abstract Way to Define Rewriting Logic. Electron. Notes Theor. Comput. Sci. 159 (2006)
Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
A Temporal Logic for Input Output Symbolic Transition Systems. APSEC (2005)

Delphine Longuet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Delphine Longuet