( en | de | ru )

 

Disambiguierung von "Navas, Jorge A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unification-based Pointer Analysis without Oversharing.

, , und . FMCAD, Seite 37-45. IEEE, (2019)

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

Verification of Fault-Tolerant Protocols with Sally., , und . NFM, Volume 10811 von Lecture Notes in Computer Science, Seite 113-120. Springer, (2018)Path-Sensitive Backward Slicing., , , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 231-247. Springer, (2012)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)Boosting concolic testing via interpolation., , und . ESEC/SIGSOFT FSE, Seite 48-58. ACM, (2013)A Fresh Look at Zones and Octagons., , , , , und . ACM Trans. Program. Lang. Syst., 43 (3): 11:1-11:51 (2021)Dissecting Widening: Separating Termination from Information., , , , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 95-114. Springer, (2019)Disjunctive Interval Analysis., , , , und . SAS, Volume 12913 von Lecture Notes in Computer Science, Seite 144-165. Springer, (2021)