Concepedia

Ana Milanova

AM

Statistics

Publications

27

Citations

1.6K

H-Index

18

Active since

2001

Affiliations

Rensselaer Polytechnic Institute(Current)

Rutgers, The State University of New Jersey

The Ohio State University

University of Washington

Haverford College

Ana Milanova is an author at Rensselaer Polytechnic Institute specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationSoftware EngineeringSoftware TestingSoftware DesignComputer Engineering

Publications per year

2001–2022

27

Publications

27

Parameterized object sensitivity for points-to analysis for Java

Ana Milanova, Atanas Rountev, Barbara G. Ryder · ACM Transactions on Software Engineering and Methodology · 2005 · 427 citations

Software Maintenance, Context Sensitivity, Engineering +23

Points-to analysis for Java using annotated constraints

Atanas Rountev, Ana Milanova, Barbara G. Ryder · 2001 · 169 citations

Engineering, Object-oriented Modeling, Software Engineering +22

Parameterized object sensitivity for points-to and side-effect analyses for Java

Ana Milanova, Atanas Rountev, Barbara G. Ryder · ACM SIGSOFT Software Engineering Notes · 2002 · 155 citations · Full text

Context Sensitivity, Engineering, Compiler Technology +24

Parameterized object sensitivity for points-to and side-effect analyses for Java

Ana Milanova, Atanas Rountev, Barbara G. Ryder · 2002 · 124 citations

Context Sensitivity, Engineering, Compiler Technology +24

Scalable and precise taint analysis for Android

Wei Huang, Yao Dong, Ana Milanova et al. · 2015 · 96 citations

Mobile Security, Software Security, Engineering +15

1–5 of 27