Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christophe Gaston
@article{DBLP:journals/scp/MaheGG24,
author = {Erwan Mahe and
Christophe Gaston and
Pascale Le Gall},
title = {Denotational and operational semantics for interaction languages:
Application to trace analysis},
journal = {Sci. Comput. Program.},
volume = {232},
pages = {103034},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103034},
doi = {10.1016/J.SCICO.2023.103034},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MaheGG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03057,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Pascale Le Gall},
title = {Efficient Interaction-Based Offline Runtime Verification of Distributed
Systems with Lifeline Removal},
journal = {CoRR},
volume = {abs/2403.03057},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03057},
doi = {10.48550/ARXIV.2403.03057},
eprinttype = {arXiv},
eprint = {2403.03057},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03083,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {Tooling Offline Runtime Verification against Interaction Models :
recognizing sliced behaviors using parameterized simulation},
journal = {CoRR},
volume = {abs/2403.03083},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03083},
doi = {10.48550/ARXIV.2403.03083},
eprinttype = {arXiv},
eprint = {2403.03083},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/MaheBGLG23,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
editor = {Hossein Hojjat and
Erika {\'{A}}brah{\'{a}}m},
title = {Interaction-Based Offline Runtime Verification of Distributed Systems},
booktitle = {Fundamentals of Software Engineering - 10th International Conference,
{FSEN} 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14155},
pages = {88--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42441-0\_7},
doi = {10.1007/978-3-031-42441-0\_7},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/MaheBGLG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-02983,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {A Term-based Approach for Generating Finite Automata from Interaction
Diagrams},
journal = {CoRR},
volume = {abs/2306.02983},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.02983},
doi = {10.48550/ARXIV.2306.02983},
eprinttype = {arXiv},
eprint = {2306.02983},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/GastonKG22,
author = {Christophe Gaston and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Editorial},
journal = {Softw. Qual. J.},
volume = {30},
number = {1},
pages = {1--2},
year = {2022},
url = {https://doi.org/10.1007/s11219-022-09590-5},
doi = {10.1007/S11219-022-09590-5},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/GastonKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/MaheGG22,
author = {Erwan Mahe and
Christophe Gaston and
Pascale Le Gall},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Equivalence of Denotational and Operational Semantics for Interaction
Languages},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {113--130},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_8},
doi = {10.1007/978-3-031-10363-6\_8},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/MaheGG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-09324,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {Dealing with observability in interaction-based Offline Runtime Verification
of Distributed Systems},
journal = {CoRR},
volume = {abs/2212.09324},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.09324},
doi = {10.48550/ARXIV.2212.09324},
eprinttype = {arXiv},
eprint = {2212.09324},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-09324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DubrulleKGL21,
author = {Paul Dubrulle and
Nikolai Kosmatov and
Christophe Gaston and
Arnault Lapitre},
title = {PolyGraph: a data flow model with frequency arithmetic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {489--517},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00586-9},
doi = {10.1007/S10009-020-00586-9},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DubrulleKGL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DubrulleKGL21a,
author = {Paul Dubrulle and
Nikolai Kosmatov and
Christophe Gaston and
Arnault Lapitre},
title = {Correction to: PolyGraph: a data flow model with frequency arithmetic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {3},
pages = {519},
year = {2021},
url = {https://doi.org/10.1007/s10009-020-00590-z},
doi = {10.1007/S10009-020-00590-Z},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DubrulleKGL21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaheBGLG21,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {A small-step approach to multi-trace checking against interactions},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {1815--1822},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442054},
doi = {10.1145/3412841.3442054},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MaheBGLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00208,
author = {Erwan Mahe and
Christophe Gaston and
Pascale Le Gall},
title = {A structural operational semantics for interactions with a look at
loops},
journal = {CoRR},
volume = {abs/2105.00208},
year = {2021},
url = {https://arxiv.org/abs/2105.00208},
eprinttype = {arXiv},
eprint = {2105.00208},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MaheGG20,
author = {Erwan Mahe and
Christophe Gaston and
Pascale Le Gall},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Revisiting Semantics of Interactions for Trace Validity Analysis},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {482--501},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_24},
doi = {10.1007/978-3-030-45234-6\_24},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/MaheGG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01777,
author = {Erwan Mahe and
Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Pascale Le Gall},
title = {A small-step approach to multi-trace checking against interactions},
journal = {CoRR},
volume = {abs/2009.01777},
year = {2020},
url = {https://arxiv.org/abs/2009.01777},
eprinttype = {arXiv},
eprint = {2009.01777},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DubrulleGKLL19,
author = {Paul Dubrulle and
Christophe Gaston and
Nikolai Kosmatov and
Arnault Lapitre and
St{\'{e}}phane Louise},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {A Data Flow Model with Frequency Arithmetic},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {369--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_22},
doi = {10.1007/978-3-030-16722-6\_22},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DubrulleGKLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DubrulleGKL19,
author = {Paul Dubrulle and
Christophe Gaston and
Nikolai Kosmatov and
Arnault Lapitre},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Dynamic Reconfigurations in Frequency Constrained Data Flow},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {175--193},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_10},
doi = {10.1007/978-3-030-34968-4\_10},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/DubrulleGKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2019,
editor = {Christophe Gaston and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11812},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31280-0},
doi = {10.1007/978-3-030-31280-0},
isbn = {978-3-030-31279-4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-03094,
author = {Erwan Mahe and
Christophe Gaston and
Pascale Le Gall},
title = {Revisiting Semantics of Interactions for Trace Validity Analysis},
journal = {CoRR},
volume = {abs/1911.03094},
year = {2019},
url = {http://arxiv.org/abs/1911.03094},
eprinttype = {arXiv},
eprint = {1911.03094},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-03094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/HusseinNRPGR18,
author = {Mahmoud Hussein and
R{\'{e}}da Nouacer and
Ansgar Radermacher and
Armand Puccetti and
Christophe Gaston and
Nicolas Rapin},
title = {An end-to-end framework for safe software development},
journal = {Microprocess. Microsystems},
volume = {62},
pages = {41--49},
year = {2018},
url = {https://doi.org/10.1016/j.micpro.2018.07.004},
doi = {10.1016/J.MICPRO.2018.07.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/HusseinNRPGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BenharratGHLG17,
author = {Nassim Benharrat and
Christophe Gaston and
Robert M. Hierons and
Arnault Lapitre and
Pascale Le Gall},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Constraint-Based Oracles for Timed Distributed Systems},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {276--292},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_17},
doi = {10.1007/978-3-319-67549-7\_17},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/BenharratGHLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BoudhibaGGP17,
author = {Imen Boudhiba and
Christophe Gaston and
Pascale Le Gall and
Virgile Prevosto},
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Symbolic Execution of Transition Systems with Function Summaries},
booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {41--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61467-0\_3},
doi = {10.1007/978-3-319-61467-0\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/BoudhibaGGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PedrozaGGB16,
author = {Gabriel Pedroza and
Pascale Le Gall and
Christophe Gaston and
Fabrice Bersey},
title = {Timed-Model-Based Method for Security Analysis and Testing of Smart
Grid Systems},
booktitle = {19th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2016, York, United Kingdom, May 17-20, 2016},
pages = {35--42},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISORC.2016.15},
doi = {10.1109/ISORC.2016.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PedrozaGGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2015use,
editor = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
title = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
June 23-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {320},
publisher = {Elsevier},
year = {2016},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/320/suppl/C},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2015use.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BoudhibaGGP15,
author = {Imen Boudhiba and
Christophe Gaston and
Pascale Le Gall and
Virgile Prevosto},
editor = {Khaled El{-}Fakih and
Gerassimos D. Barlas and
Nina Yevtushenko},
title = {Model-Based Testing from Input Output Symbolic Transition Systems
Enriched by Program Calls and Contracts},
booktitle = {Testing Software and Systems - 27th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2015, Sharjah and Dubai, United Arab Emirates,
November 23-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9447},
pages = {35--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25945-1\_3},
doi = {10.1007/978-3-319-25945-1\_3},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BoudhibaGGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GastonGP16,
author = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
editor = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
title = {Preface},
booktitle = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
June 23-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {320},
pages = {1--2},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.01.001},
doi = {10.1016/J.ENTCS.2016.01.001},
timestamp = {Thu, 10 Nov 2022 11:51:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GastonGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BannourEGGP14,
author = {Boutheina Bannour and
Jose Pablo Escobedo and
Christophe Gaston and
Pascale Le Gall and
Gabriel Pedroza},
editor = {Sungdeok (Steve) Cha and
Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
Gihwon Kwon},
title = {Security Weaknesses Detection by Symbolic Analysis of Scenarios},
booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
South Korea, December 1-4, 2014. Volume 1: Research Papers},
pages = {367--374},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/APSEC.2014.61},
doi = {10.1109/APSEC.2014.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BannourEGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/ArnaudBCGGL14,
author = {Mathilde Arnaud and
Boutheina Bannour and
Arnaud Cuccuru and
Christophe Gaston and
S{\'{e}}bastien G{\'{e}}rard and
Arnault Lapitre},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Daniel Krob and
G{\'{e}}rard Morel and
Jean{-}Claude Roussel},
title = {Timed Symbolic Testing Framework for Executable Models Using High-Level
Scenarios},
booktitle = {Complex Systems Design {\&} Management, Proceedings of the Fifth
International Conference on Complex Systems Design {\&} Management
CSD{\&}M 2014, Paris, France, November 12-14, 2014},
pages = {269--282},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11617-4\_19},
doi = {10.1007/978-3-319-11617-4\_19},
timestamp = {Wed, 24 May 2017 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/csdm/ArnaudBCGGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/BannourEGGP14,
author = {Boutheina Bannour and
Jose Pablo Escobedo and
Christophe Gaston and
Pascale Le Gall and
Gabriel Pedroza},
title = {Designing Sequence Diagram Models for Robustness to Attacks},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April
4, 2014, Cleveland, Ohio, {USA}},
pages = {26--33},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSTW.2014.50},
doi = {10.1109/ICSTW.2014.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/BannourEGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BannourGAL13,
author = {Boutheina Bannour and
Christophe Gaston and
Marc Aiguier and
Arnault Lapitre},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Results for Compositional Timed Testing},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {559--564},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.81},
doi = {10.1109/APSEC.2013.81},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BannourGAL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GastonHG13,
author = {Christophe Gaston and
Robert M. Hierons and
Pascale Le Gall},
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {An Implementation Relation and Test Framework for Timed Distributed
Systems},
booktitle = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
pages = {82--97},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8\_6},
doi = {10.1007/978-3-642-41707-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/GastonHG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KansoABG12,
author = {Bilal Kanso and
Marc Aiguier and
Fr{\'{e}}d{\'{e}}ric Boulanger and
Christophe Gaston},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Testing of Component-Based Systems},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {300--305},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.40},
doi = {10.1109/APSEC.2012.40},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/KansoABG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BannourGLE12,
author = {Boutheina Bannour and
Christophe Gaston and
Arnault Lapitre and
Jose Pablo Escobedo},
title = {Incremental Symbolic Conformance Testing from {UML} {MARTE} Sequence
Diagrams: Railway Use Case},
booktitle = {14th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2012, Omaha, NE, USA, October 25-27, 2012},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HASE.2012.18},
doi = {10.1109/HASE.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BannourGLE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BannourEGG12,
author = {Boutheina Bannour and
Jose Pablo Escobedo and
Christophe Gaston and
Pascale Le Gall},
editor = {Brian Nielsen and
Carsten Weise},
title = {Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance
Testing},
booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
pages = {119--135},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0\_10},
doi = {10.1007/978-3-642-34691-0\_10},
timestamp = {Sat, 30 Sep 2023 09:55:01 +0200},
biburl = {https://dblp.org/rec/conf/pts/BannourEGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BannourGS11,
author = {Boutheina Bannour and
Christophe Gaston and
David Servat},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic
Techniques: Application to Testing},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.40},
doi = {10.1109/APSEC.2011.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BannourGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/EscobedoGG11,
author = {Jose Pablo Escobedo and
Christophe Gaston and
Pascale Le Gall},
editor = {Farhad Arbab and
Peter Csaba {\"{O}}lveczky},
title = {Timed Conformance Testing for Orchestrated Service Discovery},
booktitle = {Formal Aspects of Component Software - 8th International Symposium,
{FACS} 2011, Oslo, Norway, September 14-16, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7253},
pages = {133--150},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35743-5\_9},
doi = {10.1007/978-3-642-35743-5\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/EscobedoGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EscobedoGGC10,
author = {Jose Pablo Escobedo and
Christophe Gaston and
Pascale Le Gall and
Ana R. Cavalli},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Testing Web Service Orchestrators in Context: {A} Symbolic Approach},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {257--267},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.30},
doi = {10.1109/SEFM.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/EscobedoGGC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/GastonABL09,
author = {Christophe Gaston and
Marc Aiguier and
Diane Bahrami and
Arnault Lapitre},
editor = {Kenneth Boness and
Jo{\~{a}}o M. Fernandes and
Jon G. Hall and
Ricardo Jorge Machado and
Roy Oberhauser},
title = {Symbolic Execution Techniques Extended to Systems},
booktitle = {The Fourth International Conference on Software Engineering Advances,
{ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSEA.2009.21},
doi = {10.1109/ICSEA.2009.21},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/icsea/GastonABL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/EscobedoGGC09,
author = {Jose Pablo Escobedo and
Christophe Gaston and
Pascale Le Gall and
Ana R. Cavalli},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Paul Baker and
Mercedes G. Merayo},
title = {Observability and Controllability Issues in Conformance Testing of
Web Service Compositions},
booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1
International Conference, {TESTCOM} 2009 and 9th International Workshop,
{FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5826},
pages = {217--222},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05031-2\_15},
doi = {10.1007/978-3-642-05031-2\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/EscobedoGGC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FaivreGGT08,
author = {Alain Faivre and
Christophe Gaston and
Pascale Le Gall and
Assia Touil},
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Test Purpose Concretization through Symbolic Action Refinement},
booktitle = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
6.1 International Conference, TestCom 2008, 8th International Workshop,
{FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5047},
pages = {184--199},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68524-1\_14},
doi = {10.1007/978-3-540-68524-1\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/FaivreGGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FaivreGG07,
author = {Alain Faivre and
Christophe Gaston and
Pascale Le Gall},
editor = {Alexandre Petrenko and
Margus Veanes and
Jan Tretmans and
Wolfgang Grieskamp},
title = {Symbolic Model Based Testing for Component Oriented Systems},
booktitle = {Testing of Software and Communicating Systems, 19th {IFIP} {TC6/WG6.1}
International Conference, TestCom 2007, 7th International Workshop,
{FATES} 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4581},
pages = {90--106},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73066-8\_7},
doi = {10.1007/978-3-540-73066-8\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/FaivreGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cardis/BigotFGS06,
author = {C{\'{e}}line Bigot and
Alain Faivre and
Christophe Gaston and
Julien Simon},
editor = {Josep Domingo{-}Ferrer and
Joachim Posegga and
Daniel Schreckling},
title = {Automatic Test Generation on a {(U)SIM} Smart Card},
booktitle = {Smart Card Research and Advanced Applications, 7th {IFIP} {WG} 8.8/11.2
International Conference, {CARDIS} 2006, Tarragona, Spain, April 19-21,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3928},
pages = {345--358},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11733447\_25},
doi = {10.1007/11733447\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cardis/BigotFGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GastonGRT06,
author = {Christophe Gaston and
Pascale Le Gall and
Nicolas Rapin and
Assia Touil},
editor = {M. {\"{U}}mit Uyar and
Ali Y. Duale and
Mariusz A. Fecko},
title = {Symbolic Execution Techniques for Test Purpose Definition},
booktitle = {Testing of Communicating Systems, 18th {IFIP} {TC6/WG6.1} International
Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3964},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754008\_1},
doi = {10.1007/11754008\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/GastonGRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BaudryGG05,
author = {Benoit Baudry and
Christophe Gaston and
Sudipto Ghosh},
editor = {Jean{-}Michel Bruel},
title = {Report on the 2\({}^{\mbox{nd}}\) Workshop on Model Development and
Validation - MoDeVa},
booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International
Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica,
October 2-7, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3844},
pages = {32--38},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11663430\_4},
doi = {10.1007/11663430\_4},
timestamp = {Wed, 23 Feb 2022 12:58:07 +0100},
biburl = {https://dblp.org/rec/conf/uml/BaudryGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GastonS04,
author = {Christophe Gaston and
Dirk Seifert},
editor = {Manfred Broy and
Bengt Jonsson and
Joost{-}Pieter Katoen and
Martin Leucker and
Alexander Pretschner},
title = {Evaluating Coverage Based Testing},
booktitle = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume
is the outcome of a research seminar that was held in Schloss Dagstuhl
in January 2004]},
series = {Lecture Notes in Computer Science},
volume = {3472},
pages = {293--322},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11498490\_14},
doi = {10.1007/11498490\_14},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GastonS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/be/Gaston02,
author = {Christophe Gaston},
title = {Un traitement alg{\'{e}}brique de l'interactions de services(?)},
school = {University of Namur, Belgium},
year = {2002},
url = {https://researchportal.unamur.be/en/studentTheses/0e49f79b-f69a-4b56-a589-bdef09d95f7b},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/be/Gaston02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AiguierGG02,
author = {Marc Aiguier and
Christophe Gaston and
Pascale Le Gall},
title = {Feature Logics and Refinement},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {385},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1183008},
doi = {10.1109/APSEC.2002.1183008},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AiguierGG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fireworks/GastonAG00,
author = {Christophe Gaston and
Marc Aiguier and
Pascale Le Gall},
editor = {Stephen Gilmore and
Mark Ryan},
title = {Algebraic Treatment of Feature-oriented Systems},
booktitle = {Language Constructs for Describing Features, Proceedings of the FIREworks
Workshop, Glasgow, UK, May 2000},
pages = {105--124},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0287-8\_7},
doi = {10.1007/978-1-4471-0287-8\_7},
timestamp = {Tue, 12 May 2020 14:48:07 +0200},
biburl = {https://dblp.org/rec/conf/fireworks/GastonAG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:42 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:
