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

Ana Milanova

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

2008
18EEYin Liu, Ana Milanova: Static analysis for inference of explicit information flow. PASTE 2008: 50-56
2007
17EEYin Liu, Ana Milanova: Ownership and Immutability Inference for UML-Based Object Access Control. ICSE 2007: 323-332
16EEAna Milanova: Light context-sensitive points-to analysis for java. PASTE 2007: 25-30
15EEAna Milanova: Composition inference for UML class diagrams. Autom. Softw. Eng. 14(2): 179-213 (2007)
2006
14EEAna Milanova, Sonia Fahmy, David Musser, Bülent Yener: A Secure Programming Paradigm for Network Virtualization. BROADNETS 2006
13EEYin Liu, Ana Milanova: Static analysis for dynamic coupling measures. CASCON 2006: 119-130
2005
12EEAna Milanova: Precise identification of composition relationships for UML class diagrams. ASE 2005: 76-85
11EEAna Milanova, Barbara G. Ryder: Annotated Inclusion Constraints for Precise Flow Analysis. ICSM 2005: 187-196
10EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol. 14(1): 1-41 (2005)
9EEChen Fu, Ana Milanova, Barbara G. Ryder, David Wonnacott: Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. 31(4): 292-311 (2005)
2004
8EEChen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott: Testing of java web services for robustness. ISSTA 2004: 23-34
7EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graphs for C Programs with Function Pointers. Autom. Softw. Eng. 11(1): 7-26 (2004)
6EEAtanas Rountev, Ana Milanova, Barbara G. Ryder: Fragment Class Analysis for Testing of Polymorphism in Java Software. IEEE Trans. Software Eng. 30(6): 372-387 (2004)
2003
5EEAtanas Rountev, Ana Milanova, Barbara G. Ryder: Fragment Class Analysis for Testing of Polymorphism in Java Software. ICSE 2003: 210-220
2002
4EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Constructing Precise Object Relation Diagrams. ICSM 2002: 586-595
3EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Parameterized object sensitivity for points-to and side-effect analyses for Java. ISSTA 2002: 1-11
2EEAna Milanova, Atanas Rountev, Barbara G. Ryder: Precise Call Graph Construction in the Presence of Function Pointers. SCAM 2002: 155-162
2001
1 Atanas Rountev, Ana Milanova, Barbara G. Ryder: Points-To Analysis for Java using Annotated Constraints. OOPSLA 2001: 43-55

Coauthor Index

1Sonia Fahmy [14]
2Chen Fu [8] [9]
3Yin Liu [13] [17] [18]
4David Musser [14]
5Atanas Rountev [1] [2] [3] [4] [5] [6] [7] [10]
6Barbara G. Ryder [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
7David Wonnacott [8] [9]
8Bülent Yener [14]

Colors in the list of coauthors

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