Zobrazeno 1 - 10
of 685
pro vyhledávání: '"Menezes, A. S."'
Autor:
Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a new Clang-based C++ front-end to address the challenges posed by mode
Externí odkaz:
http://arxiv.org/abs/2406.17862
This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context-Bounded Model Checker version, which now incorporates a new clang-based C++ front-end. While the previous CPROVER-based front-end served well for handling C++03 programs, it enc
Externí odkaz:
http://arxiv.org/abs/2308.05649
Autor:
Bashir, Amna, Shad, Naveed Akhtar, Imran, Zahid, Ahmed, Mushtaq, Haq, Zia ul, Khawar, Muhammad Ramzan, de Menezes, Alan S., Javed, Yasir, Choi, Dongwhi
Publikováno v:
In Materials Science in Semiconductor Processing January 2025 185
Autor:
Queiroz, Maria N., Morais, Taís S., Dias, Tatielle G., Barros, Jaqueline D.S., Dutra, Richard P., Reis, Aramys S., de Menezes, Alan S., Steimacher, Alysson, Pedrochi, Franciana
Publikováno v:
In Journal of Non-Crystalline Solids 15 December 2024 646
Autor:
Menezes, Lucas S., Russo, Ana, Libonati, Renata, Trigo, Ricardo M., Pereira, José M.C., Benali, Akli, Ramos, Alexandre M., Gouveia, Célia M., Morales Rodriguez, Carlos A., Deus, Ricardo
Publikováno v:
In Agricultural and Forest Meteorology 15 August 2024 355
Autor:
Macedo, Arilton R.S., Castro, Rosane de P., Melo, Ezequiel B., Rodrigues, Jéssica A.O., dos Santos, Adenilson O., Sabino, José R., Sinfrônio, Francisco S.M., de Menezes, Alan S.
Publikováno v:
In Journal of Solid State Chemistry March 2024 331
We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find security vulnerabilities in C programs. FuSeBMC explores and analyzes C pr
Externí odkaz:
http://arxiv.org/abs/2012.11223
Autor:
Prata Menezes, Neia S.1 (AUTHOR), Mehta, Shruti H.1 (AUTHOR) smehta@jhu.edu, Wesolowski, Amy1 (AUTHOR), Clipman, Steven J.2 (AUTHOR), Srikrishnan, Aylur K.3 (AUTHOR), Kumar, Muniratnam S.3 (AUTHOR), Zook, Katie J. C.2 (AUTHOR), Lucas, Gregory M.2 (AUTHOR), Latkin, Carl2,4 (AUTHOR), Solomon, Sunil S.2,3 (AUTHOR)
Publikováno v:
Journal of the International AIDS Society. Apr2024, Vol. 27 Issue 4, p1-12. 12p.
Autor:
Rodrigues, Jessica A.O., Torres, Adriano U., de Sousa, Natan A.B., de Sousa, Thallysson J.D., Neto, João G. Oliveira, Reis, Aramys S., Lage, Mateus R., dos Santos, Adenilson O., dos Santos, Clenilton C., de Menezes, Alan S., de Sousa, Francisco F.
Publikováno v:
In Journal of Molecular Structure 5 December 2023 1293
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.