Concepedia

Nurit Dor

ND

Statistics

Publications

8

Citations

747

H-Index

8

Active since

1998

Affiliations

Tel Aviv University(Current)

IBM Research - Haifa

Nurit Dor is an author at Tel Aviv University specializing in computer science, computing, and data-flow analysis.

Publications per year

1998–2010

8

Publications

8

CSSV

Nurit Dor, Michael Rodeh, Mooly Sagiv · ACM SIGPLAN Notices · 2003 · 214 citations

Computing, Computer Engineering, Computer Science +14

Effective typestate verification in the presence of aliasing

Stephen J. Fink, Eran Yahav, Nurit Dor et al. · ACM Transactions on Software Engineering and Methodology · 2008 · 165 citations

Computing, Computer Engineering, Computer Science +17

Effective typestate verification in the presence of aliasing

Stephen J. Fink, Eran Yahav, Nurit Dor et al. · 2006 · 142 citations

Computing, Computer Engineering, Computer Science +17

Nurit Dor, Michael Rodeh, Mooly Sagiv · 2003 · 110 citations

Computing, Computer Engineering, Computer Science +14

Software validation via scalable path-sensitive value flow analysis

Nurit Dor, Stephen Adams, Manuvir Das et al. · 2004 · 57 citations

Computing, Computer Science, Computer Systems +11

1–5 of 8