Algebraic Treatment of Feature-oriented Systems. - Christophe Gaston; Marc Aiguier; Pascale Le Gall (FIREworks, 2000)

Feature Logics and Refinement. - Marc Aiguier; Christophe Gaston; Pascale Le Gall (APSEC, 2002)

Un traitement algébrique de l'interactions de services(?) - Christophe Gaston (2002)

Evaluating Coverage Based Testing. - Christophe Gaston; Dirk Seifert (Model-Based Testing of Reactive Systems, 2004)

Report on the 2nd Workshop on Model Development and Validation - MoDeVa. - Benoit Baudry; Christophe Gaston; Sudipto Ghosh 001 (MoDELS (Satellite Events), 2005)

Automatic Test Generation on a (U)SIM Smart Card. - Céline Bigot; Alain Faivre; Christophe Gaston; Julien Simon (CARDIS, 2006)

Symbolic Execution Techniques for Test Purpose Definition. - Christophe Gaston; Pascale Le Gall; Nicolas Rapin; Assia Touil (TestCom, 2006)

Symbolic Model Based Testing for Component Oriented Systems. - Alain Faivre; Christophe Gaston; Pascale Le Gall (TestCom/FATES, 2007)

Test Purpose Concretization through Symbolic Action Refinement. - Alain Faivre; Christophe Gaston; Pascale Le Gall; Assia Touil (TestCom/FATES, 2008)

Symbolic Execution Techniques Extended to Systems. - Christophe Gaston; Marc Aiguier; Diane Bahrami; Arnault Lapitre (ICSEA, 2009)

Observability and Controllability Issues in Conformance Testing of Web Service Compositions. - Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Ana R. Cavalli (TestCom/FATES, 2009)

Testing Web Service Orchestrators in Context: A Symbolic Approach. - Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Ana R. Cavalli (SEFM, 2010)

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. - Boutheina Bannour; Christophe Gaston; David Servat (APSEC, 2011)

Timed Conformance Testing for Orchestrated Service Discovery. - Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall (FACS, 2011)

Testing of Component-Based Systems. - Bilal Kanso; Marc Aiguier; Frédéric Boulanger; Christophe Gaston (APSEC, 2012)

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. - Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Jose Pablo Escobedo (HASE, 2012)

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall (ICTSS, 2012)

Results for Compositional Timed Testing. - Boutheina Bannour; Christophe Gaston; Marc Aiguier; Arnault Lapitre (APSEC (1), 2013)

An Implementation Relation and Test Framework for Timed Distributed Systems. - Christophe Gaston; Robert M. Hierons; Pascale Le Gall (ICTSS, 2013)

Security Weaknesses Detection by Symbolic Analysis of Scenarios. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Gabriel Pedroza (APSEC (1), 2014)

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. - Mathilde Arnaud; Boutheina Bannour; Arnaud Cuccuru; Christophe Gaston; Sébastien Gérard; Arnault Lapitre (CSDM, 2014)

Designing Sequence Diagram Models for Robustness to Attacks. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Gabriel Pedroza (ICST Workshops, 2014)

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. - Imen Boudhiba; Christophe Gaston; Pascale Le Gall; Virgile Prevosto (ICTSS, 2015)

Preface. - Christophe Gaston; Pascale Le Gall; Alexander K. Petrenko (USE@FM, 2015)

Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. - Gabriel Pedroza; Pascale Le Gall; Christophe Gaston; Fabrice Bersey (ISORC, 2016)

Constraint-Based Oracles for Timed Distributed Systems. - Nassim Benharrat; Christophe Gaston; Robert M. Hierons; Arnault Lapitre; Pascale Le Gall (ICTSS, 2017)

Symbolic Execution of Transition Systems with Function Summaries. - Imen Boudhiba; Christophe Gaston; Pascale Le Gall; Virgile Prevosto (TAP@STAF, 2017)

An end-to-end framework for safe software development. - Mahmoud Hussein; Réda Nouacer; Ansgar Radermacher; Armand Puccetti; Christophe Gaston; Nicolas Rapin (Microprocess. Microsystems, 2018)

A Data Flow Model with Frequency Arithmetic. - Paul Dubrulle; Christophe Gaston; Nikolai Kosmatov; Arnault Lapitre; Stéphane Louise (FASE, 2019)

Dynamic Reconfigurations in Frequency Constrained Data Flow. - Paul Dubrulle; Christophe Gaston; Nikolai Kosmatov; Arnault Lapitre (IFM, 2019)

Revisiting Semantics of Interactions for Trace Validity Analysis. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (FASE, 2020)

A small-step approach to multi-trace checking against interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (SAC, 2021)

A structural operational semantics for interactions with a look at loops. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (CoRR, 2021)

PolyGraph: a data flow model with frequency arithmetic. - Paul Dubrulle; Nikolai Kosmatov; Christophe Gaston; Arnault Lapitre (Int. J. Softw. Tools Technol. Transf., 2021)

Correction to: PolyGraph: a data flow model with frequency arithmetic. - Paul Dubrulle; Nikolai Kosmatov; Christophe Gaston; Arnault Lapitre (Int. J. Softw. Tools Technol. Transf., 2021)

Equivalence of Denotational and Operational Semantics for Interaction Languages. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (TASE, 2022)

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (CoRR, 2022)

Editorial. - Christophe Gaston; Nikolai Kosmatov; Pascale Le Gall (Softw. Qual. J., 2022)

Interaction-Based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FSEN, 2023)

A Term-based Approach for Generating Finite Automata from Interaction Diagrams. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (CoRR, 2023)

Finite Automata synthesis from Interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FormaliSE@ICSE, 2024)

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (J. Object Technol., 2024)

Denotational and operational semantics for interaction languages: Application to trace analysis. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (Sci. Comput. Program., 2024)

Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Pascale Le Gall (Sci. Comput. Program., 2025)