Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Déharbe
@inproceedings{DBLP:conf/rssrail/BurdyDS22,
author = {Lilian Burdy and
David D{\'{e}}harbe and
Denis Sabatier},
editor = {Simon Collart Dutilleul and
Anne E. Haxthausen and
Thierry Lecomte},
title = {Assigning Safe Executed Systems to Meanings},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - 4th International Conference, RSSRail
2022, Paris, France, June 1-2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13294},
pages = {130--142},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05814-1\_9},
doi = {10.1007/978-3-031-05814-1\_9},
timestamp = {Mon, 23 May 2022 16:36:24 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/BurdyDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smt/2022,
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {Proceedings of the 20th Internal Workshop on Satisfiability Modulo
Theories co-located with the 11th International Joint Conference on
Automated Reasoning {(IJCAR} 2022) part of the 8th Federated Logic
Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3185},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185},
urn = {urn:nbn:de:0074-3185-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LecomteDFO20,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
Paulin Fournier and
Marcel Oliveira},
title = {The {CLEARSY} safety platform: 5 years of research, development and
deployment},
journal = {Sci. Comput. Program.},
volume = {199},
pages = {102524},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102524},
doi = {10.1016/J.SCICO.2020.102524},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LecomteDFO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarradasBD20,
author = {H{\'{e}}ctor Ru{\'{\i}}z Barradas and
Lilian Burdy and
David D{\'{e}}harbe},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Existence Proof Obligations for Constraints, Properties and Invariants
in Atelier {B}},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {255--259},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_20},
doi = {10.1007/978-3-030-48077-6\_20},
timestamp = {Mon, 25 May 2020 12:30:51 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarradasBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07190,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
{\'{E}}tienne Prun and
Erwan Mottin},
title = {Applying a Formal Method in Industry: a 25-Year Trajectory},
journal = {CoRR},
volume = {abs/2005.07190},
year = {2020},
url = {https://arxiv.org/abs/2005.07190},
eprinttype = {arXiv},
eprint = {2005.07190},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07191,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
Denis Sabatier and
{\'{E}}tienne Prun and
Patrick P{\'{e}}ronne and
Emmanuel Chailloux and
Steven Varoumas and
Adilla Susungi and
Sylvain Conchon},
title = {Low Cost High Integrity Platform},
journal = {CoRR},
volume = {abs/2005.07191},
year = {2020},
url = {https://arxiv.org/abs/2005.07191},
eprinttype = {arXiv},
eprint = {2005.07191},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-10662,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
Paulin Fournier and
Marcel Oliveira},
title = {The {CLEARSY} Safety Platform: 5 Years of Research, Development and
Deployment},
journal = {CoRR},
volume = {abs/2005.10662},
year = {2020},
url = {https://arxiv.org/abs/2005.10662},
eprinttype = {arXiv},
eprint = {2005.10662},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-10662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/WeberCDHNR19,
author = {Tjark Weber and
Sylvain Conchon and
David D{\'{e}}harbe and
Matthias Heizmann and
Aina Niemetz and
Giles Reger},
title = {The {SMT} Competition 2015-2018},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {221--259},
year = {2019},
url = {https://doi.org/10.3233/SAT190123},
doi = {10.3233/SAT190123},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/WeberCDHNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ComptierDFP19,
author = {Mathieu Comptier and
David D{\'{e}}harbe and
Paulin Fournier and
Julien Molinero Perez},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Property-Driven Software Analysis - (Extended Abstract)},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {746--750},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_44},
doi = {10.1007/978-3-030-30942-8\_44},
timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
biburl = {https://dblp.org/rec/conf/fm/ComptierDFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/PereiraDPB19,
author = {Dalay Israel de Almeida Pereira and
David D{\'{e}}harbe and
Matthieu Perin and
Philippe Bon},
editor = {Simon Collart Dutilleul and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {B-Specification of Relay-Based Railway Interlocking Systems Based
on the Propositional Logic of the System State Evolution},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Third International Conference,
RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11495},
pages = {242--258},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18744-6\_16},
doi = {10.1007/978-3-030-18744-6\_16},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rssrail/PereiraDPB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/OliveiraMDM19,
author = {Diego de Azevedo Oliveira and
Val{\'{e}}rio Medeiros Jr. and
David D{\'{e}}harbe and
Martin A. Musicante},
editor = {Dirk Beyer and
Chantal Keller},
title = {BTestBox: {A} Tool for Testing {B} Translators and Coverage of {B}
Models},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {83--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_6},
doi = {10.1007/978-3-030-31157-5\_6},
timestamp = {Tue, 23 Jun 2020 17:50:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/OliveiraMDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BurdyD18,
author = {Lilian Burdy and
David D{\'{e}}harbe},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover
in Atelier {B}},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {415--419},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_33},
doi = {10.1007/978-3-319-91271-4\_33},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BurdyD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/ComptierDPMTS17,
author = {Mathieu Comptier and
David D{\'{e}}harbe and
Julien Molinero Perez and
Louis Mussat and
Pierre Thibaut and
Denis Sabatier},
editor = {Alessandro Fantechi and
Thierry Lecomte and
Alexander B. Romanovsky},
title = {Safety Analysis of a {CBTC} System: {A} Rigorous Approach with Event-B},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - Second International Conference,
RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10598},
pages = {148--159},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68499-4\_10},
doi = {10.1007/978-3-319-68499-4\_10},
timestamp = {Sun, 25 Oct 2020 23:06:42 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/ComptierDPMTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/LecomteDPM17,
author = {Thierry Lecomte and
David D{\'{e}}harbe and
{\'{E}}tienne Prun and
Erwan Mottin},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Applying a Formal Method in Industry: {A} 25-Year Trajectory},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {70--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_6},
doi = {10.1007/978-3-319-70848-5\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/LecomteDPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BurdyDP17,
author = {Lilian Burdy and
David D{\'{e}}harbe and
{\'{E}}tienne Prun},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Interfacing Automatic Proof Agents in Atelier {B:} Introducing "iapa"},
booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
pages = {82--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.240.6},
doi = {10.4204/EPTCS.240.6},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/BurdyDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/DeharbeM15,
author = {David D{\'{e}}harbe and
Stephan Merz},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {Software Component Design with the {B} Method - {A} Formalization
in Isabelle/HOL},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {31--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_2},
doi = {10.1007/978-3-319-28934-2\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/DeharbeM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/MoreiraHDMNM15,
author = {Anamaria Martins Moreira and
Cleverton Hentz and
David D{\'{e}}harbe and
Ernesto Cid Brasil de Matos and
Jo{\~{a}}o Batista de Souza Neto and
Val{\'{e}}rio de Medeiros Jr.},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Verifying Code Generation Tools for the B-Method Using Tests: {A}
Case Study},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {76--91},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_5},
doi = {10.1007/978-3-319-21215-9\_5},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/MoreiraHDMNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CokDW14,
author = {David R. Cok and
David D{\'{e}}harbe and
Tjark Weber},
title = {The 2014 {SMT} Competition},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {207--242},
year = {2014},
url = {https://doi.org/10.3233/sat190109},
doi = {10.3233/SAT190109},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CokDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DeharbeFGV14,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Yoann Guyot and
Laurent Voisin},
title = {Integrating {SMT} solvers in Rodin},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {130--143},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.04.012},
doi = {10.1016/J.SCICO.2014.04.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DeharbeFGV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BonichonDLM14,
author = {Richard Bonichon and
David D{\'{e}}harbe and
Thierry Lecomte and
Val{\'{e}}rio Medeiros Jr.},
editor = {Christiano Braga and
Narciso Mart{\'{\i}}{-}Oliet},
title = {LLVM-Based Code Generation for {B}},
booktitle = {Formal Methods: Foundations and Applications - 17th Brazilian Symposium,
{SBMF} 2014, Macei{\'{o}}, AL, Brazil, September 29-October 1,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8941},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15075-8\_1},
doi = {10.1007/978-3-319-15075-8\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BonichonDLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/BonichonDT14,
author = {Richard Bonichon and
David D{\'{e}}harbe and
Cl{\'{a}}udia Tavares},
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Extending {SMT-LIB} v2 with {\(\lambda\)}-Terms and Polymorphism},
booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
Theories, {SMT} 2014, affiliated with the 26th International Conference
on Computer Aided Verification {(CAV} 2014), the 7th International
Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
International Conference on Theory and Applications of Satisfiability
Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1163},
pages = {53--62},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/BonichonDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Deharbe13,
author = {David D{\'{e}}harbe},
title = {Integration of SMT-solvers in {B} and Event-B development environments},
journal = {Sci. Comput. Program.},
volume = {78},
number = {3},
pages = {310--326},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2011.03.007},
doi = {10.1016/J.SCICO.2011.03.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Deharbe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeharbeFBM13,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Daniel Le Berre and
Bertrand Mazure},
title = {Computing prime implicants},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {46--52},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679390/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DeharbeFBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JuniorD14,
author = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
David D{\'{e}}harbe},
editor = {Nazareno Aguirre and
Leila Ribeiro},
title = {BEval: {A} Plug-in to Extend Atelier {B} with Current Verification
Technologies},
booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
2013, Buenos Aires, Argentina, August 26th 2013},
series = {{EPTCS}},
volume = {139},
pages = {53--58},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.139.5},
doi = {10.4204/EPTCS.139.5},
timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/JuniorD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OliveiraDF12,
author = {Diego Caminha Barbosa De Oliveira and
David D{\'{e}}harbe and
Pascal Fontaine},
title = {Combining decision procedures by (model-)equality propagation},
journal = {Sci. Comput. Program.},
volume = {77},
number = {4},
pages = {518--532},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.04.003},
doi = {10.1016/J.SCICO.2010.04.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/OliveiraDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CavalcantiD12,
author = {Ana Cavalcanti and
David D{\'{e}}harbe},
title = {Special issue: International Colloquium on Theoretical Aspects of
Computing - {ICTAC} 2010},
journal = {Theor. Comput. Sci.},
volume = {455},
pages = {1},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.07.024},
doi = {10.1016/J.TCS.2012.07.024},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CavalcantiD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DeharbeFGV12,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Yoann Guyot and
Laurent Voisin},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {{SMT} Solvers for Rodin},
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 = {194--207},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_14},
doi = {10.1007/978-3-642-30885-7\_14},
timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
biburl = {https://dblp.org/rec/conf/asm/DeharbeFGV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarbosaD12,
author = {Haniel Barbosa and
David D{\'{e}}harbe},
editor = {John Derrick and
John S. Fitzgerald and
Stefania Gnesi and
Sarfraz Khurshid and
Michael Leuschel and
Steve Reeves and
Elvinia Riccobene},
title = {Formal Verification of {PLC} Programs Using the {B} Method},
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 = {353--356},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30885-7\_30},
doi = {10.1007/978-3-642-30885-7\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarbosaD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/BarbosaD12,
author = {Haniel Barbosa and
David D{\'{e}}harbe},
editor = {Rohit Gheyi and
David A. Naumann},
title = {An Approach Using the {B} Method to Formal Verification of {PLC} Programs
in an Industrial Setting},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {19--34},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_4},
doi = {10.1007/978-3-642-33296-8\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/BarbosaD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DeharbeFMP11,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Stephan Merz and
Bruno Woltzenlogel Paleo},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Exploiting Symmetry in {SMT} Problems},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {222--236},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_18},
doi = {10.1007/978-3-642-22438-6\_18},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/DeharbeFMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/DeharbeFP11,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Bruno Woltzenlogel Paleo},
editor = {Pascal Fontaine and
Aaron Stump},
title = {Quantifier Inference Rules for {SMT} proofs},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem
Proving, Wroc{\l}aw, Poland, August 1, 2011},
pages = {33--39},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf\#page=37},
timestamp = {Thu, 25 Nov 2021 17:51:05 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/DeharbeFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/OliveiraDC11,
author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
David D{\'{e}}harbe and
Lu{\'{\i}}s C. D. S. Cruz},
editor = {Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan},
title = {B to {CSP} Migration: Towards a Formal and Automated Model-Driven
Engineering of Hardware/Software Co-design},
booktitle = {Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7021},
pages = {44--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25032-3\_4},
doi = {10.1007/978-3-642-25032-3\_4},
timestamp = {Mon, 15 Jun 2020 17:10:39 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/OliveiraDC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GomesDMM10,
author = {Bruno Emerson Gurgel Gomes and
David D{\'{e}}harbe and
Anamaria Martins Moreira and
Katia Moraes},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Applying the {B} Method for the Rigorous Development of Smart Card
Applications},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {203--216},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_16},
doi = {10.1007/978-3-642-11811-1\_16},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/GomesDMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Deharbe10,
author = {David D{\'{e}}harbe},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Automatic Verification for a Class of Proof Obligations with SMT-Solvers},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {217--230},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_17},
doi = {10.1007/978-3-642-11811-1\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Deharbe10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurgelMOD10,
author = {Alessandro Cavalcante Gurgel and
Val{\'{e}}rio Gutemberg de Medeiros and
Marcel Vin{\'{\i}}cius Medeiros Oliveira and
David Boris Paul D{\'{e}}harbe},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Integrating SMT-Solvers in {Z} and {B} Tools},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {412--413},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_45},
doi = {10.1007/978-3-642-11811-1\_45},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurgelMOD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonCDF10,
author = {Thomas Bouton and
Diego Caminha and
David D{\'{e}}harbe and
Pascal Fontaine},
editor = {Renate A. Schmidt and
Stephan Schulz and
Boris Konev},
title = {GridTPT: a distributed platform for Theorem Prover Testing},
booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
series = {EPiC Series in Computing},
volume = {9},
pages = {33--39},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/hk8w},
doi = {10.29007/HK8W},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BoutonCDF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2010,
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8},
doi = {10.1007/978-3-642-14808-8},
isbn = {978-3-642-14807-1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DeharbeR09,
author = {David D{\'{e}}harbe and
Silvio Ranise},
title = {Satisfiability solving for software verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {3},
pages = {255--260},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0105-6},
doi = {10.1007/S10009-009-0105-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DeharbeR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonODF09,
author = {Thomas Bouton and
Diego Caminha Barbosa De Oliveira and
David D{\'{e}}harbe and
Pascal Fontaine},
editor = {Renate A. Schmidt},
title = {veriT: An Open, Trustable and Efficient SMT-Solver},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {151--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_12},
doi = {10.1007/978-3-642-02959-2\_12},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BoutonODF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DeharbeGM09,
author = {David D{\'{e}}harbe and
Stephenson Galv{\~{a}}o and
Anamaria Martins Moreira},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formalizing FreeRTOS: First Steps},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {101--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_8},
doi = {10.1007/978-3-642-10452-7\_8},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/DeharbeGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/JuniorD09,
author = {Val{\'{e}}rio Medeiros J{\'{u}}nior and
David D{\'{e}}harbe},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {Formal Modelling of a Microcontroller Instruction Set in {B}},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {282--289},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_19},
doi = {10.1007/978-3-642-10452-7\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/JuniorD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-2039,
author = {David D{\'{e}}harbe and
Bruno Emerson Gurgel Gomes and
Anamaria Martins Moreira},
title = {Refining interfaces: the case of the {B} method},
journal = {CoRR},
volume = {abs/0907.2039},
year = {2009},
url = {http://arxiv.org/abs/0907.2039},
eprinttype = {arXiv},
eprint = {0907.2039},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-2039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/DeharbeRV08,
author = {David D{\'{e}}harbe and
Silvio Ranise and
Jorgiano Vidal},
title = {A Prototype Implementation of a Distributed Satisfiability Modulo
Theories Solver in the ToolBus Framework},
journal = {J. Braz. Comput. Soc.},
volume = {14},
number = {1},
pages = {71--86},
year = {2008},
url = {https://doi.org/10.1007/BF03192553},
doi = {10.1007/BF03192553},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/DeharbeRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DeharbeGM08,
author = {David D{\'{e}}harbe and
Bruno Emerson Gurgel Gomes and
Anamaria Martins Moreira},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {BSmart: {A} Tool for the Development of Java Card Applications with
the {B} Method},
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 = {351--352},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_39},
doi = {10.1007/978-3-540-87603-8\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/DeharbeGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DantasDGMJ09,
author = {Bartira Dantas and
David D{\'{e}}harbe and
Stephenson Galv{\~{a}}o and
Anamaria Martins Moreira and
Val{\'{e}}rio Medeiros J{\'{u}}nior},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Verified Compilation and the {B} Method: {A} Proposal and a First
Appraisal},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {79--96},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.046},
doi = {10.1016/J.ENTCS.2009.05.046},
timestamp = {Thu, 09 Mar 2023 13:31:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DantasDGMJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OliveiraDF09,
author = {Diego Caminha Barbosa De Oliveira and
David D{\'{e}}harbe and
Pascal Fontaine},
editor = {Patr{\'{\i}}cia D. L. Machado},
title = {Combining Decision Procedures by (Model-)Equality Propagation},
booktitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
{SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {240},
pages = {113--128},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.05.048},
doi = {10.1016/J.ENTCS.2009.05.048},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OliveiraDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/DeharbeMS06,
author = {David D{\'{e}}harbe and
Anamaria Martins Moreira and
Dem{\'{o}}stenes Sena},
title = {AGraphs: Definition, implementation and tools},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {1},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.1.81},
doi = {10.14279/TUJ.ECEASST.1.81},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/DeharbeMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DeharbeGM06,
author = {David D{\'{e}}harbe and
Bruno Emerson Gurgel Gomes and
Anamaria Martins Moreira},
title = {Automation of Java Card component development using the {B} method},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {259--268},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.51},
doi = {10.1109/ICECCS.2006.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DeharbeGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DeharbeFRR06,
author = {David D{\'{e}}harbe and
Pascal Fontaine and
Silvio Ranise and
Christophe Ringeissen},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Decision Procedures for the Formal Analysis of Software},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {366--370},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_26},
doi = {10.1007/11921240\_26},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DeharbeFRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/DeharbeM06,
author = {David D{\'{e}}harbe and
S{\'{e}}rgio Medeiros},
editor = {Claudionor Jos{\'{e}} Nunes Coelho Jr. and
Ricardo P. Jacobi and
J{\"{u}}rgen Becker},
title = {Aspect-oriented design in systemC: implementation and applications},
booktitle = {Proceedings of the 19th Annual Symposium on Integrated Circuits and
Systems Design, {SBCCI} 2006, Ouro Preto, MG, Brazil, August 28 -
September 1, 2006},
pages = {119--124},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1150343.1150378},
doi = {10.1145/1150343.1150378},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbcci/DeharbeM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeharbeRV07,
author = {David D{\'{e}}harbe and
Silvio Ranise and
Jorgiano Vidal},
editor = {Augusto Sampaio},
title = {Distributing the Workload in a Lazy Theorem-Prover},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {21--37},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.013},
doi = {10.1016/J.ENTCS.2007.03.013},
timestamp = {Tue, 24 Jan 2023 14:02:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeharbeRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GomesMD07,
author = {Bruno Emerson Gurgel Gomes and
Anamaria Martins Moreira and
David D{\'{e}}harbe},
editor = {Augusto Sampaio},
title = {Developing Java Card Applications with {B}},
booktitle = {Proceedings of the Second Brazilian Symposium on Formal Methods, {SBMF}
2005, Porto Alegre, RS, Brazil, November 30, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {184},
pages = {81--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.03.016},
doi = {10.1016/J.ENTCS.2007.03.016},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GomesMD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/CouchotDGR04,
author = {Jean{-}Fran{\c{c}}ois Couchot and
David D{\'{e}}harbe and
Alain Giorgetti and
Silvio Ranise},
title = {Scalable Automated Proving and Debugging of Set-Based Specifications},
journal = {J. Braz. Comput. Soc.},
volume = {9},
number = {2},
pages = {17--36},
year = {2004},
url = {https://doi.org/10.1590/S0104-65002003000300003},
doi = {10.1590/S0104-65002003000300003},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/CouchotDGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MoreiraRDL04,
author = {Anamaria Martins Moreira and
Christophe Ringeissen and
David D{\'{e}}harbe and
Gleydson Lima},
title = {Manipulating algebraic specifications with term-based and graph-based
representations},
journal = {J. Log. Algebraic Methods Program.},
volume = {59},
number = {1-2},
pages = {63--87},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2003.12.001},
doi = {10.1016/J.JLAP.2003.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MoreiraRDL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DeharbeIR04,
author = {David D{\'{e}}harbe and
Abdessamad Imine and
Silvio Ranise},
editor = {Bruno Buchberger and
John A. Campbell},
title = {Abstraction-Driven Verification of Array Programs},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {271--275},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_23},
doi = {10.1007/978-3-540-30210-0\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/DeharbeIR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/Deharbe04,
author = {David D{\'{e}}harbe},
editor = {Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
title = {Techniques for Temporal Logic Model Checking},
booktitle = {Refinement Techniques in Software Engineering, First Pernambuco Summer
School on Software Engineering, {PSSE} 2004, Recife, Brazil, November
23-December 5, 2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3167},
pages = {315--367},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11889229\_8},
doi = {10.1007/11889229\_8},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/psse/Deharbe04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaCVD05,
author = {Umberto Souza da Costa and
S{\'{e}}rgio Vale Aguiar Campos and
Newton Vieira and
David D{\'{e}}harbe},
editor = {Alexandre Mota and
Arnaldo V. Moura},
title = {Explicit-Symbolic Modelling for Formal Verification},
booktitle = {Proceedings of the Seventh Brazilian Symposium on Formal Methods,
{SBMF} 2004, Recife, Pernambuco, Brazil, November 29 - December 1,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {130},
pages = {301--321},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.03.016},
doi = {10.1016/J.ENTCS.2005.03.016},
timestamp = {Mon, 12 Dec 2022 15:57:02 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CostaCVD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DeharbeR03,
author = {David D{\'{e}}harbe and
Silvio Ranise},
title = {Light-Weight Theorem Proving for Debugging and Verifying Units of
Code},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {220--228},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236224},
doi = {10.1109/SEFM.2003.1236224},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DeharbeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaniseD03,
author = {Silvio Ranise and
David D{\'{e}}harbe},
editor = {Ingo Dahn and
Laurent Vigneron},
title = {Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer
Programs},
booktitle = {4th International Workshop on First-Order Theorem Proving, {FTP} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {1},
pages = {105--119},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80656-X},
doi = {10.1016/S1571-0661(04)80656-X},
timestamp = {Thu, 08 Dec 2022 13:39:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RaniseD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CouchotDDGR04,
author = {Jean{-}Fran{\c{c}}ois Couchot and
Fr{\'{e}}d{\'{e}}ric Dadeau and
David D{\'{e}}harbe and
Alain Giorgetti and
Silvio Ranise},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {Proving and Debugging Set-Based Specifications},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {189--208},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.012},
doi = {10.1016/J.ENTCS.2004.04.012},
timestamp = {Wed, 07 Dec 2022 10:40:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CouchotDDGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/kl/03/Deharbe03,
author = {David D{\'{e}}harbe},
editor = {Ruy J. G. B. de Queiroz},
title = {A Tutorial Introduction to Symbolic Model Checking},
booktitle = {Logic for Concurrency and Synchronisation},
series = {Trends in Logic},
volume = {18},
pages = {215--237},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48088-3\_5},
doi = {10.1007/0-306-48088-3\_5},
timestamp = {Wed, 13 May 2020 14:56:22 +0200},
biburl = {https://dblp.org/rec/books/kl/03/Deharbe03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/VidalDB02,
author = {Jorgiano Vidal and
David D{\'{e}}harbe and
Dominique Borrione},
title = {Improving Static Ordering of BDDs for Reachability Analysis},
booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
{IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
pages = {73--77},
year = {2002},
timestamp = {Sun, 04 Aug 2019 18:01:44 +0200},
biburl = {https://dblp.org/rec/conf/iwls/VidalDB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/DeharbeMR02,
author = {David D{\'{e}}harbe and
Anamaria Martins Moreira and
Christophe Ringeissen},
editor = {Sophie Tison},
title = {Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {207--221},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_15},
doi = {10.1007/3-540-45610-4\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/DeharbeMR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/LimaMDPSV02,
author = {Gleydson Lima and
Anamaria Martins Moreira and
David D{\'{e}}harbe and
David Ricardo Do Vale Pereira and
Dem{\'{o}}stenes Sena and
Jorgiano Vidal},
editor = {Leila Ribeiro},
title = {{FERUS:} Um Ambiente de Desenvolvimento de Especifica{\c{c}}{\~{o}}es
{CASL}},
booktitle = {Proceedings of the 16th Brazilian Symposium on Software Engineering,
{SBES} 2002, Gramado, RS, Brazil, October 16-18, 2002},
pages = {396--401},
publisher = {{SBC}},
year = {2002},
url = {https://doi.org/10.5753/sbes.2002.23965},
doi = {10.5753/SBES.2002.23965},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/LimaMDPSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/DeharbeV01,
author = {David D{\'{e}}harbe and
Jorgiano M{\'{a}}rcio Bruno Vidal},
title = {Optimizing BDD-Based Verification Analysing Variable Dependencies},
booktitle = {Proceedings of the 14th Annual Symposium on Integrated Circuits and
Systems Design, {SBCCI} 2001, Pirenopolis, Brazil, September 10-15,
2001},
pages = {64--71},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://dl.acm.org/doi/10.5555/882483.883896},
doi = {10.5555/882483.883896},
timestamp = {Fri, 03 Jun 2022 10:49:44 +0200},
biburl = {https://dblp.org/rec/conf/sbcci/DeharbeV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/MedeirosD01,
author = {S{\'{e}}rgio Queiroz de Medeiros and
David D{\'{e}}harbe},
editor = {Cl{\'{a}}udia M. L. Werner},
title = {BDDmeter - Uma Ferramenta para Visualiza{\c{c}}{\~{a}}o Din{\^{a}}mica
de BDDs},
booktitle = {Proceedings of the 15th Brazilian Symposium on Software Engineering,
{SBES} 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001},
pages = {350--355},
publisher = {{SBC}},
year = {2001},
url = {https://doi.org/10.5753/sbes.2001.24001},
doi = {10.5753/SBES.2001.24001},
timestamp = {Wed, 10 Jan 2024 10:59:42 +0100},
biburl = {https://dblp.org/rec/conf/sbes/MedeirosD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rita/DeharbeMRR00,
author = {David D{\'{e}}harbe and
Anamaria Martins Moreira and
Leila Ribeiro and
Vanderlei Moraes Rodrigues},
title = {Introdu{\c{c}}{\~{a}}o a M{\'{e}}todos Formais: Especifica{\c{c}}{\~{a}}o,
Sem{\^{a}}ntica e Verifica{\c{c}}{\~{a}}o de Sistemas Concorrentes},
journal = {{RITA}},
volume = {7},
number = {1},
pages = {7--48},
year = {2000},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rita/DeharbeMRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/CostaDM00,
author = {Umberto Souza da Costa and
David D{\'{e}}harbe and
Anamaria Martins Moreira},
editor = {Hamid R. Arabnia},
title = {Variable Ordering of BDDs with Parallel Genetic Algorithms},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/CostaDM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DeharbeM99,
author = {David D{\'{e}}harbe and
Anamaria Martins Moreira},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Symbolic Model Checking with Fewer Fixpoint Computations},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {272--288},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_17},
doi = {10.1007/3-540-48119-2\_17},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DeharbeM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeharbeSC98,
author = {David D{\'{e}}harbe and
Subash Shankar and
Edmund M. Clarke},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Model Checking {VHDL} with {CV}},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {508--514},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_33},
doi = {10.1007/3-540-49519-3\_33},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DeharbeSC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/DeharbeSC98,
author = {David D{\'{e}}harbe and
Subash Shankar and
Edmund M. Clarke},
title = {Formal Verification of {VHDL} {\textthreequarters} The Model Checker
{CV}},
booktitle = {Proceedings of the 11th Annual Symposium on Integrated Circuits Design,
{SBCCI} 1998, Rio de Janiero, Brazil, September 30 - October 2, 1998},
pages = {95--98},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.ieeecomputersociety.org/10.1109/SBCCI.1998.715418},
doi = {10.1109/SBCCI.1998.715418},
timestamp = {Fri, 27 May 2022 10:20:08 +0200},
biburl = {https://dblp.org/rec/conf/sbcci/DeharbeSC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DeharbeM97,
author = {David D{\'{e}}harbe and
Anamaria Martins Moreira},
editor = {Hon Fung Li and
David K. Probst},
title = {Using induction and BDDs to model check invariants},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {203--213},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 18 Feb 2010 08:37:22 +0100},
biburl = {https://dblp.org/rec/conf/charme/DeharbeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BorrioneBDFW96,
author = {Dominique Borrione and
H. Bouamama and
David D{\'{e}}harbe and
C. Le Faou and
Ayman M. Wahba},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {HDL-Based Integration of Formal Methods and {CAD} Tools in the {PREVAIL}
Environment},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {450--467},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031827},
doi = {10.1007/BFB0031827},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BorrioneBDFW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DeharbeB95,
author = {David D{\'{e}}harbe and
Dominique Borrione},
editor = {Paolo Camurati and
Hans Eveking},
title = {Semantics of a verification-oriented subset of {VHDL}},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {293--310},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_18},
doi = {10.1007/3-540-60385-9\_18},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/DeharbeB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 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:
