( en | de | ru )

 

Disambiguation of "Dor, Nurit"

Author of the publication

copydeleteadd this publication to your clipboard
From typestate verification to interpretable deep models (invited talk abstract).

, , , , and . ISSTA, page 4-5. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nurit Seewi

dor Gulyás

Tamás V dor

dor Lupaskói Hizden

Ivo-Nino Dor i

 

Other publications of authors with the same name

Combined static and dynamic analysis for inferring program dependencies using a pattern language., , , and . CASCON, page 27-38. IBM, (2006)Cleanness Checking of String Manipulations in C Programs via Integer Analysis., , and . SAS, volume 2126 of Lecture Notes in Computer Science, page 194-212. Springer, (2001)Checking Cleanness in Linked Lists., , and . SAS, volume 1824 of Lecture Notes in Computer Science, page 115-134. Springer, (2000)CSSV: towards a realistic tool for statically detecting all buffer overflows in C., , and . PLDI, page 155-167. ACM, (2003)Effective typestate verification in the presence of aliasing., , , , and . ISSTA, page 133-144. ACM, (2006)Numerical Domains with Summarized Dimensions, , , , and . Proc. TACAS 2004, volume 2988 of LNCS, page 512--529. (2004)Detecting Memory Errors via Static Pointer Analysis. School of Computer Science, Tel-Aviv University, (May 1999)Detecting Memory Errors via Static Pointer Analysis, , and . ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE'98, ACM Press, (1998)Cleanness Checking of String Manipulations in C Programs via Integer Analysis, , and . Static Analysis Symposium, volume 2126 of Lecture Notes in Computer Science, page 194--??. Springer Verlag, (June 2001)CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C, , and . #PLDI03#, (2003)