Gleb Naumovich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1997–2007
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | APSEC | Improving Data Integrity with a Java Mutability Analysis. | Aiwu Shi, Gleb Naumovich |
| 2007 | APSEC | Field Escape Analysis for Data Confidentiality in Java Components. | Aiwu Shi, Gleb Naumovich |
| 2007 | SEKE | SAFES: A Static Analysis for Field Security in Java Components. | Aiwu Shi, Gleb Naumovich |
| 2006 | ISSTA | Role-Based access control consistency validation. | Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
| 2005 | SCAM | Static Analysis for Computing Escapability and Mutability for Java Components. | Aiwu Shi, Gleb Naumovich |
| 2002 | ISSTA | A conservative algorithm for computing the flow of permissions in Java programs. | Gleb Naumovich |
| 1999 | ICSE | Data Flow Analysis for Checking Properties of Concurrent Java Programs. | Gleb Naumovich, George S. Avrunin, Lori A. Clarke |
| 1997 | ICSE | Verification of Concurrent Software with FLAVERS. | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer |