Delphine Longuet


Publications



Journals

[JBLCS17]

Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia and Marjan Sirjani. Compositional Schedulability Analysis of Real-Time Actor-Based Systems. Acta Informatica, volume 54, number 4, pages 343-378, 2017.

[AALL16] Marc Aiguier, Agnès Arnould, Pascale Le Gall and Delphine Longuet. Exhaustive Test Sets for Algebraic Specifications. Software Testing, Verification and Reliability, volume 26, number 4, pages 294-317, 2016.

[PHL14-a] Hernán Ponce de León, Stefan Haar and Delphine Longuet. Model-based Testing for Concurrent Systems: Unfolding-based Test Selection. Software Tools for Technology Transfer, volume 18, number 3, pages 305-318, 2014. Extended version of [PHL13].

[PHL14-b] Hernán Ponce de León, Stefan Haar and Delphine Longuet. Model-based Testing for Concurrent Systems with Labelled Event Structures. Software Testing, Verification and Reliability, volume 24, number 7, special issue on Tests and Proofs, pages 558-590, 2014.

[LAL10] Delphine Longuet, Marc Aiguier and Pascale Le Gall. Proof-guided Test Selection From First-order Specifications with Equality. Journal of Automated Reasoning, volume 45, number 4, special issue on Tests and Proofs, pages 437-473, 2010.

[AL10] Marc Aiguier and Delphine Longuet. Some General Results about Proof Normalization. Logica Universalis, volume 4, number 1, pages 1-29, 2010.


International conferences

[BOKLS23]

Nicolas Berthier, Steven de Oliveira, Nikolaï Kosmatov, Delphine Longuet, Romain Soulat. An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. In Symposium on Applied Computing (SAC'23), ACM, 2023.

[KLS20] Nikolaï Kosmatov, Delphine Longuet, Romain Soulat. Formal Verification of an Industrial Distributed Algorithm: An Experience Report. In International Symposium on Leveraging Applications of Formal Methods (ISoLA'20), volume 12476 of Lecture Notes in Computer Science, pages 525-542, 2020.

[YDLBM16] Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski. Fault Manifestability Verification for Discrete Event Systems. In European Conference on Artificial Intelligence (ECAI'16), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1718-1719, 2016.

[PHL14-c] Hernán Ponce de León, Stefan Haar and Delphine Longuet. Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. In International Conference on Theoretical Aspects of Computing (ICTAC'14), volume 8687 of Lecture Notes in Computer Science, pages 369-387, 2014.

[PHL13] Hernán Ponce de León, Stefan Haar and Delphine Longuet. Unfolding-based Test Selection for Concurrent Conformance. In International Conference and Testing Software and Systems (ICTSS'13), volume 8254 of Lecture Notes in Computer Science, pages 98-113, 2013.

[PHL12] Hernán Ponce de León, Stefan Haar and Delphine Longuet. Conformance Relations for Labeled Event Structures. In Tests and Proofs (TAP'12), volume 7305 of Lecture Notes in Computer Science, pages 83-98, 2012.

[Lon12] Delphine Longuet. Global and local testing from Message Sequence Charts. In Symposium on Applied Computing (SAC'12), pages 1332-1338, ACM, 2012. Long version

[LA09] Delphine Longuet and Marc Aiguier. Integration Testing from Structured Specifications via Deduction Modulo. In International Colloquium on Theoretical Aspects of Computing (ICTAC'09), volume 5684 of Lecture Notes in Computer Science, pages 261-276, 2009. Long version

[JLB08] Mohammad Mahdi Jaghoori, Delphine Longuet and Frank S. de Boer. Schedulability and Compatibility of Real-Time Asynchronous Objects. In Real-Time Systems Symposium (RTSS'08), pages 70-79, IEEE Computer Society Press, 2008.

[LA07] Delphine Longuet and Marc Aiguier. Specification-based Testing for CoCasl's Modal Specifications. In Conference on Algebra and Coalgebra in Computer Science (CALCO'07), volume 4624 of Lecture Notes in Computer Science, pages 356-371, 2007. Long version

[AL07] Marc Aiguier and Delphine Longuet. Test Selection Criteria for Modal Specifications of Reactive Systems. In Theoretical Aspects of Software Engineering (TASE'07), pages 159-170, IEEE Computer Society Press, 2007. Long version

[AALL07] Marc Aiguier, Agnès Arnould, Pascale Le Gall and Delphine Longuet. Test Selection Criteria for Quantifier-free First-order Specifications. In Fundamentals of Software Engineering (FSEN'07), volume 4767 of Lecture Notes in Computer Science, pages 144-159, 2007. Long version

[AGLLT05] Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet and Assia Touil. A Temporal Logic for Input-Output Symbolic Transition Systems. In Asia-Pacific Software Engineering Conference (APSEC'05), pages 43-50, IEEE Computer Society Press, 2005.

[ABL05] Marc Aiguier, Diane Bahrami and Delphine Longuet. An Abstract Way to Define Rewriting Logic. In Foundations of Software Engineering (FSEN'05), volume 159 of Electronic Notes in Theoretical Computer Science, pages 205-226, 2005.


Workshops

[LTW14]

Delphine Longuet, Frédéric Tuong and Burkhart Wolff. Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. In OCL workshop 2014, volume 1285 of CEUR Workshop Proceedings, pages 43-52, 2014.

[BLTW13] Achim D. Brucker, Delphine Longuet, Frédéric Tuong and Burkhart Wolff. On the Semantics of Object-oriented Data Structures and Path Expressions. In OCL workshop 2013, volume 1092 of CEUR Workshop Proceedings, pages 23-32, 2013.

[BKLW10] Achim D. Brucker, Matthias P. Krieger, Delphine Longuet and Burkhart Wolff. A Specification-based Test Case Generation Method for UML/OCL. In OCL workshop, Models in Software Engineering Workshops, volume 6627 of Lecture Notes in Computer Science, pages 334-348, 2010.


Theses

[Lon07]

Delphine Longuet. Test à partir de spécifications axiomatiques (Testing from axiomatic specifications). PhD thesis, Université Évry-Val d'Essonne, 2007.

[Lon04] Delphine Longuet. Une théorie du raffinement orientée propriétés pour les automates communicants (A property-oriented refinement theory for input output automata). Master's thesis, Université Évry-Val d'Essonne, 2004.