Christophe Gaston

Orcid: 0000-0001-6865-5108

According to our database1, Christophe Gaston authored at least 44 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Denotational and operational semantics for interaction languages: Application to trace analysis.
Sci. Comput. Program., January, 2024

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.
J. Object Technol., 2024

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

Finite Automata synthesis from Interactions.
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023
A Term-based Approach for Generating Finite Automata from Interaction Diagrams.
CoRR, 2023

Interaction-Based Offline Runtime Verification of Distributed Systems.
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022
Editorial.
Softw. Qual. J., 2022

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.
CoRR, 2022

Equivalence of Denotational and Operational Semantics for Interaction Languages.
Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021
Correction to: PolyGraph: a data flow model with frequency arithmetic.
Int. J. Softw. Tools Technol. Transf., 2021

PolyGraph: a data flow model with frequency arithmetic.
Int. J. Softw. Tools Technol. Transf., 2021

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

A small-step approach to multi-trace checking against interactions.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020
Revisiting Semantics of Interactions for Trace Validity Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Dynamic Reconfigurations in Frequency Constrained Data Flow.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Data Flow Model with Frequency Arithmetic.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018
An end-to-end framework for safe software development.
Microprocess. Microsystems, 2018

2017
Symbolic Execution of Transition Systems with Function Summaries.
Proceedings of the Tests and Proofs - 11th International Conference, 2017

Constraint-Based Oracles for Timed Distributed Systems.
Proceedings of the Testing Software and Systems, 2017

2016
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

2015
Preface.
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.
Proceedings of the Testing Software and Systems, 2015

2014
Designing Sequence Diagram Models for Robustness to Attacks.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.
Proceedings of the Complex Systems Design & Management, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
An Implementation Relation and Test Framework for Timed Distributed Systems.
Proceedings of the Testing Software and Systems, 2013

Results for Compositional Timed Testing.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.
Proceedings of the Testing Software and Systems, 2012

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Testing of Component-Based Systems.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Timed Conformance Testing for Orchestrated Service Discovery.
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.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Testing Web Service Orchestrators in Context: A Symbolic Approach.
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.
Proceedings of the Testing of Software and Communication Systems, 2009

Symbolic Execution Techniques Extended to Systems.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008
Test Purpose Concretization through Symbolic Action Refinement.
Proceedings of the Testing of Software and Communicating Systems, 2008

2007
Symbolic Model Based Testing for Component Oriented Systems.
Proceedings of the Testing of Software and Communicating Systems, 2007

2006
Symbolic Execution Techniques for Test Purpose Definition.
Proceedings of the Testing of Communicating Systems, 2006

Automatic Test Generation on a (U)SIM Smart Card.
Proceedings of the Smart Card Research and Advanced Applications, 2006

2005
Report on the 2<sup>nd</sup> Workshop on Model Development and Validation - MoDeVa.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004
Evaluating Coverage Based Testing.
Proceedings of the Model-Based Testing of Reactive Systems, 2004

2002
Un traitement algébrique de l'interactions de services(?)
PhD thesis, 2002

Feature Logics and Refinement.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2000
Algebraic Treatment of Feature-oriented Systems.
Proceedings of the Language Constructs for Describing Features, 2000


  Loading...