BibTeX records: Mikhail R. Gadelha

download as .bib file

@inproceedings{DBLP:conf/fase/AldughaimAGFC23,
  author       = {Mohannad Aldughaim and
                  Kaled M. Alshmrany and
                  Mikhail R. Gadelha and
                  Rosiane de Freitas and
                  Lucas C. Cordeiro},
  editor       = {Leen Lambers and
                  Sebasti{\'{a}}n Uchitel},
  title        = {FuSeBMC{\_}IA: Interval Analysis and Methods for Test Case Generation
                  - (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 26th International
                  Conference, {FASE} 2023, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April
                  22-27, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13991},
  pages        = {324--329},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30826-0\_18},
  doi          = {10.1007/978-3-031-30826-0\_18},
  timestamp    = {Sat, 13 May 2023 01:07:19 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AldughaimAGFC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/SongGBMC23,
  author       = {Kunjian Song and
                  Mikhail R. Gadelha and
                  Franz Brau{\ss}e and
                  Rafael S. Menezes and
                  Lucas C. Cordeiro},
  editor       = {Haniel Barbosa and
                  Yoni Zohar},
  title        = {{ESBMC} v7.3: Model Checking {C++} Programs Using Clang {AST}},
  booktitle    = {Formal Methods: Foundations and Applications - 26th Brazilian Symposium,
                  {SBMF} 2023, Manaus, Brazil, December 4-8, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14414},
  pages        = {141--152},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-49342-3\_9},
  doi          = {10.1007/978-3-031-49342-3\_9},
  timestamp    = {Sat, 09 Dec 2023 13:01:17 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/SongGBMC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-05649,
  author       = {Kunjian Song and
                  Mikhail R. Gadelha and
                  Franz Brau{\ss}e and
                  Rafael S. Menezes and
                  Lucas C. Cordeiro},
  title        = {{ESBMC} v7.3: Model Checking {C++} Programs using Clang {AST}},
  journal      = {CoRR},
  volume       = {abs/2308.05649},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.05649},
  doi          = {10.48550/ARXIV.2308.05649},
  eprinttype    = {arXiv},
  eprint       = {2308.05649},
  timestamp    = {Wed, 23 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-05649.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-14746,
  author       = {Rafael Menezes and
                  Mohannad Aldughaim and
                  Bruno Farias and
                  Xianzhiyu Li and
                  Edoardo Manino and
                  Fedor Shmarov and
                  Kunjian Song and
                  Franz Brau{\ss}e and
                  Mikhail R. Gadelha and
                  Norbert Tihanyi and
                  Konstantin Korovin and
                  Lucas C. Cordeiro},
  title        = {{ESBMC} v7.4: Harnessing the Power of Intervals},
  journal      = {CoRR},
  volume       = {abs/2312.14746},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.14746},
  doi          = {10.48550/ARXIV.2312.14746},
  eprinttype    = {arXiv},
  eprint       = {2312.14746},
  timestamp    = {Thu, 18 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-14746.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/MonteiroGC22,
  author       = {Felipe R. Monteiro and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro},
  title        = {Model checking {C++} programs},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {32},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.1002/stvr.1793},
  doi          = {10.1002/STVR.1793},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/MonteiroGC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MonteiroGC22,
  author       = {Felipe R. Monteiro and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro},
  title        = {Summary of Model Checking {C++} Programs},
  booktitle    = {15th {IEEE} Conference on Software Testing, Verification and Validation,
                  {ICST} 2022, Valencia, Spain, April 4-14, 2022},
  pages        = {461},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICST53961.2022.00054},
  doi          = {10.1109/ICST53961.2022.00054},
  timestamp    = {Mon, 13 Jun 2022 16:53:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/MonteiroGC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BrausseSMGKRC22,
  author       = {Franz Brau{\ss}e and
                  Fedor Shmarov and
                  Rafael Menezes and
                  Mikhail R. Gadelha and
                  Konstantin Korovin and
                  Giles Reger and
                  Lucas C. Cordeiro},
  editor       = {Sukyoung Ryu and
                  Yannis Smaragdakis},
  title        = {{ESBMC-CHERI:} towards verification of {C} programs for {CHERI} platforms
                  with {ESBMC}},
  booktitle    = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
                  Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
  pages        = {773--776},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3533767.3543289},
  doi          = {10.1145/3533767.3543289},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BrausseSMGKRC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AlhawiRGCF21,
  author       = {Omar M. Alhawi and
                  Herbert Rocha and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro and
                  Eddie Batista de Lima Filho},
  title        = {Verification and refutation of {C} programs based on k-induction and
                  invariant inference},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {23},
  number       = {2},
  pages        = {115--135},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10009-020-00564-1},
  doi          = {10.1007/S10009-020-00564-1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/AlhawiRGCF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GadelhaMC21,
  author       = {Mikhail R. Gadelha and
                  Rafael S. Menezes and
                  Lucas C. Cordeiro},
  title        = {{ESBMC} 6.1: automated test case generation using bounded model checking},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {23},
  number       = {6},
  pages        = {857--861},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10009-020-00571-2},
  doi          = {10.1007/S10009-020-00571-2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GadelhaMC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlshmranyMGC21,
  author       = {Kaled M. Alshmrany and
                  Rafael S. Menezes and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro},
  editor       = {Esther Guerra and
                  Mari{\"{e}}lle Stoelinga},
  title        = {FuSeBMC: {A} White-Box Fuzzer for Finding Security Vulnerabilities
                  in {C} Programs (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 24th International
                  Conference, {FASE} 2021, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City,
                  Luxembourg, March 27 - April 1, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12649},
  pages        = {363--367},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-71500-7\_19},
  doi          = {10.1007/978-3-030-71500-7\_19},
  timestamp    = {Fri, 14 May 2021 08:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AlshmranyMGC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/FernandesABGKT21,
  author       = {Everlandio Fernandes and
                  Everton Lima Aleixo and
                  Wesley Jacinto Barreira and
                  Mikhail R. Gadelha and
                  Aasim Khurshid and
                  Sergio Cleger Tamayo},
  editor       = {Helmut Degen and
                  Stavroula Ntoa},
  title        = {Visual Prediction Based on Photorealistic Style Transfer},
  booktitle    = {Artificial Intelligence in {HCI} - Second International Conference,
                  {AI-HCI} 2021, Held as Part of the 23rd {HCI} International Conference,
                  {HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12797},
  pages        = {301--309},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77772-2\_20},
  doi          = {10.1007/978-3-030-77772-2\_20},
  timestamp    = {Tue, 20 Jul 2021 15:29:20 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/FernandesABGKT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/KawakamiKG21,
  author       = {Guto Kawakami and
                  Aasim Khurshid and
                  Mikhail R. Gadelha},
  editor       = {Constantine Stephanidis and
                  Margherita Antona and
                  Stavroula Ntoa},
  title        = {Software Usability Evaluation for Augmented Reality Through User Tests},
  booktitle    = {{HCI} International 2021 - Late Breaking Posters - 23rd {HCI} International
                  Conference, {HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings,
                  Part {I}},
  series       = {Communications in Computer and Information Science},
  volume       = {1498},
  pages        = {349--356},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90176-9\_45},
  doi          = {10.1007/978-3-030-90176-9\_45},
  timestamp    = {Tue, 09 Nov 2021 12:20:11 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/KawakamiKG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01093,
  author       = {Felipe R. Monteiro and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro},
  title        = {Model Checking {C++} Programs},
  journal      = {CoRR},
  volume       = {abs/2107.01093},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.01093},
  eprinttype    = {arXiv},
  eprint       = {2107.01093},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01093.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GadelhaMMCN20,
  author       = {Mikhail Y. R. Gadelha and
                  Rafael Menezes and
                  Felipe R. Monteiro and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  editor       = {Heike Wehrheim and
                  Jordi Cabot},
  title        = {{ESBMC:} Scalable and Precise Test Generation based on the Floating-Point
                  Theory - (Competition Contribution)},
  booktitle    = {Fundamental Approaches to Software Engineering - 23rd International
                  Conference, {FASE} 2020, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
                  April 25-30, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12076},
  pages        = {525--529},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45234-6\_27},
  doi          = {10.1007/978-3-030-45234-6\_27},
  timestamp    = {Fri, 14 May 2021 08:34:14 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/GadelhaMMCN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/GilPFGBG20,
  author       = {Adriano Gil and
                  Juliana Postal and
                  Ad{\'{e}}lia Ferreira and
                  Daydlene Gon{\c{c}}alves and
                  Bianca Hayek Bianco and
                  Mikhail R. Gadelha},
  editor       = {Constantine Stephanidis and
                  Margherita Antona and
                  Qin Gao and
                  Jia Zhou},
  title        = {Automatic Contrast Evaluation for Android Themes},
  booktitle    = {{HCI} International 2020 - Late Breaking Papers: Universal Access
                  and Inclusive Design - 22nd {HCI} International Conference, {HCII}
                  2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12426},
  pages        = {267--278},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60149-2\_21},
  doi          = {10.1007/978-3-030-60149-2\_21},
  timestamp    = {Fri, 25 Sep 2020 12:07:23 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/GilPFGBG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/GadelhaCN20,
  author       = {Mikhail R. Gadelha and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  editor       = {Maria Christakis and
                  Nadia Polikarpova and
                  Parasara Sridhar Duggirala and
                  Peter Schrammel},
  title        = {An Efficient Floating-Point Bit-Blasting {API} for Verifying {C} Programs},
  booktitle    = {Software Verification - 12th International Conference, {VSTTE} 2020,
                  and 13th International Workshop, {NSV} 2020, Los Angeles, CA, USA,
                  July 20-21, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12549},
  pages        = {178--195},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63618-0\_11},
  doi          = {10.1007/978-3-030-63618-0\_11},
  timestamp    = {Thu, 17 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vstte/GadelhaCN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12699,
  author       = {Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  title        = {An Efficient Floating-Point Bit-Blasting {API} for Verifying {C} Programs},
  journal      = {CoRR},
  volume       = {abs/2004.12699},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.12699},
  eprinttype    = {arXiv},
  eprint       = {2004.12699},
  timestamp    = {Wed, 29 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-12699.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-11223,
  author       = {Kaled M. Alshmrany and
                  Rafael S. Menezes and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro},
  title        = {FuSeBMC: {A} White-Box Fuzzer for Finding Security Vulnerabilities
                  in {C} Programs},
  journal      = {CoRR},
  volume       = {abs/2012.11223},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.11223},
  eprinttype    = {arXiv},
  eprint       = {2012.11223},
  timestamp    = {Mon, 04 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-11223.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Gadelha19,
  author       = {Mikhail Y. R. Gadelha},
  title        = {Scalable and precise verification based on k-induction, symbolic execution
                  and floating-point theory},
  school       = {University of Southampton, {UK}},
  year         = {2019},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.786693},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Gadelha19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/FernandesCGPG19,
  author       = {Everlandio Fernandes and
                  Rodrigo Correia and
                  Adriano Gil and
                  Juliana Postal and
                  Mikhail R. Gadelha},
  editor       = {Constantine Stephanidis and
                  Margherita Antona},
  title        = {Themes Validation Tool},
  booktitle    = {{HCI} International 2019 - Late Breaking Posters - 21st {HCI} International
                  Conference, {HCII} 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1088},
  pages        = {16--22},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30712-7\_3},
  doi          = {10.1007/978-3-030-30712-7\_3},
  timestamp    = {Thu, 26 Sep 2019 15:06:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/FernandesCGPG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/KhurshidTFGT19,
  author       = {Aasim Khurshid and
                  Sergio Cleger Tamayo and
                  Everlandio Fernandes and
                  Mikhail R. Gadelha and
                  Mauro Te{\'{o}}filo},
  editor       = {Constantine Stephanidis},
  title        = {A Robust and Real-Time Face Anti-spoofing Method Based on Texture
                  Feature Analysis},
  booktitle    = {{HCI} International 2019 - Late Breaking Papers - 21st {HCI} International
                  Conference, {HCII} 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11786},
  pages        = {484--496},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30033-3\_37},
  doi          = {10.1007/978-3-030-30033-3\_37},
  timestamp    = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/KhurshidTFGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GadelhaSC0N19,
  author       = {Mikhail Y. R. Gadelha and
                  Enrico Steffinlongo and
                  Lucas C. Cordeiro and
                  Bernd Fischer and
                  Denis A. Nicole},
  editor       = {Joanne M. Atlee and
                  Tevfik Bultan and
                  Jon Whittle},
  title        = {SMT-based refutation of spurious bug reports in the clang static analyzer},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering:
                  Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
                  2019},
  pages        = {11--14},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE-Companion.2019.00026},
  doi          = {10.1109/ICSE-COMPANION.2019.00026},
  timestamp    = {Tue, 24 May 2022 15:28:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/GadelhaSC0N19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/SenaBGCM19,
  author       = {Luiz H. Sena and
                  Iury Valente de Bessa and
                  Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Edjard Mota},
  title        = {Incremental Bounded Model Checking of Artificial Neural Networks in
                  {CUDA}},
  booktitle    = {{IX} Brazilian Symposium on Computing Systems Engineering, {SBESC}
                  2019, Natal, Brazil, November 19-22, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SBESC49506.2019.9046094},
  doi          = {10.1109/SBESC49506.2019.9046094},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbesc/SenaBGCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GadelhaMCN19,
  author       = {Mikhail Y. R. Gadelha and
                  Felipe R. Monteiro and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  editor       = {Dirk Beyer and
                  Marieke Huisman and
                  Fabrice Kordon and
                  Bernhard Steffen},
  title        = {{ESBMC} v6.0: Verifying {C} Programs Using k-Induction and Invariant
                  Inference - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
                  Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11429},
  pages        = {209--213},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17502-3\_15},
  doi          = {10.1007/978-3-030-17502-3\_15},
  timestamp    = {Fri, 09 Apr 2021 18:45:37 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GadelhaMCN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/MonteiroGC19,
  author       = {Felipe R. Monteiro and
                  Mikhail R. Gadelha and
                  Lucas C. Cordeiro},
  title        = {Experimental Data for Model Checking {C++03} Programs},
  publisher    = {{IEEE} DataPort},
  year         = {2019},
  month        = sep,
  howpublished = {\url{https://doi.org/10.21227/h44f-fp94}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.21227/h44f-fp94},
  doi          = {10.21227/H44F-FP94},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/data/10/MonteiroGC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02501,
  author       = {Mikhail Y. R. Gadelha and
                  Felipe R. Monteiro and
                  Enrico Steffinlongo and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  title        = {Beyond k-induction: Learning from Counterexamples to Bidirectionally
                  Explore the State Space},
  journal      = {CoRR},
  volume       = {abs/1904.02501},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.02501},
  eprinttype    = {arXiv},
  eprint       = {1904.02501},
  timestamp    = {Wed, 24 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-02501.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06152,
  author       = {Felipe R. Monteiro and
                  Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro},
  title        = {Boost the Impact of Continuous Formal Verification in Industry},
  journal      = {CoRR},
  volume       = {abs/1904.06152},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.06152},
  eprinttype    = {arXiv},
  eprint       = {1904.06152},
  timestamp    = {Thu, 25 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-06152.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12933,
  author       = {Luiz H. Sena and
                  Iury Valente de Bessa and
                  Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Edjard Mota},
  title        = {Incremental Bounded Model Checking of Artificial Neural Networks in
                  {CUDA}},
  journal      = {CoRR},
  volume       = {abs/1907.12933},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.12933},
  eprinttype    = {arXiv},
  eprint       = {1907.12933},
  timestamp    = {Fri, 02 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-12933.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GadelhaMMC0N18,
  author       = {Mikhail Y. R. Gadelha and
                  Felipe R. Monteiro and
                  Jeremy Morse and
                  Lucas C. Cordeiro and
                  Bernd Fischer and
                  Denis A. Nicole},
  editor       = {Marianne Huchard and
                  Christian K{\"{a}}stner and
                  Gordon Fraser},
  title        = {{ESBMC} 5.0: an industrial-strength {C} model checker},
  booktitle    = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
                  Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
                  2018},
  pages        = {888--891},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3238147.3240481},
  doi          = {10.1145/3238147.3240481},
  timestamp    = {Thu, 23 Jun 2022 19:54:17 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/GadelhaMMC0N18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GadelhaMCN18,
  author       = {Mikhail Y. R. Gadelha and
                  Felipe R. Monteiro and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  editor       = {Gary T. Leavens and
                  Alessandro Garcia and
                  Corina S. Pasareanu},
  title        = {Towards counterexample-guided k-induction for fast bug detection},
  booktitle    = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
                  2018},
  pages        = {765--769},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236024.3264840},
  doi          = {10.1145/3236024.3264840},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GadelhaMCN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-12041,
  author       = {Mikhail Y. R. Gadelha and
                  Enrico Steffinlongo and
                  Lucas C. Cordeiro and
                  Bernd Fischer and
                  Denis A. Nicole},
  title        = {SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer},
  journal      = {CoRR},
  volume       = {abs/1810.12041},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.12041},
  eprinttype    = {arXiv},
  eprint       = {1810.12041},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-12041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GadelhaIC17,
  author       = {Mikhail Y. R. Gadelha and
                  Hussama Ibrahim Ismail and
                  Lucas C. Cordeiro},
  title        = {Handling loops in bounded model checking of {C} programs via k-induction},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {19},
  number       = {1},
  pages        = {97--114},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10009-015-0407-9},
  doi          = {10.1007/S10009-015-0407-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GadelhaIC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GadelhaCN17,
  author       = {Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  editor       = {Simone Andr{\'{e}} da Costa Cavalheiro and
                  Jos{\'{e}} Luiz Fiadeiro},
  title        = {Encoding Floating-Point Numbers Using the {SMT} Theory in {ESBMC:}
                  An Empirical Evaluation over the {SV-COMP} Benchmarks},
  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        = {91--106},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70848-5\_7},
  doi          = {10.1007/978-3-319-70848-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/GadelhaCN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GadelhaCN17,
  author       = {Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Denis A. Nicole},
  title        = {Counterexample-Guided k-Induction Verification for Fast Bug Detection},
  journal      = {CoRR},
  volume       = {abs/1706.02136},
  year         = {2017},
  url          = {http://arxiv.org/abs/1706.02136},
  eprinttype    = {arXiv},
  eprint       = {1706.02136},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GadelhaCN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/AbreuGCFS16,
  author       = {Renato B. Abreu and
                  Mikhail Y. R. Gadelha and
                  Lucas C. Cordeiro and
                  Eddie Batista de Lima Filho and
                  Waldir Sabino da Silva Jr.},
  title        = {Bounded model checking for fixed-point digital filters},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {22},
  number       = {1},
  pages        = {1:1--1:20},
  year         = {2016},
  url          = {https://doi.org/10.1186/s13173-016-0041-8},
  doi          = {10.1186/S13173-016-0041-8},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jbcs/AbreuGCFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/GadelhaFC12,
  author       = {Mikhail Y. R. Gadelha and
                  Cicero Ferreira Fernandes Costa Filho and
                  Marly Guimar{\~{a}}es Fernandes Costa},
  editor       = {Nick Savage and
                  Safwan El Assad and
                  Charles A. Shoniregun},
  title        = {Proposal of a cryptography method using gray scale digital images},
  booktitle    = {7th International Conference for Internet Technology and Secured Transactions,
                  {ICITST} 2012, London, United Kingdom, December 10-12, 2012},
  pages        = {331--335},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6470971/},
  timestamp    = {Thu, 10 Mar 2022 09:31:39 +0100},
  biburl       = {https://dblp.org/rec/conf/icitst/GadelhaFC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics