The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ana Milanova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  17. A Secure Programming Paradigm for Network Virtualization. [Citation Graph (, )][DBLP]


  18. Static ownership inference for reasoning against concurrency errors. [Citation Graph (, )][DBLP]


  19. Practical static analysis for inference of security-related program properties. [Citation Graph (, )][DBLP]


  20. Static analysis for inference of explicit information flow. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002