Christophe Gaston

52 papers B 4C 12Misc 2Journal 15Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. Sci. Comput. Program. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2025	J	`jnl`	Runtime Verification of Interactions Using Automata. CoRR Chana Weil-Kennedy, Darine Rammal, Christophe Gaston, Arnault Lapitre
2025	C	`conf`	Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification. ETFA Quang-Duy Nguyen, Darine Rammal, Christophe Gaston, Deepak V. Katkoria, Arnault Lapitre, Saadia Dhouib
2024	J	`jnl`	Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. Erwan Mahe, Christophe Gaston, Pascale Le Gall
2024	J	`jnl`	Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2024	—	`conf`	Finite Automata synthesis from Interactions. FormaliSE@ICSE Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024	J	`jnl`	Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024	J	`jnl`	Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. J. Object Technol. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	J	`jnl`	A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	—	`conf`	Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2022	J	`jnl`	Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2022	J	`jnl`	Editorial. Softw. Qual. J. Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
2022	Misc	`conf`	Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE Erwan Mahe, Christophe Gaston, Pascale Le Gall
2021	Misc	`conf`	A small-step approach to multi-trace checking against interactions. SAC Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2021	J	`jnl`	A structural operational semantics for interactions with a look at loops. CoRR Erwan Mahe, Christophe Gaston, Pascale Le Gall
2021	J	`jnl`	Correction to: PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
2021	J	`jnl`	PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
2020	J	`jnl`	A small-step approach to multi-trace checking against interactions. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2020	B	`conf`	Revisiting Semantics of Interactions for Trace Validity Analysis. FASE Erwan Mahe, Christophe Gaston, Pascale Le Gall
2019	B	`conf`	A Data Flow Model with Frequency Arithmetic. FASE Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise
2019	B	`conf`	Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
2019	J	`jnl`	Revisiting Semantics of Interactions for Trace Validity Analysis. CoRR Erwan Mahe, Christophe Gaston, Pascale Le Gall
2019	C	`ed.`	Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings ICTSS Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
2018	J	`jnl`	An end-to-end framework for safe software development. Microprocess. Microsystems Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, Armand Puccetti, Christophe Gaston, Nicolas Rapin
2017	C	`conf`	Constraint-Based Oracles for Timed Distributed Systems. ICTSS Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
2017	—	`conf`	Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
2016	—	`ed.`	1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015 USE@FM Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
2016	C	`conf`	Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
2015	C	`conf`	Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. ICTSS Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
2015	—	`conf`	Preface. USE@FM Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
2014	—	`conf`	Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2014	—	`conf`	Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2014	—	`conf`	Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. CSDM Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre
2013	C	`conf`	An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS Christophe Gaston, Robert M. Hierons, Pascale Le Gall
2013	—	`conf`	Results for Compositional Timed Testing. APSEC (1) Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
2012	—	`conf`	Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo
2012	C	`conf`	Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
2012	C	`conf`	Testing of Component-Based Systems. APSEC Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston
2011	C	`conf`	Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. APSEC Boutheina Bannour, Christophe Gaston, David Servat
2011	—	`conf`	Timed Conformance Testing for Orchestrated Service Discovery. FACS Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
2010	B	`conf`	Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
2009	—	`conf`	Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
2009	C	`conf`	Symbolic Execution Techniques Extended to Systems. ICSEA Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre
2008	—	`conf`	Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
2007	—	`conf`	Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES Alain Faivre, Christophe Gaston, Pascale Le Gall
2006	C	`conf`	Automatic Test Generation on a (U)SIM Smart Card. CARDIS Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon
2006	—	`conf`	Symbolic Execution Techniques for Test Purpose Definition. TestCom Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
2005	—	`conf`	Report on the 2 MoDELS (Satellite Events) Benoit Baudry, Christophe Gaston, Sudipto Ghosh
2004	—	`conf`	Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems Christophe Gaston, Dirk Seifert
2002	C	`conf`	Feature Logics and Refinement. APSEC Marc Aiguier, Christophe Gaston, Pascale Le Gall
2002	—	`—`	Un traitement algébrique de l'interactions de services(?) Christophe Gaston
2000	—	`conf`	Algebraic Treatment of Feature-oriented Systems. FIREworks Christophe Gaston, Marc Aiguier, Pascale Le Gall