Delphine Longuet

According to our database, Delphine Longuet authored at least 26 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case.

Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros, Nicola Bastianello

CoRR, September, 2025

2023

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2020

Formal Verification of an Industrial Distributed Algorithm: An Experience Report.

Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2018

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

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

2016

Exhaustive test sets for algebraic specifications.

Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet

Softw. Test. Verification Reliab., 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

Fault Manifestability Verification for Discrete Event Systems.

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

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

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.

Delphine Longuet, Frédéric Tuong, Burkhart Wolff

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.

Hernán Ponce de León, Stefan Haar, Delphine Longuet

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Unfolding-Based Test Selection for Concurrent Conformance.

Hernán Ponce de León, Stefan Haar, Delphine Longuet

Proceedings of the Testing Software and Systems, 2013

On the Semantics of Object-Oriented Data Structures and Path Expressions.

Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2012

Conformance Relations for Labeled Event Structures.

Hernán Ponce de León, Stefan Haar, Delphine Longuet

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Global and local testing from Message Sequence Charts.

Delphine Longuet

Proceedings of the ACM Symposium on Applied Computing, 2012

2010

Some General Results About Proof Normalization.

Marc Aiguier, Delphine Longuet

Logica Universalis, 2010

Proof-Guided Test Selection from First-Order Specifications with Equality.

Delphine Longuet, Marc Aiguier, Pascale Le Gall

J. Autom. Reason., 2010

A Specification-Based Test Case Generation Method for UML/OCL.

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff

Proceedings of the Models in Software Engineering, 2010

2009

Integration Testing from Structured First-Order Specifications via Deduction Modulo.

Delphine Longuet, Marc Aiguier

Proceedings of the Theoretical Aspects of Computing, 2009

2008

Schedulability and Compatibility of Real Time Asynchronous Objects.

Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007

Test à partir de spécifications axiomatiques. (Testing from axiomatic specifications).

Delphine Longuet

PhD thesis, 2007

Test Selection Criteria for Modal Specifications of Reactive Systems.

Marc Aiguier, Delphine Longuet

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Test Selection Criteria for Quantifier-Free First-Order Specifications.

Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Specification-Based Testing for CoCasl's Modal Specifications.

Delphine Longuet, Marc Aiguier

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2005

An Abstract Way to Define Rewriting Logic.

Marc Aiguier, Diane Bahrami, Delphine Longuet

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

A Temporal Logic for Input Output Symbolic Transition Systems.

Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005