Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Claude Marché
@article{DBLP:journals/sttt/BeckerJMRST22,
author = {Benedikt F. H. Becker and
Nicolas Jeannerod and
Claude March{\'{e}} and
Yann R{\'{e}}gis{-}Gianas and
Mihaela Sighireanu and
Ralf Treinen},
title = {The CoLiS platform for the analysis of maintainer scripts in Debian
software packages},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {5},
pages = {717--733},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00671-1},
doi = {10.1007/S10009-022-00671-1},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BeckerJMRST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LourencoCFMMI22,
author = {Cl{\'{a}}udio Belo Louren{\c{c}}o and
Denis Cousineau and
Florian Faissole and
Claude March{\'{e}} and
David Mentr{\'{e}} and
Hiroaki Inoue},
title = {Automated formal analysis of temporal properties of Ladder programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {6},
pages = {977--997},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00680-0},
doi = {10.1007/S10009-022-00680-0},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LourencoCFMMI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DenisJM22,
author = {Xavier Denis and
Jacques{-}Henri Jourdan and
Claude March{\'{e}}},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Creusot: {A} Foundry for the Deductive Verification of Rust Programs},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {90--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_6},
doi = {10.1007/978-3-031-17244-1\_6},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DenisJM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/LourencoCFMMI21,
author = {Cl{\'{a}}udio Belo Louren{\c{c}}o and
Denis Cousineau and
Florian Faissole and
Claude March{\'{e}} and
David Mentr{\'{e}} and
Hiroaki Inoue},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Automated Verification of Temporal Properties of Ladder Programs},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {21--38},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_2},
doi = {10.1007/978-3-030-85248-1\_2},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/LourencoCFMMI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-02967,
author = {Benedikt F. H. Becker and
Cl{\'{a}}udio Belo Louren{\c{c}}o and
Claude March{\'{e}}},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Andrei Paskevich},
title = {Explaining Counterexamples with Giant-Step Assertion Checking},
booktitle = {Proceedings of the 6th Workshop on Formal Integrated Development Environment,
F-IDE@NFM 2021, Held online, 24-25th May 2021},
series = {{EPTCS}},
volume = {338},
pages = {82--88},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.338.10},
doi = {10.4204/EPTCS.338.10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ClochardMP20,
author = {Martin Clochard and
Claude March{\'{e}} and
Andrei Paskevich},
title = {Deductive verification with ghost monitors},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {2:1--2:26},
year = {2020},
url = {https://doi.org/10.1145/3371070},
doi = {10.1145/3371070},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ClochardMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BeckerJMRST20,
author = {Benedikt F. H. Becker and
Nicolas Jeannerod and
Claude March{\'{e}} and
Yann R{\'{e}}gis{-}Gianas and
Mihaela Sighireanu and
Ralf Treinen},
editor = {Armin Biere and
David Parker},
title = {Analysing installation scenarios of Debian packages},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {235--253},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_14},
doi = {10.1007/978-3-030-45237-7\_14},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BeckerJMRST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BeckerM19,
author = {Benedikt F. H. Becker and
Claude March{\'{e}}},
editor = {Supratik Chakraborty and
Jorge A. Navas},
title = {Ghost Code in Action: Automated Verification of a Symbolic Interpreter},
booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International
Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12031},
pages = {107--123},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41600-3\_8},
doi = {10.1007/978-3-030-41600-3\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BeckerM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DaillerHMM18,
author = {Sylvain Dailler and
David Hauzar and
Claude March{\'{e}} and
Yannick Moy},
title = {Instrumenting a weakest precondition calculus for counterexample generation},
journal = {J. Log. Algebraic Methods Program.},
volume = {99},
pages = {97--113},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.05.003},
doi = {10.1016/J.JLAMP.2018.05.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DaillerHMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1811-10814,
author = {Sylvain Dailler and
Claude March{\'{e}} and
Yannick Moy},
editor = {Paolo Masci and
Rosemary Monahan and
Virgile Prevosto},
title = {Lightweight Interactive Proving inside an Automatic Program Verifier},
booktitle = {Proceedings 4th Workshop on Formal Integrated Development Environment,
F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
series = {{EPTCS}},
volume = {284},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.284.1},
doi = {10.4204/EPTCS.284.1},
timestamp = {Sat, 09 Apr 2022 12:27:07 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/ChenCM17,
author = {Ran Chen and
Martin Clochard and
Claude March{\'{e}}},
title = {A Formally Proved, Complete Algorithm for Path Resolution with Symbolic
Links},
journal = {J. Formaliz. Reason.},
volume = {10},
number = {1},
pages = {51--66},
year = {2017},
url = {https://doi.org/10.6092/issn.1972-5787/6767},
doi = {10.6092/ISSN.1972-5787/6767},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/ChenCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/JeannerodMT17,
author = {Nicolas Jeannerod and
Claude March{\'{e}} and
Ralf Treinen},
editor = {Andrei Paskevich and
Thomas Wies},
title = {A Formally Verified Interpreter for a Shell-Like Programming Language},
booktitle = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
pages = {1--18},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2\_1},
doi = {10.1007/978-3-319-72308-2\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/JeannerodMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Rieu-HelftMM17,
author = {Rapha{\"{e}}l Rieu{-}Helft and
Claude March{\'{e}} and
Guillaume Melquiond},
editor = {Andrei Paskevich and
Thomas Wies},
title = {How to Get an Efficient yet Verified Arbitrary-Precision Integer Library},
booktitle = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
pages = {84--101},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2\_6},
doi = {10.1007/978-3-319-72308-2\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/Rieu-HelftMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FumexMM17,
author = {Cl{\'{e}}ment Fumex and
Claude March{\'{e}} and
Yannick Moy},
editor = {Andrei Paskevich and
Thomas Wies},
title = {Automating the Verification of Floating-Point Programs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
pages = {102--119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2\_7},
doi = {10.1007/978-3-319-72308-2\_7},
timestamp = {Fri, 15 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/FumexMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KosmatovMMS16,
author = {Nikolai Kosmatov and
Claude March{\'{e}} and
Yannick Moy and
Julien Signoles},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static versus Dynamic Verification in Why3, Frama-C and {SPARK} 2014},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {461--478},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_32},
doi = {10.1007/978-3-319-47166-2\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/KosmatovMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FumexDGM16,
author = {Cl{\'{e}}ment Fumex and
Claire Dross and
Jens Gerlach and
Claude March{\'{e}}},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Specification and Proof of High-Level Functional Properties of Bit-Level
Programs},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {291--306},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_22},
doi = {10.1007/978-3-319-40648-0\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/FumexDGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HauzarMM16,
author = {David Hauzar and
Claude March{\'{e}} and
Yannick Moy},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Counterexamples from Proof Failures in {SPARK}},
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 = {215--233},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_15},
doi = {10.1007/978-3-319-41591-8\_15},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HauzarMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BobotFMP15,
author = {Fran{\c{c}}ois Bobot and
Jean{-}Christophe Filli{\^{a}}tre and
Claude March{\'{e}} and
Andrei Paskevich},
title = {Let's verify this with Why3},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {709--727},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0314-5},
doi = {10.1007/S10009-014-0314-5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BobotFMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/MarcheK15,
author = {Claude March{\'{e}} and
Johannes Kanig},
title = {Bridging the Gap between Testing and Formal Verification in Ada Development},
journal = {{ERCIM} News},
volume = {2015},
number = {100},
year = {2015},
url = {http://ercim-news.ercim.eu/en100/r-i/bridging-the-gap-between-testing-and-formal-verification-in-ada-development},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/MarcheK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Marche14,
author = {Claude March{\'{e}}},
title = {Verification of the functional behavior of a floating-point program:
An industrial case study},
journal = {Sci. Comput. Program.},
volume = {96},
pages = {279--296},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.003},
doi = {10.1016/J.SCICO.2014.04.003},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Marche14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DelahayeDMM14,
author = {David Delahaye and
Catherine Dubois and
Claude March{\'{e}} and
David Mentr{\'{e}}},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {The BWare Project: Building a Proof Platform for the Automated Verification
of {B} Proof Obligations},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {290--293},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_26},
doi = {10.1007/978-3-662-43652-3\_26},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/DelahayeDMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/ClochardMP14,
author = {Martin Clochard and
Claude March{\'{e}} and
Andrei Paskevich},
editor = {Nils Anders Danielsson and
Bart Jacobs},
title = {Verified programs with binders},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages
meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego,
California, USA, Co-located with {POPL} '14},
pages = {29--40},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2541568.2541571},
doi = {10.1145/2541568.2541571},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/ClochardMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ClochardFMP14,
author = {Martin Clochard and
Jean{-}Christophe Filli{\^{a}}tre and
Claude March{\'{e}} and
Andrei Paskevich},
editor = {Dimitra Giannakopoulou and
Daniel Kroening},
title = {Formalizing Semantics with an Automatic Program Verifier},
booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8471},
pages = {37--51},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12154-3\_3},
doi = {10.1007/978-3-319-12154-3\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ClochardFMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BobotFMMP13,
author = {Fran{\c{c}}ois Bobot and
Jean{-}Christophe Filli{\^{a}}tre and
Claude March{\'{e}} and
Guillaume Melquiond and
Andrei Paskevich},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Preserving User Proofs across Specification Changes},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {191--201},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_10},
doi = {10.1007/978-3-642-54108-7\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BobotFMMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MentreMFA12,
author = {David Mentr{\'{e}} and
Claude March{\'{e}} and
Jean{-}Christophe Filli{\^{a}}tre and
Masashi Asuka},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Discharging Proof Obligations from Atelier {B} Using Multiple Automated
Provers},
booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7316},
pages = {238--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_17},
doi = {10.1007/978-3-642-30885-7\_17},
timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
biburl = {https://dblp.org/rec/conf/asm/MentreMFA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HermsMM12,
author = {Paolo Herms and
Claude March{\'{e}} and
Benjamin Monate},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {A Certified Multi-prover Verification Condition Generator},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {2--17},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_2},
doi = {10.1007/978-3-642-27705-4\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/HermsMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BoldoM11,
author = {Sylvie Boldo and
Claude March{\'{e}}},
title = {Formal Verification of Numerical Programs: From {C} Annotated Programs
to Mechanical Proofs},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {377--393},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0099-9},
doi = {10.1007/S11786-011-0099-9},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/BoldoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/NguyenM11,
author = {Thi Minh Tuyen Nguyen and
Claude March{\'{e}}},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Hardware-Dependent Proofs of Numerical Programs},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {314--329},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_23},
doi = {10.1007/978-3-642-25379-9\_23},
timestamp = {Thu, 14 Oct 2021 10:14:33 +0200},
biburl = {https://dblp.org/rec/conf/cpp/NguyenM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
author = {Thorsten Bormer and
Marc Brockschmidt and
Dino Distefano and
Gidon Ernst and
Jean{-}Christophe Filli{\^{a}}tre and
Radu Grigore and
Marieke Huisman and
Vladimir Klebanov and
Claude March{\'{e}} and
Rosemary Monahan and
Wojciech Mostowski and
Nadia Polikarpova and
Christoph Scheben and
Gerhard Schellhorn and
Bogdan Tofan and
Julian Tschannen and
Mattias Ulbrich},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {The {COST} {IC0701} Verification Competition 2011},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {3--21},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_2},
doi = {10.1007/978-3-642-31762-0\_2},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foveoos/2010,
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18070-5},
doi = {10.1007/978-3-642-18070-5},
isbn = {978-3-642-18069-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MoyM10,
author = {Yannick Moy and
Claude March{\'{e}}},
title = {Modular inference of subprogram contracts for safety checking},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1184--1211},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.004},
doi = {10.1016/J.JSC.2010.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MoyM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AyadM10,
author = {Ali Ayad and
Claude March{\'{e}}},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Multi-Prover Verification of Floating-Point Programs},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {127--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_11},
doi = {10.1007/978-3-642-14203-1\_11},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/AyadM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/TafatBM10,
author = {Asma Tafat and
Sylvain Boulm{\'{e}} and
Claude March{\'{e}}},
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {A Refinement Methodology for Object-Oriented Programs},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
pages = {153--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18070-5\_11},
doi = {10.1007/978-3-642-18070-5\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/TafatBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ldta/GiorgettiMTK10,
author = {Alain Giorgetti and
Claude March{\'{e}} and
Elena Tushkanova and
Olga Kouchnarenko},
editor = {Claus Brabrand and
Pierre{-}Etienne Moreau},
title = {Specifying generic Java programs: two case studies},
booktitle = {Proceedings of the of the Tenth Workshop on Language Descriptions,
Tools and Applications, {LDTA} 2010, Paphos, Cyprus, March 28-29,
2010 - satellite event of {ETAPS}},
pages = {8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868281.1868289},
doi = {10.1145/1868281.1868289},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ldta/GiorgettiMTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DuranLMMU08,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Claude March{\'{e}} and
Jos{\'{e}} Meseguer and
Xavier Urbain},
title = {Proving operational termination of membership equational programs},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {59--88},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9028-2},
doi = {10.1007/S10990-008-9028-2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DuranLMMU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Marche07,
author = {Claude March{\'{e}}},
editor = {Hubert Comon{-}Lundh and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Towards Modular Algebraic Specifications for Pointer Programs: {A}
Case Study},
booktitle = {Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre
Jouannaud on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4600},
pages = {235--258},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73147-4\_12},
doi = {10.1007/978-3-540-73147-4\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Marche07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FilliatreM07,
author = {Jean{-}Christophe Filli{\^{a}}tre and
Claude March{\'{e}}},
editor = {Werner Damm and
Holger Hermanns},
title = {The Why/Krakatoa/Caduceus Platform for Deductive Program Verification},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {173--177},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_21},
doi = {10.1007/978-3-540-73368-3\_21},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/FilliatreM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Marche07,
author = {Claude March{\'{e}}},
editor = {Aaron Stump and
Hongwei Xi},
title = {Jessie: an intermediate language for Java and {C} verification},
booktitle = {Proceedings of the {ACM} Workshop Programming Languages meets Program
Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
pages = {1--2},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292597.1292598},
doi = {10.1145/1292597.1292598},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/plpv/Marche07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MarcheZ07,
author = {Claude March{\'{e}} and
Hans Zantema},
editor = {Franz Baader},
title = {The Termination Competition},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {303--313},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_23},
doi = {10.1007/978-3-540-73449-9\_23},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/MarcheZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MarcheR06,
author = {Claude March{\'{e}} and
Nicolas Rousset},
title = {Verification of {JAVA} {CARD} Applets Behavior with Respect to Transactions
and Card Tears},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.38},
doi = {10.1109/SEFM.2006.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MarcheR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LucasMM05,
author = {Salvador Lucas and
Claude March{\'{e}} and
Jos{\'{e}} Meseguer},
title = {Operational termination of conditional term rewriting systems},
journal = {Inf. Process. Lett.},
volume = {95},
number = {4},
pages = {446--453},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.05.002},
doi = {10.1016/J.IPL.2005.05.002},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LucasMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ContejeanMTU05,
author = {Evelyne Contejean and
Claude March{\'{e}} and
Ana Paula Tom{\'{a}}s and
Xavier Urbain},
title = {Mechanically Proving Termination Using Polynomial Interpretations},
journal = {J. Autom. Reason.},
volume = {34},
number = {4},
pages = {325--363},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9022-x},
doi = {10.1007/S10817-005-9022-X},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ContejeanMTU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HubertM05,
author = {Thierry Hubert and
Claude March{\'{e}}},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {A case study of {C} source code verification: the Schorr-Waite algorithm},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {190--199},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.1},
doi = {10.1109/SEFM.2005.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HubertM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/MarcheP05,
author = {Claude March{\'{e}} and
Christine Paulin{-}Mohring},
editor = {Joe Hurd and
Thomas F. Melham},
title = {Reasoning About Java Programs with Aliasing and Frame Conditions},
booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference,
TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3603},
pages = {179--194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11541868\_12},
doi = {10.1007/11541868\_12},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/MarcheP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MarchePU04,
author = {Claude March{\'{e}} and
Christine Paulin{-}Mohring and
Xavier Urbain},
title = {The {KRAKATOA} tool for certificationof {JAVA/JAVACARD} programs annotated
in {JML}},
journal = {J. Log. Algebraic Methods Program.},
volume = {58},
number = {1-2},
pages = {89--106},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2003.07.006},
doi = {10.1016/J.JLAP.2003.07.006},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MarchePU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MarcheU04,
author = {Claude March{\'{e}} and
Xavier Urbain},
title = {Modular and incremental proofs of AC-termination},
journal = {J. Symb. Comput.},
volume = {38},
number = {1},
pages = {873--897},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2004.02.003},
doi = {10.1016/J.JSC.2004.02.003},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MarcheU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JacobsMR04,
author = {Bart Jacobs and
Claude March{\'{e}} and
Nicole Rauch},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Formal Verification of a Commercial Smart Card Applet with Multiple
Tools},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {241--257},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_21},
doi = {10.1007/978-3-540-27815-3\_21},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/JacobsMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FilliatreM04,
author = {Jean{-}Christophe Filli{\^{a}}tre and
Claude March{\'{e}}},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Multi-prover Verification of {C} Programs},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {15--29},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_10},
doi = {10.1007/978-3-540-30482-1\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FilliatreM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DuranLMMU04,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Claude March{\'{e}} and
Xavier Urbain},
editor = {Nevin Heintze and
Peter Sestoft},
title = {Proving termination of membership equational programs},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {147--158},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014022},
doi = {10.1145/1014007.1014022},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/DuranLMMU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jds/MarcheR02,
author = {Claude March{\'{e}} and
Benoit Robert},
title = {Dam Failure Risk: Its Definition and Impact on Safety Assessment of
Dam Structures},
journal = {J. Decis. Syst.},
volume = {11},
number = {3-4},
pages = {513--534},
year = {2002},
url = {https://doi.org/10.3166/jds.11.513-534},
doi = {10.3166/JDS.11.513-534},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jds/MarcheR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccl/1999,
editor = {Hubert Comon and
Claude March{\'{e}} and
Ralf Treinen},
title = {Constraints in Computational Logics: Theory and Applications, International
Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999,
Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2002},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45406-3},
doi = {10.1007/3-540-45406-3},
isbn = {3-540-41950-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccl/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/OhlebuschCM00,
author = {Enno Ohlebusch and
Claus Claves and
Claude March{\'{e}}},
editor = {Leo Bachmair},
title = {{TALP:} {A} Tool for the Termination Analysis of Logic Programs},
booktitle = {Rewriting Techniques and Applications, 11th International Conference,
{RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1833},
pages = {270--273},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721975\_20},
doi = {10.1007/10721975\_20},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/OhlebuschCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MarcheU98,
author = {Claude March{\'{e}} and
Xavier Urbain},
editor = {Tobias Nipkow},
title = {Termination of Associative-Commutative Rewriting by Dependency Pairs},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {241--255},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052374},
doi = {10.1007/BFB0052374},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/MarcheU98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ContejeanMR97,
author = {Evelyne Contejean and
Claude March{\'{e}} and
Landy Rabehasaina},
editor = {Hubert Comon},
title = {Rewrite Systems for Natural, Integral, and Rational Arithmetic},
booktitle = {Rewriting Techniques and Applications, 8th International Conference,
RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1232},
pages = {98--112},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62950-5\_64},
doi = {10.1007/3-540-62950-5\_64},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/ContejeanMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Marche96,
author = {Claude March{\'{e}}},
title = {Normalized Rewriting: An Alternative to Rewriting Modulo a Set of
Equations},
journal = {J. Symb. Comput.},
volume = {21},
number = {3},
pages = {253--288},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0011},
doi = {10.1006/JSCO.1996.0011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Marche96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BoudetCM96,
author = {Alexandre Boudet and
Evelyne Contejean and
Claude March{\'{e}}},
editor = {Harald Ganzinger},
title = {AC-Complete Unification and its Application to Theorem Proving},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {18--32},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_40},
doi = {10.1007/3-540-61464-8\_40},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/BoudetCM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ContejeanM96,
author = {Evelyne Contejean and
Claude March{\'{e}}},
editor = {Harald Ganzinger},
title = {C\emph{i}ME: Complet\emph{i}on Modulo \emph{E}},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {416--419},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_70},
doi = {10.1007/3-540-61464-8\_70},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/ContejeanM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Marche94,
author = {Claude March{\'{e}}},
title = {Normalised Rewriting and Normalised Completion},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {394--403},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316050},
doi = {10.1109/LICS.1994.316050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Marche94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Marche93,
author = {Claude March{\'{e}}},
editor = {Hubert Comon and
Jean{-}Pierre Jouannaud},
title = {Normalized Rewriting - Application to Ground Completion and Standard
Bases},
booktitle = {Term Rewriting, French Spring School of Theoretical Computer Science,
Font Romeux, France, May 17-21, 1993, Advanced Course},
series = {Lecture Notes in Computer Science},
volume = {909},
pages = {154--169},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-59340-3\_12},
doi = {10.1007/3-540-59340-3\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Marche93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Marche92,
author = {Claude March{\'{e}}},
title = {The Word Problem of ACD-Ground Theories is Undecidable},
journal = {Int. J. Found. Comput. Sci.},
volume = {3},
number = {1},
pages = {81--97},
year = {1992},
url = {https://doi.org/10.1142/S0129054192000085},
doi = {10.1142/S0129054192000085},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Marche92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JouannaudM92,
author = {Jean{-}Pierre Jouannaud and
Claude March{\'{e}}},
title = {Termination and Completion Modulo Associativity, Commutativity and
Identity},
journal = {Theor. Comput. Sci.},
volume = {104},
number = {1},
pages = {29--51},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90165-C},
doi = {10.1016/0304-3975(92)90165-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JouannaudM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Marche91,
author = {Claude March{\'{e}}},
editor = {Ronald V. Book},
title = {On Ground AC-Completion},
booktitle = {Rewriting Techniques and Applications, 4th International Conference,
RTA-91, Como, Italy, April 10-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {488},
pages = {411--422},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53904-2\_114},
doi = {10.1007/3-540-53904-2\_114},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Marche91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/disco/JouannaudM90,
author = {Jean{-}Pierre Jouannaud and
Claude March{\'{e}}},
editor = {Alfonso Miola},
title = {Completion modulo Associativity, Commutativity and Identity {(AC1)}},
booktitle = {Design and Implementation of Symbolic Computation Systems, International
Symposium, {DISCO} '90, Capri, Italy, April 10-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {429},
pages = {111--120},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52531-9\_130},
doi = {10.1007/3-540-52531-9\_130},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/disco/JouannaudM90.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 2023-10-23 23:26 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:
