Delphine Longuet

According to our database1, Delphine Longuet
  • authored at least 22 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2016
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

2014
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

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. Reasoning, 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

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

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


  Loading...