Ittai Balaban

Publications

239

Citations

H-Index

2005

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

New York University

Ittai Balaban is an author at IBM Research - Thomas J. Watson Research Center specializing in formal verification, software engineering, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignVerification

Publications per year

2005–2011

Publications

Refactoring support for class library migration

Ittai Balaban, Frank Tip, Robert M. Fuhrer · 2005 · 141 citations

Software Maintenance, Engineering, Legacy Classes +20

Refactoring using type constraints

Frank Tip, Robert M. Fuhrer, Adam Kieżun et al. · ACM Transactions on Programming Languages and Systems · 2011 · 66 citations · Full text

Engineering, Type Theory, Verification +17

Refactoring support for class library migration

Ittai Balaban, Frank Tip, Robert M. Fuhrer · ACM SIGPLAN Notices · 2005 · 18 citations

Software Maintenance, Engineering, Legacy Classes +20

MODULAR RANKING ABSTRACTION

Ittai Balaban, Amir Pnueli, Lenore D. Zuck · International Journal of Foundations of Computer Science · 2007 · 14 citations

Ranking Algorithm, Engineering, Verification +22

Rows per page

1–4 of 4