Christophe Gaston
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
12
Active years
2002–2025
Best venue rank
C
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ETFA | Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification. | Quang-Duy Nguyen, Darine Rammal, Christophe Gaston, Deepak V. Katkoria, Arnault Lapitre, Saadia Dhouib |
| 2022 | TASE | Equivalence of Denotational and Operational Semantics for Interaction Languages. | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
| 2021 | SAC | A small-step approach to multi-trace checking against interactions. | Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall |
| 2020 | FASE | Revisiting Semantics of Interactions for Trace Validity Analysis. | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
| 2019 | FASE | A Data Flow Model with Frequency Arithmetic. | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stphane Louise |
| 2019 | IFM | Dynamic Reconfigurations in Frequency Constrained Data Flow. | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre |
| 2017 | TAP | Symbolic Execution of Transition Systems with Function Summaries. | Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto |
| 2016 | ISORC | Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. | Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey |
| 2014 | APSEC | Security Weaknesses Detection by Symbolic Analysis of Scenarios. | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza |
| 2014 | ICST | Designing Sequence Diagram Models for Robustness to Attacks. | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza |
| 2013 | APSEC | Results for Compositional Timed Testing. | Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre |
| 2012 | APSEC | Testing of Component-Based Systems. | Bilal Kanso, Marc Aiguier, Frdric Boulanger, Christophe Gaston |
| 2011 | APSEC | Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. | Boutheina Bannour, Christophe Gaston, David Servat |
| 2010 | SEFM | Testing Web Service Orchestrators in Context: A Symbolic Approach. | Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli |
| 2009 | ICSEA | Symbolic Execution Techniques Extended to Systems. | Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre |
| 2006 | CARDIS | Automatic Test Generation on a (U)SIM Smart Card. | Cline Bigot, Alain Faivre, Christophe Gaston, Julien Simon |
| 2002 | APSEC | Feature Logics and Refinement. | Marc Aiguier, Christophe Gaston, Pascale Le Gall |