default search action

combined dblp search
author search
venue search
publication search

ask others

Gleb Naumovich

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ShiN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ShiN07
Aiwu Shi, Gleb Naumovich:
Improving Data Integrity with a Java Mutability Analysis. APSEC 2007: 135-142
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ShiN07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ShiN07a
Aiwu Shi, Gleb Naumovich:
Field Escape Analysis for Data Confidentiality in Java Components. APSEC 2007: 143-150
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/ShiN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ShiN07
Aiwu Shi, Gleb Naumovich:
SAFES: A Static Analysis for Field Security in Java Components. SEKE 2007: 302-307
2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CentonzeNFP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CentonzeNFP06
Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia:
Role-Based access control consistency validation. ISSTA 2006: 121-132
2005
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/ShiN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/ShiN05
Aiwu Shi, Gleb Naumovich:
Static Analysis for Computing Escapability and Mutability for Java Components. SCAM 2005: 119-128
2004
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/NaumovichC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/NaumovichC04
Gleb Naumovich, Paolina Centonze:
Static analysis of role-based access control in J2EE applications. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-10 (2004)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DwyerCCN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DwyerCCN04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eclipse/KojouharovSN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eclipse/KojouharovSN04
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
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/NaumovichM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/NaumovichM03
Gleb Naumovich, Nasir D. Memon:
Preventing Piracy, Reverse Engineering, and Tampering. Computer 36(7): 64-71 (2003)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/drm/SosonkinNM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/drm/SosonkinNM03
Mikhail Sosonkin, Gleb Naumovich, Nasir D. Memon:
Obfuscation of design intent in object-oriented applications. Digital Rights Management Workshop 2003: 142-153
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip11-8/AnantapadmanabhanFMN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip11-8/AnantapadmanabhanFMN03
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Naumovich02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Naumovich02
Gleb Naumovich:
A conservative algorithm for computing the flow of permissions in Java programs. ISSTA 2002: 33-43
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Naumovich02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Naumovich02
Gleb Naumovich:
Using the observer design pattern for implementation of data flow analyses. PASTE 2002: 61-68
2000
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/NaumovichC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/NaumovichC00
Gleb Naumovich, Lori A. Clarke:
Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE 2000: 159-168

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/NaumovichCC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/NaumovichCC99
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh:
Using partial order techniques to improve performance of data flow analysis based verification. ACM SIGSOFT Softw. Eng. Notes 24(5): 57-65 (1999)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/NaumovichAC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/NaumovichAC99
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NaumovichAC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NaumovichAC99
Gleb Naumovich, George S. Avrunin, Lori A. Clarke:
Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE 1999: 399-410
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/NaumovichCC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/NaumovichCC99
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]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/NaumovichCO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/NaumovichCO98
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/NaumovichA98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/NaumovichA98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/NaumovichACO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/NaumovichACO98
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NaumovichCOD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NaumovichCOD97
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer:
Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595
1996
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/NaumovichCO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/NaumovichCO96
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE 1996: 93-105

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.