Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pascale Le Gall
@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-2401-08385,
author = {Lionel Blatter and
Nikolai Kosmatov and
Virgile Prevosto and
Pascale Le Gall},
title = {An Efficient VCGen-based Modular Verification of Relational Properties},
journal = {CoRR},
volume = {abs/2401.08385},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.08385},
doi = {10.48550/ARXIV.2401.08385},
eprinttype = {arXiv},
eprint = {2401.08385},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-08385.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}
}
@article{DBLP:journals/tcs/LechenetKG23,
author = {Jean{-}Christophe L{\'{e}}chenet and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Efficient computation of arbitrary control dependencies},
journal = {Theor. Comput. Sci.},
volume = {969},
pages = {114029},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114029},
doi = {10.1016/J.TCS.2023.114029},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LechenetKG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BannourLGN23,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall and
Ngo Minh Thang Nguyen},
editor = {Javier C{\'{a}}mara and
Sung{-}Shik Jongmans},
title = {Symbolic Path-Guided Test Cases for Models with Data and Time},
booktitle = {Formal Aspects of Component Software - 19th International Conference,
{FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14485},
pages = {3--22},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52183-6\_1},
doi = {10.1007/978-3-031-52183-6\_1},
timestamp = {Thu, 18 Jan 2024 08:27:17 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BannourLGN23.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/corr/abs-2309-06840,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall and
Ngo Minh Thang Nguyen},
title = {Symbolic Path-guided Test Cases for Models with Data and Time},
journal = {CoRR},
volume = {abs/2309.06840},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.06840},
doi = {10.48550/ARXIV.2309.06840},
eprinttype = {arXiv},
eprint = {2309.06840},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-06840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgx/PascualBAG22,
author = {Romain Pascual and
Hakim Belhaouari and
Agn{\`{e}}s Arnould and
Pascale Le Gall},
title = {Inferring topological operations on generalized maps: Application
to subdivision schemes},
journal = {Graph. Vis. Comput.},
volume = {6},
pages = {200049},
year = {2022},
url = {https://doi.org/10.1016/j.gvc.2022.200049},
doi = {10.1016/J.GVC.2022.200049},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgx/PascualBAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ArnouldBBGP22,
author = {Agn{\`{e}}s Arnould and
Hakim Belhaouari and
Thomas Bellet and
Pascale Le Gall and
Romain Pascual},
title = {Preserving consistency in geometric modeling with graph transformations},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {3},
pages = {300--347},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000226},
doi = {10.1017/S0960129522000226},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/ArnouldBBGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PascualGAB22,
author = {Romain Pascual and
Pascale Le Gall and
Agn{\`{e}}s Arnould and
Hakim Belhaouari},
title = {Topological consistency preservation with graph transformation schemes},
journal = {Sci. Comput. Program.},
volume = {214},
pages = {102728},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102728},
doi = {10.1016/J.SCICO.2021.102728},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PascualGAB22.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/ifm/BlatterKPG22,
author = {Lionel Blatter and
Nikolai Kosmatov and
Virgile Prevosto and
Pascale Le Gall},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Certified Verification of Relational Properties},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {86--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_6},
doi = {10.1007/978-3-031-07727-2\_6},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BlatterKPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BlatterKPG22,
author = {Lionel Blatter and
Nikolai Kosmatov and
Virgile Prevosto and
Pascale Le Gall},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Efficient VCGen-Based Modular Verification of Relational Properties},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {498--516},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_28},
doi = {10.1007/978-3-031-19849-6\_28},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BlatterKPG22.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-2202-10349,
author = {Lionel Blatter and
Nikolai Kosmatov and
Virgile Prevosto and
Pascale Le Gall},
title = {Certified Verification of Relational Properties},
journal = {CoRR},
volume = {abs/2202.10349},
year = {2022},
url = {https://arxiv.org/abs/2202.10349},
eprinttype = {arXiv},
eprint = {2202.10349},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-10349.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}
}
@inproceedings{DBLP:conf/icse/RoblesKPRG21,
author = {Virgile Robles and
Nikolai Kosmatov and
Virgile Prevosto and
Louis Rilling and
Pascale Le Gall},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {Methodology for Specification and Verification of High-Level Requirements
with MetAcsl},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {54--67},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00012},
doi = {10.1109/FORMALISE52586.2021.00012},
timestamp = {Wed, 15 Sep 2021 16:14:40 +0200},
biburl = {https://dblp.org/rec/conf/icse/RoblesKPRG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BannourLG21,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
editor = {Ladjel Bellatreche and
George A. Chernishev and
Antonio Corral and
Samir Ouchani and
J{\"{u}}ri Vain},
title = {Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic
Execution},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA,
Tallinn, Estonia, June 21-23, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1481},
pages = {46--60},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87657-9\_4},
doi = {10.1007/978-3-030-87657-9\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BannourLG21.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}
}
@inproceedings{DBLP:conf/netys/BannourLG20,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking
and Symbolic Execution},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {94--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_7},
doi = {10.1007/978-3-030-67087-0\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BannourLG20.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/biostec/CompaoreG19,
author = {A. Jo{\"{e}}lle Compaor{\'{e}} and
Pascale Le Gall},
editor = {Elisabetta De Maria and
Ana L. N. Fred and
Hugo Gamboa},
title = {A Proposal for a Language Combining Biochemical Rules and Topological
Structure for Systems Biology},
booktitle = {Proceedings of the 12th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2019) - Volume 3:
BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019},
pages = {310--317},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007689303100317},
doi = {10.5220/0007689303100317},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/CompaoreG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/NguyenBLG19,
author = {Ngo Minh Thang Nguyen and
Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
title = {Behavioral Models and Scenario Selection for Testing IoT Trickle-Based
Lossy Multicast Networks},
booktitle = {2019 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
22-23, 2019},
pages = {168--175},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTW.2019.00047},
doi = {10.1109/ICSTW.2019.00047},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/NguyenBLG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RoblesKPRG19,
author = {Virgile Robles and
Nikolai Kosmatov and
Virgile Prevosto and
Louis Rilling and
Pascale Le Gall},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {MetAcsl: Specification and Verification of High-Level Properties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 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, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {358--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_22},
doi = {10.1007/978-3-030-17462-0\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RoblesKPRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/RoblesKPRG19,
author = {Virgile Robles and
Nikolai Kosmatov and
Virgile Prevosto and
Louis Rilling and
Pascale Le Gall},
editor = {Dirk Beyer and
Chantal Keller},
title = {Tame Your Annotations with MetAcsl: Specifying, Testing and Proving
High-Level Properties},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {167--185},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_11},
doi = {10.1007/978-3-030-31157-5\_11},
timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/RoblesKPRG19.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/fac/LechenetKG18,
author = {Jean{-}Christophe L{\'{e}}chenet and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Cut branches before looking for bugs: certifiably sound verification
on relaxed slices},
journal = {Formal Aspects Comput.},
volume = {30},
number = {1},
pages = {107--131},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0439-x},
doi = {10.1007/S00165-017-0439-X},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LechenetKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LechenetKG18,
author = {Jean{-}Christophe L{\'{e}}chenet and
Nikolai Kosmatov and
Pascale Le Gall},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Fast Computation of Arbitrary Control Dependencies},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {207--224},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_12},
doi = {10.1007/978-3-319-89363-1\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/LechenetKG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/BlatterKGPP18,
author = {Lionel Blatter and
Nikolai Kosmatov and
Pascale Le Gall and
Virgile Prevosto and
Guillaume Petiot},
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Static and Dynamic Verification of Relational Properties on Self-composed
{C} Code},
booktitle = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {44--62},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92994-1\_3},
doi = {10.1007/978-3-319-92994-1\_3},
timestamp = {Tue, 23 Jun 2020 17:47:29 +0200},
biburl = {https://dblp.org/rec/conf/tap/BlatterKGPP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-06876,
author = {Lionel Blatter and
Nikolai Kosmatov and
Pascale Le Gall and
Virgile Prevosto},
title = {Self-composition to Prove Relational Properties in Annotated {C} Program},
journal = {CoRR},
volume = {abs/1801.06876},
year = {2018},
url = {http://arxiv.org/abs/1801.06876},
eprinttype = {arXiv},
eprint = {1801.06876},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-06876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-10509,
author = {Virgile Robles and
Nikolai Kosmatov and
Virgile Prevosto and
Louis Rilling and
Pascale Le Gall},
title = {MetAcsl: Specification and Verification of High-Level Properties},
journal = {CoRR},
volume = {abs/1811.10509},
year = {2018},
url = {http://arxiv.org/abs/1811.10509},
eprinttype = {arXiv},
eprint = {1811.10509},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BelletABG17,
author = {Thomas Bellet and
Agn{\`{e}}s Arnould and
Hakim Belhaouari and
Pascale Le Gall},
editor = {Juan de Lara and
Detlef Plump},
title = {Geometric Modeling: Consistency Preservation Using Two-Layered Variable
Substitutions},
booktitle = {Graph Transformation - 10th International Conference, {ICGT} 2017,
Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10373},
pages = {36--53},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61470-0\_3},
doi = {10.1007/978-3-319-61470-0\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/BelletABG17.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/tacas/BlatterKGP17,
author = {Lionel Blatter and
Nikolai Kosmatov and
Pascale Le Gall and
Virgile Prevosto},
editor = {Axel Legay and
Tiziana Margaria},
title = {{RPP:} Automatic Proof of Relational Properties by Self-composition},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {391--397},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_22},
doi = {10.1007/978-3-662-54577-5\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BlatterKGP17.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}
}
@article{DBLP:journals/stvr/AiguierAGL16,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Delphine Longuet},
title = {Exhaustive test sets for algebraic specifications},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {4},
pages = {294--317},
year = {2016},
url = {https://doi.org/10.1002/stvr.1598},
doi = {10.1002/STVR.1598},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AiguierAGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LechenetKG16,
author = {Jean{-}Christophe L{\'{e}}chenet and
Nikolai Kosmatov and
Pascale Le Gall},
editor = {Perdita Stevens and
Andrzej Wasowski},
title = {Cut Branches Before Looking for Bugs: Sound Verification on Relaxed
Slices},
booktitle = {Fundamental Approaches to Software Engineering - 19th International
Conference, {FASE} 2016, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9633},
pages = {179--196},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49665-7\_11},
doi = {10.1007/978-3-662-49665-7\_11},
timestamp = {Wed, 16 Mar 2022 23:55:35 +0100},
biburl = {https://dblp.org/rec/conf/fase/LechenetKG16.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}
}
@article{DBLP:journals/corr/BlatterKGP16,
author = {Lionel Blatter and
Nikolai Kosmatov and
Pascale Le Gall and
Virgile Prevosto},
title = {Deductive Verification with Relational Properties},
journal = {CoRR},
volume = {abs/1606.00678},
year = {2016},
url = {http://arxiv.org/abs/1606.00678},
eprinttype = {arXiv},
eprint = {1606.00678},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlatterKGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/GalletMGB15,
author = {Emmanuelle Gallet and
Matthieu Manceny and
Pascale Le Gall and
Paolo Ballarini},
title = {{\'{E}}tude de r{\'{e}}seaux de Thomas par validation de
propri{\'{e}}t{\'{e}}s {LTL} pour Pseudomonas aeruginosa},
journal = {Tech. Sci. Informatiques},
volume = {34},
number = {5},
pages = {575--600},
year = {2015},
url = {https://doi.org/10.3166/tsi.34.575-600},
doi = {10.3166/TSI.34.575-600},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsi/GalletMGB15.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/gg/BelhaouariAGB14,
author = {Hakim Belhaouari and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Thomas Bellet},
editor = {Holger Giese and
Barbara K{\"{o}}nig},
title = {Jerboa: {A} Graph Transformation Library for Topology-Based Geometric
Modeling},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8571},
pages = {269--284},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09108-2\_18},
doi = {10.1007/978-3-319-09108-2\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/BelhaouariAGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GalletMGB14,
author = {Emmanuelle Gallet and
Matthieu Manceny and
Pascale Le Gall and
Paolo Ballarini},
editor = {Stephan Merz and
Jun Pang},
title = {An {LTL} Model Checking Approach for Biological Parameter Inference},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {155--170},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_11},
doi = {10.1007/978-3-319-11737-9\_11},
timestamp = {Sat, 31 Aug 2019 23:49:22 +0200},
biburl = {https://dblp.org/rec/conf/icfem/GalletMGB14.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/isola/BallariniGGM14,
author = {Paolo Ballarini and
Emmanuelle Gallet and
Pascale Le Gall and
Matthieu Manceny},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Analysis of the Wnt/{\(\beta\)}-catenin through Statistical
Model Checking},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {193--207},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_14},
doi = {10.1007/978-3-662-45231-8\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/BallariniGGM14.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/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}
}
@article{DBLP:journals/mics/MabroukiACGR11,
author = {Mbarka Mabrouki and
Marc Aiguier and
Jean{-}Paul Comet and
Pascale Le Gall and
Adrien Richard},
title = {Embedding of Biological Regulatory Networks and Property Preservation},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {263--288},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0092-3},
doi = {10.1007/S11786-011-0092-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/MabroukiACGR11.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:journals/corr/abs-1102-2652,
author = {Thomas Bellet and
Agn{\`{e}}s Arnould and
Pascale Le Gall},
editor = {Rachid Echahed},
title = {Rule-based transformations for geometric modelling},
booktitle = {Proceedings 6th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2011, Saarbr{\"{u}}cken, Germany, 2nd April
2011},
series = {{EPTCS}},
volume = {48},
pages = {20--37},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.48.5},
doi = {10.4204/EPTCS.48.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-2652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LonguetAG10,
author = {Delphine Longuet and
Marc Aiguier and
Pascale Le Gall},
title = {Proof-Guided Test Selection from First-Order Specifications with Equality},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {437--473},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9128-7},
doi = {10.1007/S10817-009-9128-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LonguetAG10.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/smi/BelletPAFG10,
author = {Thomas Bellet and
Mathieu Poudret and
Agn{\`{e}}s Arnould and
Laurent Fuchs and
Pascale Le Gall},
title = {Designing a Topological Modeler Kernel: {A} Rule-Based Approach},
booktitle = {{SMI} 2010, Shape Modeling International Conference, Aix en Provence,
France, June 21-23 2010},
pages = {100--112},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SMI.2010.31},
doi = {10.1109/SMI.2010.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smi/BelletPAFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlancJMGA10,
author = {Benjamin Blanc and
Christophe Junke and
Bruno Marre and
Pascale Le Gall and
Olivier Andrieu},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Handling State-Machines Specifications with GATeL},
booktitle = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS
2010, Paphos, Cyprus, March 21, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {3},
pages = {3--17},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.12.011},
doi = {10.1016/J.ENTCS.2010.12.011},
timestamp = {Fri, 10 Mar 2023 10:51:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlancJMGA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bicob/MancenyAGHJK09,
author = {Matthieu Manceny and
Marc Aiguier and
Pascale Le Gall and
Joan H{\'{e}}risson and
Ivan Junier and
Fran{\c{c}}ois K{\'{e}}p{\`{e}}s},
editor = {Sanguthevar Rajasekaran},
title = {Spatial Information and Boolean Genetic Regulatory Networks},
booktitle = {Bioinformatics and Computational Biology, First International Conference,
BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5462},
pages = {270--281},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00727-9\_26},
doi = {10.1007/978-3-642-00727-9\_26},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bicob/MancenyAGHJK09.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}
}
@article{DBLP:journals/tib/PoudretACGMK08,
author = {Mathieu Poudret and
Agn{\`{e}}s Arnould and
Jean{-}Paul Comet and
Pascale Le Gall and
Philippe Meseure and
Fran{\c{c}}ois K{\'{e}}p{\`{e}}s},
title = {Topology-based abstraction of complex biological systems: application
to the Golgi apparatus},
journal = {Theory Biosci.},
volume = {127},
number = {2},
pages = {79--88},
year = {2008},
url = {https://doi.org/10.1007/s12064-008-0030-3},
doi = {10.1007/S12064-008-0030-3},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tib/PoudretACGMK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/MabroukiACG08,
author = {Mbarka Mabrouki and
Marc Aiguier and
Jean{-}Paul Comet and
Pascale Le Gall},
editor = {Katsuhisa Horimoto and
Georg Regensburger and
Markus Rosenkranz and
Hiroshi Yoshida},
title = {Property Preservation along Embedding of Biological Regulatory Networks},
booktitle = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5147},
pages = {125--138},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85101-1\_10},
doi = {10.1007/978-3-540-85101-1\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/MabroukiACG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/AiguierGM08,
author = {Marc Aiguier and
Pascale Le Gall and
Mbarka Mabrouki},
title = {Emergent Properties in Reactive Systems},
booktitle = {15th Asia-Pacific Software Engineering Conference {(APSEC} 2008),
3-5 December 2008, Beijing, China},
pages = {273--280},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSEC.2008.28},
doi = {10.1109/APSEC.2008.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AiguierGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/GaudelG08,
author = {Marie{-}Claude Gaudel and
Pascale Le Gall},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Testing Data Types Implementations from Algebraic Specifications},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {209--239},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_7},
doi = {10.1007/978-3-540-78917-8\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fortest/GaudelG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/PoudretACG08,
author = {Mathieu Poudret and
Agn{\`{e}}s Arnould and
Jean{-}Paul Comet and
Pascale Le Gall},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Graph Transformation for Topology Modelling},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {147--161},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_11},
doi = {10.1007/978-3-540-87405-8\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gg/PoudretACG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/AiguierGM08,
author = {Marc Aiguier and
Pascale Le Gall and
Mbarka Mabrouki},
title = {A Formal Definition of Complex Software},
booktitle = {Proceedings of the Third International Conference on Software Engineering
Advances, {ICSEA} 2008, October 26-31, 2008, Sliema, Malta},
pages = {415--420},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSEA.2008.59},
doi = {10.1109/ICSEA.2008.59},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/AiguierGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MouyMWG08,
author = {Patricia Mouy and
Bruno Marre and
Nicky Williams and
Pascale Le Gall},
title = {Generation of All-Paths Unit Test with Function Calls},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {32--41},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.35},
doi = {10.1109/ICST.2008.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MouyMWG08.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}
}
@article{DBLP:journals/corr/abs-0804-0970,
author = {Marie{-}Claude Gaudel and
Pascale Le Gall},
title = {Testing data types implementations from algebraic specifications},
journal = {CoRR},
volume = {abs/0804.0970},
year = {2008},
url = {http://arxiv.org/abs/0804.0970},
eprinttype = {arXiv},
eprint = {0804.0970},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-0970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/MateusCGG07,
author = {Daniel Mateus and
Jean{-}Paul Comet and
Jean{-}Pierre Gallois and
Pascale Le Gall},
title = {Modelling genetic regulatory networks from specified behaviours},
journal = {{BMC} Syst. Biol.},
volume = {1},
number = {{S-1}},
pages = {S4},
year = {2007},
url = {https://doi.org/10.1186/1752-0509-1-S1-S4},
doi = {10.1186/1752-0509-1-S1-S4},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/MateusCGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcb/MateusGCG07,
author = {Daniel Mateus and
Jean{-}Pierre Gallois and
Jean{-}Paul Comet and
Pascale Le Gall},
title = {Symbolic Modeling of Genetic Regulatory Networks},
journal = {J. Bioinform. Comput. Biol.},
volume = {5},
number = {2b},
pages = {627--640},
year = {2007},
url = {https://doi.org/10.1142/S0219720007002850},
doi = {10.1142/S0219720007002850},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcb/MateusGCG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AiguierAGL07,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Delphine Longuet},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Test Selection Criteria for Quantifier-Free First-Order Specifications},
booktitle = {International Symposium on Fundamentals of Software Engineering, International
Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4767},
pages = {144--159},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75698-9\_10},
doi = {10.1007/978-3-540-75698-9\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AiguierAGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/PoudretCGAM07,
author = {Mathieu Poudret and
Jean{-}Paul Comet and
Pascale Le Gall and
Agn{\`{e}}s Arnould and
Philippe Meseure},
editor = {Remco Loos and
Szil{\'{a}}rd Zsolt Fazekas and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Topology-based Geometric Modelling for Biological Cellular Processes},
booktitle = {{LATA} 2007. Proceedings of the 1st International Conference on Language
and Automata Theory and Applications},
volume = {Report 35/07},
pages = {497--508},
publisher = {Research Group on Mathematical Linguistics, Universitat Rovira i Virgili,
Tarragona},
year = {2007},
timestamp = {Mon, 15 Jun 2015 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/lata/PoudretCGAM07.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/tap/GallRT07,
author = {Pascale Le Gall and
Nicolas Rapin and
Assia Touil},
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {Symbolic Execution Techniques for Refinement Testing},
booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {131--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73770-4\_8},
doi = {10.1007/978-3-540-73770-4\_8},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/GallRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AiguierBG06,
author = {Marc Aiguier and
Karim Berkani and
Pascale Le Gall},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Feature Specification and Static Analysis for Interaction Resolution},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {364--379},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_25},
doi = {10.1007/11813040\_25},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AiguierBG06.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/apsec/AiguierGLT05,
author = {Marc Aiguier and
Pascale Le Gall and
Delphine Longuet and
Assia Touil},
title = {A Temporal Logic for Input Output Symbolic Transition Systems},
booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
15-17 December 2005, Taipei, Taiwan},
pages = {43--50},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/APSEC.2005.19},
doi = {10.1109/APSEC.2005.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/AiguierGLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/AiguierABGM05,
author = {Marc Aiguier and
Agn{\`{e}}s Arnould and
Cl{\'{e}}ment Boin and
Pascale Le Gall and
Bruno Marre},
editor = {Wolfgang Grieskamp and
Carsten Weise},
title = {Testing from Algebraic Specifications: Test Data Set Selection by
Unfolding Axioms},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop,
{FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {203--217},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11759744\_14},
doi = {10.1007/11759744\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fates/AiguierABGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/JouveGC05,
author = {Helene Jouve and
Pascale Le Gall and
Sophie Coudert},
editor = {Stephan Reiff{-}Marganiec and
Mark Ryan},
title = {An Automatic Off-Line Feature Interaction Detection Method by Static
Analysis of Specifications},
booktitle = {Feature Interactions in Telecommunications and Software Systems VIII,
ICFI'05, 28-30 June 2005, Leicester, {UK}},
pages = {131--146},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Mon, 06 Nov 2017 16:35:11 +0100},
biburl = {https://dblp.org/rec/conf/fiw/JouveGC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/BerkaniCCKGOR03,
author = {Karim Berkani and
R{\'{e}}my Cave and
Sophie Coudert and
Francis Klay and
Pascale Le Gall and
Farid Ouabdesselam and
Jean{-}Luc Richier},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {An Environment for Interactive Service Specification},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {25--41},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 09:12:37 +0100},
biburl = {https://dblp.org/rec/conf/fiw/BerkaniCCKGOR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/LedouxMADGB02,
author = {Franck Ledoux and
Jean{-}Marc Mota and
Agn{\`{e}}s Arnould and
Catherine Dubois and
Pascale Le Gall and
Yves Bertrand},
title = {Sp{\'{e}}cifications formelles du chanfreinage},
journal = {Tech. Sci. Informatiques},
volume = {21},
number = {8},
pages = {1073--1098},
year = {2002},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3824},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/LedouxMADGB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/ArnouldG02,
author = {Agn{\`{e}}s Arnould and
Pascale Le Gall},
title = {Test de conformit{\'{e}} : une approche alg{\'{e}}brique},
journal = {Tech. Sci. Informatiques},
volume = {21},
number = {9},
pages = {1219--1242},
year = {2002},
url = {http://tsi.revuesonline.com/article.jsp?articleId=3819},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/ArnouldG02.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/wadt/LedouxAGB01,
author = {Franck Ledoux and
Agn{\`{e}}s Arnould and
Pascale Le Gall and
Yves Bertrand},
editor = {Maura Cerioli and
Gianna Reggio},
title = {Geometric Modelling with {CASL}},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {176--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_9},
doi = {10.1007/3-540-45645-7\_9},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/LedouxAGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CoudertG00,
author = {Sophie Coudert and
Pascale Le Gall},
editor = {Teodor Rus},
title = {A Reuse-Oriented Framework for Hierarchical Specifications},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {438--453},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_31},
doi = {10.1007/3-540-45499-3\_31},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/CoudertG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fireworks/BerkaniGK00,
author = {Karim Berkani and
Pascale Le Gall and
Francis Klay},
editor = {Stephen Gilmore and
Mark Ryan},
title = {An incremental method for the design of feature-oriented systems},
booktitle = {Language Constructs for Describing Features, Proceedings of the FIREworks
Workshop, Glasgow, UK, May 2000},
pages = {45--64},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0287-8\_4},
doi = {10.1007/978-1-4471-0287-8\_4},
timestamp = {Tue, 12 May 2020 14:48:07 +0200},
biburl = {https://dblp.org/rec/conf/fireworks/BerkaniGK00.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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fireworks/GastonAG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/CoudertBG98,
author = {Sophie Coudert and
Gilles Bernot and
Pascale Le Gall},
editor = {Jos{\'{e}} Luiz Fiadeiro},
title = {Hierarchical Heterogeneous Specifications},
booktitle = {Recent Trends in Algebraic Development Techniques, 13th International
Workshop, {WADT} '98, Lisbon, Portugal, April 2-4, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1589},
pages = {107--121},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48483-3\_8},
doi = {10.1007/3-540-48483-3\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/CoudertBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BernotBG97,
author = {Gilles Bernot and
Laurent Bouaziz and
Pascale Le Gall},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {A Theory of Probabilistic Functional Testing},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {216--226},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253273},
doi = {10.1145/253228.253273},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BernotBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BernotCG96,
author = {Gilles Bernot and
Sophie Coudert and
Pascale Le Gall},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Towards Heterogeneous Formal Specification},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {458--472},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014333},
doi = {10.1007/BFB0014333},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BernotCG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ArnouldGM96,
author = {Agn{\`{e}}s Arnould and
Pascale Le Gall and
Bruno Marre},
editor = {Andrzej Hlawiczka and
Jo{\~{a}}o Gabriel Silva and
Luca Simoncini},
title = {Dynamic Testing from Bounded Data Type Specifications},
booktitle = {Dependable Computing - EDCC-2, Second European Dependable Computing
Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1150},
pages = {285--302},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61772-8\_44},
doi = {10.1007/3-540-61772-8\_44},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/ArnouldGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GallA95,
author = {Pascale Le Gall and
Agn{\`{e}}s Arnould},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Formal Specifications and Test: Correctness and Oracle},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {342--358},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_52},
doi = {10.1007/3-540-61629-2\_52},
timestamp = {Sat, 30 Sep 2023 09:37:34 +0200},
biburl = {https://dblp.org/rec/conf/compass/GallA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BernotGA94,
author = {Gilles Bernot and
Pascale Le Gall and
Marc Aiguier},
title = {Label Algebras and Exception Handling},
journal = {Sci. Comput. Program.},
volume = {23},
number = {2-3},
pages = {227--286},
year = {1994},
url = {https://doi.org/10.1016/0167-6423(94)00021-2},
doi = {10.1016/0167-6423(94)00021-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BernotGA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BernotG93,
author = {Gilles Bernot and
Pascale Le Gall},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Exception Handling and Term Labelling},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {421--436},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_80},
doi = {10.1007/3-540-56610-4\_80},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BernotG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BernotG91,
author = {Gilles Bernot and
Pascale Le Gall},
editor = {Michel Bidoit and
Christine Choppy},
title = {Label Algebras: {A} Systematic Use of Terms},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {144--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_38},
doi = {10.1007/3-540-56379-2\_38},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/BernotG91.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-04 22:36 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:
