Christophe Gaston

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 24

Top Topics

Distributed Systems

Operational Semantics

Geographically Distributed

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal. CoRR (2024)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR (2024)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. 232 (2024)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. J. Object Technol. 23 (2) (2024)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Finite Automata synthesis from Interactions. FormaliSE@ICSE (2024)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR (2023)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN (2023)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR (2022)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE (2022)
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
Editorial. Softw. Qual. J. 30 (1) (2022)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
A structural operational semantics for interactions with a look at loops. CoRR (2021)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
A small-step approach to multi-trace checking against interactions. SAC (2021)
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
Correction to: PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23 (3) (2021)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Revisiting Semantics of Interactions for Trace Validity Analysis. FASE (2020)
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
A small-step approach to multi-trace checking against interactions. CoRR (2020)
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM (2019)
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise
A Data Flow Model with Frequency Arithmetic. FASE (2019)
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Revisiting Semantics of Interactions for Trace Validity Analysis. CoRR (2019)
Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin
An end-to-end framework for safe software development. Microprocess. Microsystems 62 (2018)
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
Constraint-Based Oracles for Timed Distributed Systems. ICTSS (2017)
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF (2017)
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC (2016)
Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
Preface. Electron. Notes Theor. Comput. Sci. 320 (2016)
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. ICTSS (2015)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops (2014)
Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. CSDM (2014)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) (2014)
Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
Results for Compositional Timed Testing. APSEC (1) (2013)
Christophe Gaston, Robert M. Hierons, Pascale Le Gall
An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS (2013)
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
Testing of Component-Based Systems. APSEC (2012)
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE (2012)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS (2012)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
Timed Conformance Testing for Orchestrated Service Discovery. FACS (2011)
Boutheina Bannour, Christophe Gaston, David Servat
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. APSEC (2011)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM (2010)
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES (2009)
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre
Symbolic Execution Techniques Extended to Systems. ICSEA (2009)
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES (2008)
Alain Faivre, Christophe Gaston, Pascale Le Gall
Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES (2007)
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Test Purpose Definition. TestCom (2006)
Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon
Automatic Test Generation on a (U)SIM Smart Card. CARDIS (2006)
Benoit Baudry, Christophe Gaston, Sudipto Ghosh
Workshop on Model Development and Validation - MoDeVa. MoDELS (Satellite Events) (2005)
Christophe Gaston, Dirk Seifert
Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems (2004)
Marc Aiguier, Christophe Gaston, Pascale Le Gall
Feature Logics and Refinement. APSEC (2002)
Christophe Gaston, Marc Aiguier, Pascale Le Gall
Algebraic Treatment of Feature-oriented Systems. FIREworks (2000)