( en | de | ru )

 

Disambiguierung von "Gadelha, Mikhail R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking C++ Programs.

, , und . CoRR, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kaciano Barbosa Gadelha

Mikhail Dobrynin

Mikhail Salzmann

Mikhail Karnevskiy

Mikhail Filippov

 

Weitere Publikationen von Autoren mit dem selben Namen

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , und . CoRR, (2020)ESBMC v7.3: Model Checking C++ Programs Using Clang AST., , , , und . SBMF, Volume 14414 von Lecture Notes in Computer Science, Seite 141-152. Springer, (2023)A Robust and Real-Time Face Anti-spoofing Method Based on Texture Feature Analysis., , , , und . HCI (LBP), Volume 11786 von Lecture Notes in Computer Science, Seite 484-496. Springer, (2019)Verification and refutation of C programs based on k-induction and invariant inference., , , , und . Int. J. Softw. Tools Technol. Transf., 23 (2): 115-135 (2021)ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)., , , , , , , , , und 2 andere Autor(en). TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 376-380. Springer, (2024)Software Usability Evaluation for Augmented Reality Through User Tests., , und . HCI (44), Volume 1498 von Communications in Computer and Information Science, Seite 349-356. Springer, (2021)Experimental Data for Model Checking C++03 Programs., , und . (September 2019)Themes Validation Tool., , , , und . HCI (37), Volume 1088 von Communications in Computer and Information Science, Seite 16-22. Springer, (2019)Model checking C++ programs., , und . Softw. Test. Verification Reliab., (2022)ESBMC 6.1: automated test case generation using bounded model checking., , und . Int. J. Softw. Tools Technol. Transf., 23 (6): 857-861 (2021)