Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). - Nurit Dor; Michael Rodeh; Shmuel Sagiv (PASTE, 1998)

Checking Cleanness in Linked Lists. - Nurit Dor; Michael Rodeh; Shmuel Sagiv (SAS, 2000)

Cleanness Checking of String Manipulations in C Programs via Integer Analysis. - Nurit Dor; Michael Rodeh; Shmuel Sagiv (SAS, 2001)

CSSV: towards a realistic tool for statically detecting all buffer overflows in C. - Nurit Dor; Michael Rodeh; Shmuel Sagiv (PLDI, 2003)

Automatic verification of program cleanness - Nurit Dor (2003)

Software validation via scalable path-sensitive value flow analysis. - Nurit Dor; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (ISSTA, 2004)

Numeric Domains with Summarized Dimensions. - Denis Gopan; Frank DiMaio; Nurit Dor; Thomas W. Reps; Shmuel Sagiv (TACAS, 2004)

Automatic Verification of Strongly Dynamic Software Systems. - Nurit Dor; John Field; Denis Gopan; Tal Lev-Ami; Alexey Loginov; Roman Manevich; G. Ramalingam; Thomas W. Reps; Noam Rinetzky; Mooly Sagiv; Reinhard Wilhelm; Eran Yahav; et al. (VSTTE, 2005)

Combined static and dynamic analysis for inferring program dependencies using a pattern language. - Inbal Ronen; Nurit Dor; Sara Porat; Yael Dubinsky (CASCON, 2006)

Customization change impact analysis for erp professionals via program slicing. - Nurit Dor; Tal Lev-Ami; Shay Litvak; Mooly Sagiv; Dror Weiss (ISSTA, 2008)

Effective typestate verification in the presence of aliasing. - Stephen J. Fink; Eran Yahav; Nurit Dor; G. Ramalingam; Emmanuel Geay (ACM Trans. Softw. Eng. Methodol., 2008)

Field-sensitive program dependence analysis. - Shay Litvak; Nurit Dor; Rastislav Bodík; Noam Rinetzky; Mooly Sagiv (SIGSOFT FSE, 2010)

From typestate verification to interpretable deep models (invited talk abstract). - Eran Yahav; Stephen J. Fink; Nurit Dor; G. Ramalingam; Emmanuel Geay (ISSTA, 2019)