default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristophe Gaston
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]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): 2 (2024)- [j5]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. 232: 103034 (2024) - [c33]Erwan Mahe
, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Finite Automata synthesis from Interactions. FormaliSE@ICSE 2024: 12-22 - [i7]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall:
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal. CoRR abs/2403.03057 (2024) - [i6]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 abs/2403.03083 (2024) - 2023
- [c32]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN 2023: 88-103 - [i5]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR abs/2306.02983 (2023) - 2022
- [j4]Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall:
Editorial. Softw. Qual. J. 30(1): 1-2 (2022) - [c31]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE 2022: 113-130 - [i4]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR abs/2212.09324 (2022) - 2021
- [j3]Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre:
PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23(3): 489-517 (2021) - [j2]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): 519 (2021) - [c30]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. SAC 2021: 1815-1822 - [i3]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
A structural operational semantics for interactions with a look at loops. CoRR abs/2105.00208 (2021) - 2020
- [c29]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Revisiting Semantics of Interactions for Trace Validity Analysis. FASE 2020: 482-501 - [i2]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. CoRR abs/2009.01777 (2020)
2010 – 2019
- 2019
- [c28]Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise:
A Data Flow Model with Frequency Arithmetic. FASE 2019: 369-385 - [c27]Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre:
Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM 2019: 175-193 - [e2]Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall:
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11812, Springer 2019, ISBN 978-3-030-31279-4 [contents] - [i1]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Revisiting Semantics of Interactions for Trace Validity Analysis. CoRR abs/1911.03094 (2019) - 2018
- [j1]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: 41-49 (2018) - 2017
- [c26]Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall:
Constraint-Based Oracles for Timed Distributed Systems. ICTSS 2017: 276-292 - [c25]Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto:
Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF 2017: 41-58 - 2016
- [c24]Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey:
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC 2016: 35-42 - [e1]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015. Electronic Notes in Theoretical Computer Science 320, Elsevier 2016 [contents] - 2015
- [c23]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: 35-51 - [c22]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
Preface. USE@FM 2015: 1-2 - 2014
- [c21]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza:
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) 2014: 367-374 - [c20]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: 269-282 - [c19]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza:
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops 2014: 26-33 - 2013
- [c18]Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre:
Results for Compositional Timed Testing. APSEC (1) 2013: 559-564 - [c17]Christophe Gaston, Robert M. Hierons, Pascale Le Gall:
An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS 2013: 82-97 - 2012
- [c16]Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston:
Testing of Component-Based Systems. APSEC 2012: 300-305 - [c15]Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo:
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE 2012: 9-16 - [c14]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS 2012: 119-135 - 2011
- [c13]Boutheina Bannour, Christophe Gaston, David Servat:
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. APSEC 2011: 219-226 - [c12]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Timed Conformance Testing for Orchestrated Service Discovery. FACS 2011: 133-150 - 2010
- [c11]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM 2010: 257-267
2000 – 2009
- 2009
- [c10]Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre:
Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85 - [c9]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: 217-222 - 2008
- [c8]Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199 - 2007
- [c7]Alain Faivre, Christophe Gaston, Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106 - 2006
- [c6]Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon:
Automatic Test Generation on a (U)SIM Smart Card. CARDIS 2006: 345-358 - [c5]Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18 - 2005
- [c4]Benoit Baudry, Christophe Gaston, Sudipto Ghosh:
Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS (Satellite Events) 2005: 32-38 - 2004
- [c3]Christophe Gaston, Dirk Seifert:
Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems 2004: 293-322 - 2002
- [b1]Christophe Gaston:
Un traitement algébrique de l'interactions de services(?). University of Namur, Belgium, 2002 - [c2]Marc Aiguier, Christophe Gaston, Pascale Le Gall:
Feature Logics and Refinement. APSEC 2002: 385- - 2000
- [c1]Christophe Gaston, Marc Aiguier, Pascale Le Gall:
Algebraic Treatment of Feature-oriented Systems. FIREworks 2000: 105-124
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-27 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
