Christophe Gaston

Statistics

Publications

Citations

H-Index

Active since

2005

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Université d'Évry Val-d'Essonne

Christophe Gaston is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in computer science, testing, and real-time systems design.

ORCID

Publications per year

2005–2011

Publications

Testing Web Service Orchestrators in Context: A Symbolic Approach

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall et al. · 2010 · 12 citations

Engineering, Computer Science, Systems Engineering +14

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing

Boutheina Bannour, Christophe Gaston, David Servat · 2011 · 10 citations

Engineering, Computer Science, Systems Engineering +17

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–3 of 3