Christophe Gaston

According to our database, Christophe Gaston authored at least 43 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Denotational and operational semantics for interaction languages: Application to trace analysis.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Sci. Comput. Program., January, 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

CoRR, 2024

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall

CoRR, 2024

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

Interaction-Based Offline Runtime Verification of Distributed Systems.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Editorial.

Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall

Softw. Qual. J., 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

Equivalence of Denotational and Operational Semantics for Interaction Languages.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Proceedings of the Theoretical Aspects of Software Engineering, 2022

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

PolyGraph: a data flow model with frequency arithmetic.

Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre

Int. J. Softw. Tools Technol. Transf., 2021

A structural operational semantics for interactions with a look at loops.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

CoRR, 2021

A small-step approach to multi-trace checking against interactions.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Revisiting Semantics of Interactions for Trace Validity Analysis.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Dynamic Reconfigurations in Frequency Constrained Data Flow.

Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Data Flow Model with Frequency Arithmetic.

Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

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

2017

Symbolic Execution of Transition Systems with Function Summaries.

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto

Proceedings of the Tests and Proofs - 11th International Conference, 2017

Constraint-Based Oracles for Timed Distributed Systems.

Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall

Proceedings of the Testing Software and Systems, 2017

2016

Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.

Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey

Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

2015

Preface.

Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts.

Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto

Proceedings of the Testing Software and Systems, 2015

2014

Designing Sequence Diagram Models for Robustness to Attacks.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the Seventh IEEE International Conference on Software Testing, 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

Proceedings of the Complex Systems Design & Management, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

An Implementation Relation and Test Framework for Timed Distributed Systems.

Christophe Gaston, Robert M. Hierons, Pascale Le Gall

Proceedings of the Testing Software and Systems, 2013

Results for Compositional Timed Testing.

Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

Proceedings of the Testing Software and Systems, 2012

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.

Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Testing of Component-Based Systems.

Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Timed Conformance Testing for Orchestrated Service Discovery.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

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

Boutheina Bannour, Christophe Gaston, David Servat

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Testing Web Service Orchestrators in Context: A Symbolic Approach.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009

Observability and Controllability Issues in Conformance Testing of Web Service Compositions.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli

Proceedings of the Testing of Software and Communication Systems, 2009

Symbolic Execution Techniques Extended to Systems.

Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008

Test Purpose Concretization through Symbolic Action Refinement.

Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Symbolic Model Based Testing for Component Oriented Systems.

Alain Faivre, Christophe Gaston, Pascale Le Gall

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Symbolic Execution Techniques for Test Purpose Definition.

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil

Proceedings of the Testing of Communicating Systems, 2006

Automatic Test Generation on a (U)SIM Smart Card.

Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon

Proceedings of the Smart Card Research and Advanced Applications, 2006

2005

Report on the 2^nd Workshop on Model Development and Validation - MoDeVa.

Benoit Baudry, Christophe Gaston, Sudipto Ghosh

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004

Evaluating Coverage Based Testing.

Christophe Gaston, Dirk Seifert

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2002

Un traitement algébrique de l'interactions de services(?)

Christophe Gaston

PhD thesis, 2002

Feature Logics and Refinement.

Marc Aiguier, Christophe Gaston, Pascale Le Gall

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2000

Algebraic Treatment of Feature-oriented Systems.

Christophe Gaston, Marc Aiguier, Pascale Le Gall

Proceedings of the Language Constructs for Describing Features, 2000