| 2008 |
|---|
| 9 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2006 |
|---|
| 8 | EE | Inbal Ronen,
Nurit Dor,
Sara Porat,
Yael Dubinsky:
Combined static and dynamic analysis for inferring program dependencies using a pattern language.
CASCON 2006: 27-38 |
| 7 | EE | Stephen J. Fink,
Eran Yahav,
Nurit Dor,
G. Ramalingam,
Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
ISSTA 2006: 133-144 |
| 2004 |
|---|
| 6 | EE | Nurit Dor,
Stephen Adams,
Manuvir Das,
Zhe Yang:
Software validation via scalable path-sensitive value flow analysis.
ISSTA 2004: 12-22 |
| 5 | EE | Denis Gopan,
Frank DiMaio,
Nurit Dor,
Thomas W. Reps,
Shmuel Sagiv:
Numeric Domains with Summarized Dimensions.
TACAS 2004: 512-529 |
| 2003 |
|---|
| 4 | EE | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
CSSV: towards a realistic tool for statically detecting all buffer overflows in C.
PLDI 2003: 155-167 |
| 2001 |
|---|
| 3 | EE | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
Cleanness Checking of String Manipulations in C Programs via Integer Analysis.
SAS 2001: 194-212 |
| 2000 |
|---|
| 2 | | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
Checking Cleanness in Linked Lists.
SAS 2000: 115-134 |
| 1998 |
|---|
| 1 | EE | Nurit Dor,
Michael Rodeh,
Shmuel Sagiv:
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).
PASTE 1998: 27-34 |
