Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marie-Laure Potet
@article{DBLP:journals/jce/WernerMP23,
author = {Vincent Werner and
Laurent Maingault and
Marie{-}Laure Potet},
title = {An end-to-end approach to identify and exploit multi-fault injection
vulnerabilities on microcontrollers},
journal = {J. Cryptogr. Eng.},
volume = {13},
number = {2},
pages = {149--165},
year = {2023},
url = {https://doi.org/10.1007/s13389-022-00292-z},
doi = {10.1007/S13389-022-00292-Z},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jce/WernerMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DucoussoBP23,
author = {Soline Ducousso and
S{\'{e}}bastien Bardin and
Marie{-}Laure Potet},
editor = {Thomas Wies},
title = {Adversarial Reachability for Program-level Security Analysis},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {59--89},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_3},
doi = {10.1007/978-3-031-30044-8\_3},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/DucoussoBP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdtc/BoespflugMPB23,
author = {Etienne Boespflug and
Laurent Mounier and
Marie{-}Laure Potet and
Abderrahmane Bouguern},
title = {A Compositional Methodology to Harden Programs Against Multi-Fault
Attacks},
booktitle = {Workshop on Fault Detection and Tolerance in Cryptography, {FDTC}
2023, Prague, Czech Republic, September 10, 2023},
pages = {24--35},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FDTC60478.2023.00012},
doi = {10.1109/FDTC60478.2023.00012},
timestamp = {Fri, 19 Apr 2024 12:26:32 +0200},
biburl = {https://dblp.org/rec/conf/fdtc/BoespflugMPB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01885,
author = {Etienne Boespflug and
Abderrahmane Bouguern and
Laurent Mounier and
Marie{-}Laure Potet},
title = {A tool assisted methodology to harden programs against multi-faults
injections},
journal = {CoRR},
volume = {abs/2303.01885},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01885},
doi = {10.48550/ARXIV.2303.01885},
eprinttype = {arXiv},
eprint = {2303.01885},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-03999,
author = {Guilhem Lacombe and
David F{\'{e}}liot and
Etienne Boespflug and
Marie{-}Laure Potet},
title = {Combining static analysis and dynamic symbolic execution in a toolchain
to detect fault injection vulnerabilities},
journal = {CoRR},
volume = {abs/2303.03999},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.03999},
doi = {10.48550/ARXIV.2303.03999},
eprinttype = {arXiv},
eprint = {2303.03999},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-03999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/VigourouxEMMP22,
author = {Thomas Vigouroux and
Cristian Ene and
David Monniaux and
Laurent Mounier and
Marie{-}Laure Potet},
editor = {Alberto Griggio and
Neha Rungta},
title = {BaxMC: a {CEGAR} approach to Max{\#}SAT},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {170--178},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_23},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_23},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/VigourouxEMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-00973,
author = {Thomas Vigouroux and
Cristian Ene and
David Monniaux and
Laurent Mounier and
Marie{-}Laure Potet},
title = {{BAXMC:} a {CEGAR} approach to Max{\textbackslash}{\#}SAT},
journal = {CoRR},
volume = {abs/2211.00973},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.00973},
doi = {10.48550/ARXIV.2211.00973},
eprinttype = {arXiv},
eprint = {2211.00973},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-00973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/EneMP21,
author = {Cristian Ene and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Output-sensitive Information flow analysis},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7172},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/EneMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cardis/WernerMP21,
author = {Vincent Werner and
Laurent Maingault and
Marie{-}Laure Potet},
editor = {Vincent Grosso and
Thomas P{\"{o}}ppelmann},
title = {Fast Calibration of Fault Injection Equipment with Hyperparameter
Optimization Techniques},
booktitle = {Smart Card Research and Advanced Applications - 20th International
Conference, {CARDIS} 2021, L{\"{u}}beck, Germany, November 11-12,
2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13173},
pages = {121--138},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-97348-3\_7},
doi = {10.1007/978-3-030-97348-3\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cardis/WernerMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RecoulesBBLMP21a,
author = {Fr{\'{e}}d{\'{e}}ric Recoules and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Matthieu Lemerre and
Laurent Mounier and
Marie{-}Laure Potet},
title = {RUSTInA: Automatically Checking and Patching Inline Assembly Interface
Compliance (Artifact Evaluation): Accepted submission {\#}992 - "Interface
Compliance of Inline Assembly: Automatically Check, Patch and Refine"},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {201--202},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00089},
doi = {10.1109/ICSE-COMPANION52605.2021.00089},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/RecoulesBBLMP21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RecoulesBBLMP21,
author = {Fr{\'{e}}d{\'{e}}ric Recoules and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Matthieu Lemerre and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Interface Compliance of Inline Assembly: Automatically Check, Patch
and Refine},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1236--1247},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00113},
doi = {10.1109/ICSE43902.2021.00113},
timestamp = {Mon, 07 Jun 2021 14:59:31 +0200},
biburl = {https://dblp.org/rec/conf/icse/RecoulesBBLMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07485,
author = {Fr{\'{e}}d{\'{e}}ric Recoules and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Matthieu Lemerre and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Interface Compliance of Inline Assembly: Automatically Check, Patch
and Refine},
journal = {CoRR},
volume = {abs/2102.07485},
year = {2021},
url = {https://arxiv.org/abs/2102.07485},
eprinttype = {arXiv},
eprint = {2102.07485},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdtc/WernerMP20,
author = {Vincent Werner and
Laurent Maingault and
Marie{-}Laure Potet},
title = {An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment},
booktitle = {17th Workshop on Fault Detection and Tolerance in Cryptography, {FDTC}
2020, Milan, Italy, September 13, 2020},
pages = {10--17},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDTC51366.2020.00009},
doi = {10.1109/FDTC51366.2020.00009},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdtc/WernerMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdtc/BoespflugEMP20,
author = {Etienne Boespflug and
Cristian Ene and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Countermeasures Optimization in Multiple Fault-Injection Context},
booktitle = {17th Workshop on Fault Detection and Tolerance in Cryptography, {FDTC}
2020, Milan, Italy, September 13, 2020},
pages = {26--34},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDTC51366.2020.00011},
doi = {10.1109/FDTC51366.2020.00011},
timestamp = {Thu, 29 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdtc/BoespflugEMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/DreierPPLR19,
author = {Jannik Dreier and
Maxime Puys and
Marie{-}Laure Potet and
Pascal Lafourcade and
Jean{-}Louis Roch},
title = {Formally and practically verifying flow properties in industrial systems},
journal = {Comput. Secur.},
volume = {86},
pages = {453--470},
year = {2019},
url = {https://doi.org/10.1016/j.cose.2018.09.018},
doi = {10.1016/J.COSE.2018.09.018},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/DreierPPLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/KaoukFPG19,
author = {Mohamad Kaouk and
Jean{-}Marie Flaus and
Marie{-}Laure Potet and
Roland Groz},
title = {A Review of Intrusion Detection Systems for Industrial Control Systems},
booktitle = {6th International Conference on Control, Decision and Information
Technologies, CoDIT 2019, Paris, France, April 23-26, 2019},
pages = {1699--1704},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CoDIT.2019.8820602},
doi = {10.1109/CODIT.2019.8820602},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/codit/KaoukFPG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/EneMP19,
author = {Cristian Ene and
Laurent Mounier and
Marie{-}Laure Potet},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Output-Sensitive Information Flow Analysis},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {93--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_6},
doi = {10.1007/978-3-030-21759-4\_6},
timestamp = {Wed, 02 Dec 2020 13:20:40 +0100},
biburl = {https://dblp.org/rec/conf/forte/EneMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RecoulesBBMP19,
author = {Fr{\'{e}}d{\'{e}}ric Recoules and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Get Rid of Inline Assembly through Verification-Oriented Lifting},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {577--589},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00060},
doi = {10.1109/ASE.2019.00060},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RecoulesBBMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06407,
author = {Fr{\'{e}}d{\'{e}}ric Recoules and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Get rid of inline assembly through trustable verification-oriented
lifting},
journal = {CoRR},
volume = {abs/1903.06407},
year = {2019},
url = {http://arxiv.org/abs/1903.06407},
eprinttype = {arXiv},
eprint = {1903.06407},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-06407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09567,
author = {Cristian Ene and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Output-sensitive Information flow analysis},
journal = {CoRR},
volume = {abs/1909.09567},
year = {2019},
url = {http://arxiv.org/abs/1909.09567},
eprinttype = {arXiv},
eprint = {1909.09567},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FarinierBBP18,
author = {Benjamin Farinier and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Marie{-}Laure Potet},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Model Generation for Quantified Formulas: {A} Taint-Based Approach},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {294--313},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_19},
doi = {10.1007/978-3-319-96142-2\_19},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/FarinierBBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/SalwanBP18,
author = {Jonathan Salwan and
S{\'{e}}bastien Bardin and
Marie{-}Laure Potet},
editor = {Cristiano Giuffrida and
S{\'{e}}bastien Bardin and
Gregory Blanc},
title = {Symbolic Deobfuscation: From Virtualized Code Back to the Original},
booktitle = {Detection of Intrusions and Malware, and Vulnerability Assessment
- 15th International Conference, {DIMVA} 2018, Saclay, France, June
28-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10885},
pages = {372--392},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93411-2\_17},
doi = {10.1007/978-3-319-93411-2\_17},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/dimva/SalwanBP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05616,
author = {Benjamin Farinier and
S{\'{e}}bastien Bardin and
Richard Bonichon and
Marie{-}Laure Potet},
title = {Model Generation for Quantified Formulas: {A} Taint-Based Approach},
journal = {CoRR},
volume = {abs/1802.05616},
year = {2018},
url = {http://arxiv.org/abs/1802.05616},
eprinttype = {arXiv},
eprint = {1802.05616},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/PuysPK17,
author = {Maxime Puys and
Marie{-}Laure Potet and
Abdelaziz Khaled},
editor = {Abdessamad Imine and
Jos{\'{e}} M. Fernandez and
Jean{-}Yves Marion and
Luigi Logrippo and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Generation of Applicative Attacks Scenarios Against Industrial Systems},
booktitle = {Foundations and Practice of Security - 10th International Symposium,
{FPS} 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10723},
pages = {127--143},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-75650-9\_9},
doi = {10.1007/978-3-319-75650-9\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fps/PuysPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/DreierPP0R17,
author = {Jannik Dreier and
Maxime Puys and
Marie{-}Laure Potet and
Pascal Lafourcade and
Jean{-}Louis Roch},
editor = {Pierangela Samarati and
Mohammad S. Obaidat and
Enrique Cabello},
title = {Formally Verifying Flow Properties in Industrial Systems},
booktitle = {Proceedings of the 14th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
Spain, July 24-26, 2017},
pages = {55--66},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006396500550066},
doi = {10.5220/0006396500550066},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/DreierPP0R17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/FeistMBDP16,
author = {Josselin Feist and
Laurent Mounier and
S{\'{e}}bastien Bardin and
Robin David and
Marie{-}Laure Potet},
editor = {Mila Dalla Preda and
Natalia Stakhanova and
Jeffrey Todd McDonald},
title = {Finding the needle in the heap: combining static analysis and dynamic
symbolic execution to trigger use-after-free},
booktitle = {Proceedings of the 6th Workshop on Software Security, Protection,
and Reverse Engineering, SSPREW@ACSAC 2016, Los Angeles, California,
USA, December 5-6, 2016},
pages = {2:1--2:12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3015135.3015137},
doi = {10.1145/3015135.3015137},
timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
biburl = {https://dblp.org/rec/conf/acsac/FeistMBDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/PuysRP16,
author = {Maxime Puys and
Jean{-}Louis Roch and
Marie{-}Laure Potet},
editor = {Grigore M. Hav{\^{a}}rneanu and
Roberto Setola and
Hypatia Nassopoulos and
Stephen D. Wolthusen},
title = {Domain Specific Stateful Filtering with Worst-Case Bandwidth},
booktitle = {Critical Information Infrastructures Security - 11th International
Conference, {CRITIS} 2016, Paris, France, October 10-12, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10242},
pages = {321--327},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-71368-7\_28},
doi = {10.1007/978-3-319-71368-7\_28},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/critis/PuysRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DavidBFMPTM16,
author = {Robin David and
S{\'{e}}bastien Bardin and
Josselin Feist and
Laurent Mounier and
Marie{-}Laure Potet and
Thanh Dinh Ta and
Jean{-}Yves Marion},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {Specification of concretization and symbolization policies in symbolic
execution},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {36--46},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931048},
doi = {10.1145/2931037.2931048},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/DavidBFMPTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/DureuilPPLCC16,
author = {Louis Dureuil and
Guillaume Petiot and
Marie{-}Laure Potet and
Thanh{-}Ha Le and
Aude Crohen and
Philippe de Choudens},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {{FISSC:} {A} Fault Injection and Simulation Secure Collection},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {3--11},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_1},
doi = {10.1007/978-3-319-45477-1\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/DureuilPPLCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PuysP016,
author = {Maxime Puys and
Marie{-}Laure Potet and
Pascal Lafourcade},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Formal Analysis of Security Properties on the {OPC-UA} {SCADA} Protocol},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {67--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_6},
doi = {10.1007/978-3-319-45477-1\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/PuysP016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FeistMP16,
author = {Josselin Feist and
Laurent Mounier and
Marie{-}Laure Potet},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {76--81},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_6},
doi = {10.1007/978-3-319-41591-8\_6},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FeistMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/DavidBTMFPM16,
author = {Robin David and
S{\'{e}}bastien Bardin and
Thanh Dinh Ta and
Laurent Mounier and
Josselin Feist and
Marie{-}Laure Potet and
Jean{-}Yves Marion},
title = {{BINSEC/SE:} {A} Dynamic Symbolic Execution Toolkit for Binary-Level
Analysis},
booktitle = {{IEEE} 23rd International Conference on Software Analysis, Evolution,
and Reengineering, {SANER} 2016, Suita, Osaka, Japan, March 14-18,
2016 - Volume 1},
pages = {653--656},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SANER.2016.43},
doi = {10.1109/SANER.2016.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/DavidBTMFPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cardis/DureuilPCDC15,
author = {Louis Dureuil and
Marie{-}Laure Potet and
Philippe de Choudens and
C{\'{e}}cile Dumas and
Jessy Cl{\'{e}}di{\`{e}}re},
editor = {Naofumi Homma and
Marcel Medwed},
title = {From Code Review to Fault Injection Attacks: Filling the Gap Using
Fault Model Inference},
booktitle = {Smart Card Research and Advanced Applications - 14th International
Conference, {CARDIS} 2015, Bochum, Germany, November 4-6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9514},
pages = {107--124},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31271-2\_7},
doi = {10.1007/978-3-319-31271-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cardis/DureuilPCDC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/GosslerMMPA14,
author = {Gregor G{\"{o}}{\ss}ler and
Daniel Le M{\'{e}}tayer and
Eduardo Mazza and
Marie{-}Laure Potet and
Lacramioara Astefanoaei},
title = {Apport des m{\'{e}}thodes formelles pour l'exploitation de logs
informatiques dans un contexte contractuel},
journal = {Tech. Sci. Informatiques},
volume = {33},
number = {1-2},
pages = {63--84},
year = {2014},
url = {https://doi.org/10.3166/tsi.33.63-84},
doi = {10.3166/TSI.33.63-84},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/GosslerMMPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/FeistMP14,
author = {Josselin Feist and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Statically detecting use after free on binary code},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {10},
number = {3},
pages = {211--217},
year = {2014},
url = {https://doi.org/10.1007/s11416-014-0203-1},
doi = {10.1007/S11416-014-0203-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/virology/FeistMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/RawatMP14,
author = {Sanjay Rawat and
Laurent Mounier and
Marie{-}Laure Potet},
title = {LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result
Yielding Static Taintflow Analysis},
booktitle = {Ninth International Conference on Availability, Reliability and Security,
{ARES} 2014, Fribourg, Switzerland, September 8-12, 2014},
pages = {498--505},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ARES.2014.74},
doi = {10.1109/ARES.2014.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/RawatMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/RivierePLBCP14,
author = {Lionel Rivi{\`{e}}re and
Marie{-}Laure Potet and
Thanh{-}Ha Le and
Julien Bringer and
Herv{\'{e}} Chabanne and
Maxime Puys},
editor = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Nur Zincir{-}Heywood and
Philip W. L. Fong},
title = {Combining High-Level and Low-Level Approaches to Evaluate Software
Implementations Robustness Against Multiple Fault Injection Attacks},
booktitle = {Foundations and Practice of Security - 7th International Symposium,
{FPS} 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8930},
pages = {92--111},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17040-4\_7},
doi = {10.1007/978-3-319-17040-4\_7},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/fps/RivierePLBCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PotetMPD14,
author = {Marie{-}Laure Potet and
Laurent Mounier and
Maxime Puys and
Louis Dureuil},
title = {Lazart: {A} Symbolic Approach for Evaluation the Robustness of Secured
Codes against Control Flow Injections},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {213--222},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.34},
doi = {10.1109/ICST.2014.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PotetMPD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GriecoMPR13,
author = {Gustavo Grieco and
Laurent Mounier and
Marie{-}Laure Potet and
Sanjay Rawat},
title = {A Stack Model for Symbolic Buffer Overflow Exploitability Analysis},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {216--217},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.33},
doi = {10.1109/ICSTW.2013.33},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GriecoMPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-3883,
author = {Sanjay Rawat and
Dumitru Ceara and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Combining Static and Dynamic Analysis for Vulnerability Detection},
journal = {CoRR},
volume = {abs/1305.3883},
year = {2013},
url = {http://arxiv.org/abs/1305.3883},
eprinttype = {arXiv},
eprint = {1305.3883},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-3883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MetayerMMPFTCH11,
author = {Daniel Le M{\'{e}}tayer and
Manuel Maarek and
Eduardo Mazza and
Marie{-}Laure Potet and
St{\'{e}}phane Fr{\'{e}}not and
Val{\'{e}}rie Viet Triem Tong and
Nicolas Craipeau and
Ronan Hardouin},
title = {Liability issues in software engineering: the use of formal methods
to reduce legal uncertainties},
journal = {Commun. {ACM}},
volume = {54},
number = {4},
pages = {99--106},
year = {2011},
url = {https://doi.org/10.1145/1924421.1924444},
doi = {10.1145/1924421.1924444},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/MetayerMMPFTCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PotetT11,
author = {Marie{-}Laure Potet and
Helen Treharne},
editor = {Marie{-}Laure Potet and
Helen Treharne},
title = {Preface},
booktitle = {Proceedings of the {B} 2011 Workshop, a satellite event of the 17th
International Symposium on Formal Methods, {FM} 2011, Limerick, Ireland,
June 21, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {280},
pages = {1--2},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.013},
doi = {10.1016/J.ENTCS.2011.11.013},
timestamp = {Fri, 10 Mar 2023 15:49:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PotetT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2011b,
editor = {Marie{-}Laure Potet and
Helen Treharne},
title = {Proceedings of the {B} 2011 Workshop, a satellite event of the 17th
International Symposium on Formal Methods, {FM} 2011, Limerick, Ireland,
June 21, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {280},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/280/suppl/C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2011b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MetayerMTMPCFH10,
author = {Daniel Le M{\'{e}}tayer and
Manuel Maarek and
Val{\'{e}}rie Viet Triem Tong and
Eduardo Mazza and
Marie{-}Laure Potet and
Nicolas Craipeau and
St{\'{e}}phane Fr{\'{e}}not and
Ronan Hardouin},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Liability in software engineering: overview of the {LISE} approach
and illustration on a case study},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {135--144},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806823},
doi = {10.1145/1806799.1806823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MetayerMTMPCFH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CearaMP10,
author = {Dumitru Ceara and
Laurent Mounier and
Marie{-}Laure Potet},
title = {Taint Dependency Sequences: {A} Characterization of Insecure Execution
Paths Based on Input-Sensitive Cause Sequences},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {371--380},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.28},
doi = {10.1109/ICSTW.2010.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CearaMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MazzaPM10,
author = {Eduardo Mazza and
Marie{-}Laure Potet and
Daniel Le M{\'{e}}tayer},
editor = {Jim Davies and
Leila Silva and
Adenilso da Silva Sim{\~{a}}o},
title = {A Formal Framework for Specifying and Analyzing Logs as Electronic
Evidence},
booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6527},
pages = {194--209},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19829-8\_13},
doi = {10.1007/978-3-642-19829-8\_13},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/MazzaPM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MetayerMP10,
author = {Daniel Le M{\'{e}}tayer and
Eduardo Mazza and
Marie{-}Laure Potet},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Designing Log Architectures for Legal Evidence},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {156--165},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.29},
doi = {10.1109/SEFM.2010.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MetayerMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-1460,
author = {Nicolas Stouls and
Marie{-}Laure Potet},
title = {Security Policy Enforcement Through Refinement Process},
journal = {CoRR},
volume = {abs/1004.1460},
year = {2010},
url = {http://arxiv.org/abs/1004.1460},
eprinttype = {arXiv},
eprint = {1004.1460},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-1460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-1472,
author = {Didier Bert and
Marie{-}Laure Potet and
Nicolas Stouls},
title = {GeneSyst: a Tool to Reason about Behavioral Aspects of {B} Event Specifications.
Application to Security Properties},
journal = {CoRR},
volume = {abs/1004.1472},
year = {2010},
url = {http://arxiv.org/abs/1004.1472},
eprinttype = {arXiv},
eprint = {1004.1472},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-1472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2178,
author = {Xavier Morselli and
Marie{-}Laure Potet and
Nicolas Stouls},
title = {G{\'{e}}n{\'{e}}Syst : G{\'{e}}n{\'{e}}ration
d'un syst{\`{e}}me de transitions {\'{e}}tiquet{\'{e}}es
{\`{a}} partir d'une sp{\'{e}}cification {B} {\'{e}}v{\'{e}}nementiel},
journal = {CoRR},
volume = {abs/1004.2178},
year = {2010},
url = {http://arxiv.org/abs/1004.2178},
eprinttype = {arXiv},
eprint = {1004.2178},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-2178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BoulmeP09,
author = {Sylvain Boulm{\'{e}} and
Marie{-}Laure Potet},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Relaxing Restrictions on Invariant Composition in the {B} Method by
Ownership Control \emph{a la}Spec{\#}},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_1},
doi = {10.1007/978-3-642-11447-2\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BoulmeP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DadeauLMP08,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Julien Lamboley and
Thierry Moutet and
Marie{-}Laure Potet},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {A Verifiable Conformance Relationship between Smart Card Applets and
{B} Security Models},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {237--250},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_19},
doi = {10.1007/978-3-540-87603-8\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/DadeauLMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/DadeauPT08,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and
Marie{-}Laure Potet and
R{\'{e}}gis Tissot},
editor = {Sushil Jajodia and
Pierangela Samarati and
Stelvio Cimato},
title = {A {B} Formal Framework for Security Developments in the Domain of
Smart Card Applications},
booktitle = {Proceedings of The {IFIP} {TC-11} 23rd International Information Security
Conference, {IFIP} 20th World Computer Congress, {IFIP} {SEC} 2008,
September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {278},
pages = {141--155},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09699-5\_10},
doi = {10.1007/978-0-387-09699-5\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sec/DadeauPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/BoulmeP07,
author = {Sylvain Boulm{\'{e}} and
Marie{-}Laure Potet},
editor = {Jacques Julliand and
Olga Kouchnarenko},
title = {Interpreting Invariant Composition in the {B} Method Using the Spec{\#}
Ownership Relation: {A} Way to Explain and Relax {B} Restrictions},
booktitle = {B 2007: Formal Specification and Development in B, 7th International
Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4355},
pages = {4--18},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11955757\_4},
doi = {10.1007/11955757\_4},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/b/BoulmeP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/StoulsP07,
author = {Nicolas Stouls and
Marie{-}Laure Potet},
editor = {Jacques Julliand and
Olga Kouchnarenko},
title = {Security Policy Enforcement Through Refinement Process},
booktitle = {B 2007: Formal Specification and Development in B, 7th International
Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4355},
pages = {216--231},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/11955757\_18},
doi = {10.1007/11955757\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/b/StoulsP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BertPS05,
author = {Didier Bert and
Marie{-}Laure Potet and
Nicolas Stouls},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {GeneSyst: {A} Tool to Reason About Behavioral Aspects of {B} Event
Specifications. Application to Security Properties},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {299--318},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_18},
doi = {10.1007/11415787\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/BertPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BadeauBBMPSV04,
author = {Fr{\'{e}}d{\'{e}}ric Badeau and
Didier Bert and
Sylvain Boulm{\'{e}} and
Christophe M{\'{e}}tayer and
Marie{-}Laure Potet and
Nicolas Stouls and
Laurent Voisin},
title = {Adaptabilit{\'{e}} et validation de la traduction de {B} vers
C. Points de vue et r{\'{e}}sultats du projet {BOM}},
journal = {Tech. Sci. Informatiques},
volume = {23},
number = {7},
pages = {879--903},
year = {2004},
url = {https://doi.org/10.3166/tsi.23.879-903},
doi = {10.3166/TSI.23.879-903},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BadeauBBMPSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/BontronP04,
author = {Pierre Bontron and
Marie{-}Laure Potet},
title = {Strat{\'{e}}gie de couverture de test {\`{a}} un haut niveau
d'abstraction},
journal = {Tech. Sci. Informatiques},
volume = {23},
number = {7},
pages = {905--928},
year = {2004},
url = {https://doi.org/10.3166/tsi.23.905-928},
doi = {10.3166/TSI.23.905-928},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/BontronP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Potet03,
author = {Marie{-}Laure Potet},
title = {Sp{\'{e}}cifications et d{\'{e}}veloppements structur{\'{e}}s
dans la m{\'{e}}thode {B}},
journal = {Tech. Sci. Informatiques},
volume = {22},
number = {1},
pages = {61--88},
year = {2003},
url = {https://doi.org/10.3166/tsi.22.61-88},
doi = {10.3166/TSI.22.61-88},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Potet03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BertBPRV03,
author = {Didier Bert and
Sylvain Boulm{\'{e}} and
Marie{-}Laure Potet and
Antoine Requet and
Laurent Voisin},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Adaptable Translator of {B} Specifications to Embedded {C} Programs},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {94--113},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_7},
doi = {10.1007/978-3-540-45236-2\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BertBPRV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Potet02,
author = {Marie{-}Laure Potet},
title = {Sp{\'{e}}cifications et d{\'{e}}veloppements formels : Etude
des aspects compositionnels dans la m{\'{e}}thode B. (Formal
specifications and developments: a study of compositional aspects
in the B-method)},
year = {2002},
url = {https://tel.archives-ouvertes.fr/tel-00004580},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Potet02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LedruBBMOP01,
author = {Yves Ledru and
Lydie du Bousquet and
Pierre Bontron and
Olivier Maury and
Catherine Oriat and
Marie{-}Laure Potet},
title = {Test Purposes: Adapting the Notion of Specification to Testing},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {127--134},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989798},
doi = {10.1109/ASE.2001.989798},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LedruBBMOP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BontronP00,
author = {Pierre Bontron and
Marie{-}Laure Potet},
editor = {Jonathan P. Bowen and
Steve Dunne and
Andy Galloway and
Steve King},
title = {Automatic Construction of Validated {B} Components from Structured
Developments},
booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
International Conference of {B} and {Z} Users, York, UK, August 29
- September 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1878},
pages = {127--147},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44525-0\_9},
doi = {10.1007/3-540-44525-0\_9},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/BontronP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/b/PotetR98,
author = {Marie{-}Laure Potet and
Yann Rouzaud},
editor = {Didier Bert},
title = {Composition and Refinement in the B-Method},
booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
Second International {B} Conference, Montpellier, France, April 22-24,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1393},
pages = {46--65},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053355},
doi = {10.1007/BFB0053355},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/b/PotetR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LedruP95,
author = {Yves Ledru and
Marie{-}Laure Potet},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {A {VDM} Specification of the Steam-Boiler Problem},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {283--317},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027242},
doi = {10.1007/BFB0027242},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LedruP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/EchahedJPS91,
author = {Rachid Echahed and
Paul Jacquet and
Marie{-}Laure Potet and
Sadik Sebbar},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Equational Reasonning and the Completion Procedure. {A} Comparative
Study in Program Transformation},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {53--61},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/sas/EchahedJPS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Potet88,
author = {Marie{-}Laure Potet},
title = {Preuves et strat{\'{e}}gies pour la synth{\`{e}}se d{\'{e}}ductive
de programmes. (Proofs and strategies for deductive program synthesis)},
school = {Grenoble Institute of Technology, France},
year = {1988},
url = {https://tel.archives-ouvertes.fr/tel-00329935},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Potet88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JacquetP86,
author = {Paul Jacquet and
Marie{-}Laure Potet},
editor = {Benedict du Boulay and
David C. Hogg and
Luc Steels},
title = {Program Synthesis = Proof Method + Knowledge (Example about Recursive
Function Synthesis)},
booktitle = {Advances in Artificial Intelligence II, Seventh European Conference
on Artificial Intelligence, {ECAI} 1986, Brighton, UK, July 20-25,
1986, Proceedings},
pages = {345--356},
publisher = {North-Holland},
year = {1986},
timestamp = {Tue, 30 Jul 2019 08:58:44 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JacquetP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BrenaCFGJP84,
author = {Ramon Brena and
Ricardo Caferra and
Bertram Fronh{\"{o}}fer and
Christian Gresse and
Philippe Jacquet and
Marie{-}Laure Potet},
editor = {Wolfgang Bibel and
Boris Petkoff},
title = {Program Synthesis Through Problem Splitting: {A} Method for Subproblem
Characterization},
booktitle = {Artificial Intelligence: Methodology, Systems, Applications - Proceedings
of the International Conference on Artificial Intelligence: Methodology,
Systems, Applications, {AIMSA} 1984, Varna, Bulgaria, September 17-20,
1984},
pages = {113--120},
publisher = {North-Holland},
year = {1984},
timestamp = {Thu, 16 Mar 2017 14:35:43 +0100},
biburl = {https://dblp.org/rec/conf/aimsa/BrenaCFGJP84.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-21 17:46 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:
