( en | de | ru )

 

Disambiguierung von "Navas, Jorge A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Fault-Tolerant Protocols with Sally.

, , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 113-120. Springer, (2018)

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.

Jorge Francisco Azofeifa-Navas

Juan Navas

Jorge A Portocarrero Quispe

Gilberto Navas

Byron Navas

 

Weitere Publikationen von Autoren mit dem selben Namen

Path-Sensitive Backward Slicing., , , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)Verification of Fault-Tolerant Protocols with Sally., , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 113-120. Springer, (2018)Unbounded Symbolic Execution for Program Verification., , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 396-411. Springer, (2011)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , und . LOPSTR, Volume 4915 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2007)Abstract Interpretation of LLVM with a Region-Based Memory Model., und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 122-144. Springer, (2021)A Study of Set-Sharing Analysis via Clique., , und . WLPE, Seite 31-45. (2005)OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis., und . ACM Queue, 20 (5): 58-85 (2022)Boosting concolic testing via interpolation., , und . ESEC/SIGSOFT FSE, Seite 48-58. ACM, (2013)A study of set-sharing analysis via cliques., , und . CoRR, (2005)Efficient Top-Down Set-Sharing Analysis Using Cliques., , und . PADL, Volume 3819 von Lecture Notes in Computer Science, Seite 183-198. Springer, (2006)