According to our database1, Delphine Longuet
Legend:Book In proceedings Article PhD thesis Other
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.
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