Delphine Longuet

According to our database1, Delphine Longuet authored at least 23 papers between 2005 and 2018.

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



In proceedings 
PhD thesis 





How to Be Sure a Faulty System Does Not Always Appear Healthy?
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

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

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

Model-based testing for concurrent systems: unfolding-based test selection.
STTT, 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

Model-based testing for concurrent systems with labelled event structures.
Softw. Test., Verif. 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

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

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

Some General Results About Proof Normalization.
Logica Universalis, 2010

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

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

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

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

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

An Abstract Way to Define Rewriting Logic.
Electr. Notes Theor. Comput. Sci., 2006

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