Concepedia

Delphine Longuet

DL

Statistics

Publications

4

Citations

73

H-Index

4

Active since

2005

Affiliations

Université Paris-Sud(Current)

Laboratoire de Recherche en Informatique

Centre National de la Recherche Scientifique

Delphine Longuet is an author at Université Paris-Sud specializing in computing, computer science, and formal methods.

Publications per year

2005–2014

4

Publications

4

A Specification-Based Test Case Generation Method for UML/OCL

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet et al. · 2010 · 35 citations

Computing, Computer Science, Formal Methods +11

Schedulability and Compatibility of Real Time Asynchronous Objects

Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer et al. · 2008 · 17 citations

Computing, Computer Science, Computer Systems +16

Model-based testing for concurrent systems: unfolding-based test selection

Hernán Ponce-de-León, Stefan Haar, Delphine Longuet · International Journal on Software Tools for Technology Transfer · 2014 · 11 citations · Full text

Computing, Computer Science, Computer Systems +14

A temporal logic for input output symbolic transition systems

Marc Aiguier, Christophe Gaston, Pascale Le Gall et al. · 2005 · 10 citations · Full text

Computing, Computer Engineering, Computer Science +12

1–4 of 4