dblp.uni-trier.dewww.uni-trier.de

Nurit Dor

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EENurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss: Customization change impact analysis for erp professionals via program slicing. ISSTA 2008: 97-108
10EEStephen 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
9EEInbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky: Combined static and dynamic analysis for inferring program dependencies using a pattern language. CASCON 2006: 27-38
8EEStephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
2005
7EENurit 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, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
2004
6EENurit Dor, Stephen Adams, Manuvir Das, Zhe Yang: Software validation via scalable path-sensitive value flow analysis. ISSTA 2004: 12-22
5EEDenis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv: Numeric Domains with Summarized Dimensions. TACAS 2004: 512-529
2003
4EENurit Dor, Michael Rodeh, Shmuel Sagiv: CSSV: towards a realistic tool for statically detecting all buffer overflows in C. PLDI 2003: 155-167
2001
3EENurit 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
1EENurit Dor, Michael Rodeh, Shmuel Sagiv: Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). PASTE 1998: 27-34

Coauthor Index

1Stephen Adams [6]
2Manuvir Das [6]
3Frank DiMaio [5]
4Yael Dubinsky [9]
5John Field [7]
6Stephen J. Fink (Stephen Fink) [8] [10]
7Emmanuel Geay [8] [10]
8Denis Gopan [5] [7]
9Tal Lev-Ami [7] [11]
10Shay Litvak [11]
11Alexey Loginov [7]
12Roman Manevich [7]
13Sara Porat [9]
14G. Ramalingam (Ganesan Ramalingam) [7] [8] [10]
15Thomas W. Reps [5] [7]
16Noam Rinetzky [7]
17Michael Rodeh [1] [2] [3] [4]
18Inbal Ronen [9]
19Shmuel Sagiv (Mooly Sagiv) [1] [2] [3] [4] [5] [7] [11]
20Dror Weiss [11]
21Reinhard Wilhelm [7]
22Eran Yahav [7] [8] [10]
23Zhe Yang [6]
24Greta Yorsh [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)