Nurit Dor

	2010
12		Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv: Field-sensitive program dependence analysis. SIGSOFT FSE 2010: 287-296
	2008
11		Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss: Customization change impact analysis for erp professionals via program slicing. ISSTA 2008: 97-108
10		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
9		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
8		Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144
	2005
7		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, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
	2004
6		Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang: Software validation via scalable path-sensitive value flow analysis. ISSTA 2004: 12-22
5		Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv: Numeric Domains with Summarized Dimensions. TACAS 2004: 512-529
	2003
4		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		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		Nurit Dor, Michael Rodeh, Shmuel Sagiv: Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). PASTE 1998: 27-34

Coauthor Index

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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page