( en | de | ru )

 

Disambiguierung von "Dor, Nurit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Software validation via scalable path-sensitive value flow analysis.

, , , und . ISSTA, Seite 12-22. ACM, (2004)

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.

Nurit Seewi

dor Gulyás

Tamás V dor

dor Lupaskói Hizden

Ivo-Nino Dor i

 

Weitere Publikationen von Autoren mit dem selben Namen

Combined static and dynamic analysis for inferring program dependencies using a pattern language., , , und . CASCON, Seite 27-38. IBM, (2006)Numerical Domains with Summarized Dimensions, , , , und . Proc. TACAS 2004, Volume 2988 von LNCS, Seite 512--529. (2004)Cleanness Checking of String Manipulations in C Programs via Integer Analysis., , und . SAS, Volume 2126 von Lecture Notes in Computer Science, Seite 194-212. Springer, (2001)Checking Cleanness in Linked Lists., , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 115-134. Springer, (2000)CSSV: towards a realistic tool for statically detecting all buffer overflows in C., , und . PLDI, Seite 155-167. ACM, (2003)Effective typestate verification in the presence of aliasing., , , , und . ISSTA, Seite 133-144. ACM, (2006)Numeric Domains with Summarized Dimensions., , , , und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 512-529. Springer, (2004)Automatic verification of program cleanness. Tel Aviv University, Israel, (2003)Tel Aviv University Library.From typestate verification to interpretable deep models (invited talk abstract)., , , , und . ISSTA, Seite 4-5. ACM, (2019)Checking Cleanness in Linked Lists, , und . Static Analysis Symposium, Seite 115--134. (2000)