Delphine Longuet

Affiliations:
  • University of Paris-Sud, Laboratory for Computer Science (LRI), France


According to our database1, Delphine Longuet authored at least 25 papers between 2005 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2020
Formal Verification of an Industrial Distributed Algorithm: An Experience Report.
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?
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017
Compositional schedulability analysis of real-time actor-based systems.
Acta Informatica, 2017

2016
Exhaustive test sets for algebraic specifications.
Softw. Test. Verification Reliab., 2016

Model-based testing for concurrent systems: unfolding-based test selection.
Int. J. Softw. Tools Technol. Transf., 2016

Fault Manifestability Verification for Discrete Event Systems.
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.
Softw. Test. Verification Reliab., 2014

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Unfolding-Based Test Selection for Concurrent Conformance.
Proceedings of the Testing Software and Systems, 2013

On the Semantics of Object-Oriented Data Structures and Path Expressions.
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.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Global and local testing from Message Sequence Charts.
Proceedings of the ACM Symposium on Applied Computing, 2012

2010
Some General Results About Proof Normalization.
Logica Universalis, 2010

Proof-Guided Test Selection from First-Order Specifications with Equality.
J. Autom. Reason., 2010

A Specification-Based Test Case Generation Method for UML/OCL.
Proceedings of the Models in Software Engineering, 2010

2009
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
Proceedings of the Theoretical Aspects of Computing, 2009

2008
Schedulability and Compatibility of Real Time Asynchronous Objects.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007
Test à partir de spécifications axiomatiques. (Testing from axiomatic specifications).
PhD thesis, 2007

Test Selection Criteria for Modal Specifications of Reactive Systems.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Test Selection Criteria for Quantifier-Free First-Order Specifications.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Specification-Based Testing for CoCasl's Modal Specifications.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2005
An Abstract Way to Define Rewriting Logic.
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

A Temporal Logic for Input Output Symbolic Transition Systems.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005


  Loading...