Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Mikhail R. Gadelha
@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} }
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.