Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gleb Naumovich
2000 – 2009
- 2007
[c19]Aiwu Shi, Gleb Naumovich: Improving Data Integrity with a Java Mutability Analysis. APSEC 2007: 135-142- [c18]Aiwu Shi, Gleb Naumovich: Field Escape Analysis for Data Confidentiality in Java Components. APSEC 2007: 143-150
- [c17]
- 2006
- [c16]Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia: Role-Based access control consistency validation. ISSTA 2006: 121-132
- 2005
- [c15]
- 2004
- [j3]Gleb Naumovich, Paolina Centonze: Static analysis of role-based access control in J2EE applications. ACM SIGSOFT Software Engineering Notes 29(5): 1-10 (2004)
- [j2]Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich: Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. 13(4): 359-430 (2004)
- [c14]Chris Kojouharov, Aleksey Solodovnik, Gleb Naumovich: JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials. ETX 2004: 27-31
- 2003
- [j1]Gleb Naumovich, Nasir D. Memon: Preventing Piracy, Reverse Engineering, and Tampering. IEEE Computer 36(7): 64-71 (2003)
- [c13]Mikhail Sosonkin, Gleb Naumovich, Nasir D. Memon: Obfuscation of design intent in object-oriented applications. Digital Rights Management Workshop 2003: 142-153
- [c12]Vikram Anantapadmanabhan, Phyllis G. Frankl, Nasir D. Memon, Gleb Naumovich: Design of a Laboratory for Information Security Education. World Conference on Information Security Education 2003: 61-73
- 2002
- [c11]Gleb Naumovich: A conservative algorithm for computing the flow of permissions in Java programs. ISSTA 2002: 33-43
- [c10]Gleb Naumovich: Using the observer design pattern for implementation of data flow analyses. PASTE 2002: 61-68
- 2000
- [c9]Gleb Naumovich, Lori A. Clarke: Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE 2000: 159-168
1990 – 1999
- 1999
- [c8]Gleb Naumovich, George S. Avrunin, Lori A. Clarke: An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. ESEC / SIGSOFT FSE 1999: 338-354
- [c7]Gleb Naumovich, George S. Avrunin, Lori A. Clarke: Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410
- [c6]Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh: Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE 1999: 57-65
- 1998
- [c5]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58
- [c4]Gleb Naumovich, George S. Avrunin: A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE 1998: 24-34
- 1997
- [c3]Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93
- [c2]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595
- 1996
- [c1]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE 1996: 93-105
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:38 CEST by the dblp team