Delphine Longuet

27 papers A 2B 1C 5Misc 3Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case.
FMAS@iFM
Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros, Nicola Bastianello
2023 Misc conf
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.
SAC
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
2022 J jnl
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.
CoRR
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
2020 — conf
Formal Verification of an Industrial Distributed Algorithm: An Experience Report.
ISoLA (1)
Nikolai Kosmatov, Delphine Longuet, Romain Soulat
2018 C conf
How to Be Sure a Faulty System Does Not Always Appear Healthy?
VECoS
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2017 J jnl
Compositional schedulability analysis of real-time actor-based systems.
Acta Informatica
Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
2016 J jnl
Exhaustive test sets for algebraic specifications.
Softw. Test. Verification Reliab.
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
2016 A conf
Fault Manifestability Verification for Discrete Event Systems.
ECAI
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
2016 J jnl
Model-based testing for concurrent systems: unfolding-based test selection.
Int. J. Softw. Tools Technol. Transf.
Hernán Ponce de León, Stefan Haar, Delphine Longuet
2014 C conf
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.
ICTAC
Hernán Ponce de León, Stefan Haar, Delphine Longuet
2014 J jnl
Model-based testing for concurrent systems with labelled event structures.
Softw. Test. Verification Reliab.
Hernán Ponce de León, Stefan Haar, Delphine Longuet
2014 — conf
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
OCL@MoDELS
Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013 — conf
On the Semantics of Object-Oriented Data Structures and Path Expressions.
OCL@MoDELS
Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
2013 C conf
Unfolding-Based Test Selection for Concurrent Conformance.
ICTSS
Hernán Ponce de León, Stefan Haar, Delphine Longuet
2012 — conf
Conformance Relations for Labeled Event Structures.
TAP@TOOLS
Hernán Ponce de León, Stefan Haar, Delphine Longuet
2012 Misc conf
Global and local testing from Message Sequence Charts.
SAC
Delphine Longuet
2010 — conf
A Specification-Based Test Case Generation Method for UML/OCL.
MoDELS (Workshops)
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
2010 J jnl
Proof-Guided Test Selection from First-Order Specifications with Equality.
J. Autom. Reason.
Delphine Longuet, Marc Aiguier, Pascale Le Gall
2010 J jnl
Some General Results About Proof Normalization.
Logica Universalis
Marc Aiguier, Delphine Longuet
2009 C conf
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
ICTAC
Delphine Longuet, Marc Aiguier
2008 A conf
Schedulability and Compatibility of Real Time Asynchronous Objects.
RTSS
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
2007 B conf
Specification-Based Testing for CoCasl's Modal Specifications.
CALCO
Delphine Longuet, Marc Aiguier
2007 Misc conf
Test Selection Criteria for Modal Specifications of Reactive Systems.
TASE
Marc Aiguier, Delphine Longuet
2007 — conf
Test Selection Criteria for Quantifier-Free First-Order Specifications.
FSEN
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
2007 — —
Test à partir de spécifications axiomatiques. (Testing from axiomatic specifications).
Delphine Longuet
2005 C conf
A Temporal Logic for Input Output Symbolic Transition Systems.
APSEC
Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil
2005 — conf
An Abstract Way to Define Rewriting Logic.
FSEN
Marc Aiguier, Diane Bahrami, Delphine Longuet