| 2019 | ISSTA | From typestate verification to interpretable deep models (invited talk abstract). | Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2008 | ISSTA | Customization change impact analysis for erp professionals via program slicing. | Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss |
| 2006 | ISSTA | Effective typestate verification in the presence of aliasing. | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
| 2004 | ISSTA | Software validation via scalable path-sensitive value flow analysis. | Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang |
| 2004 | TACAS | Numeric Domains with Summarized Dimensions. | Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv |
| 2003 | PLDI | CSSV: towards a realistic tool for statically detecting all buffer overflows in C. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2001 | SAS | Cleanness Checking of String Manipulations in C Programs via Integer Analysis. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2000 | SAS | Checking Cleanness in Linked Lists. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |