Gleb Naumovich

According to our database, Gleb Naumovich authored at least 22 papers between 1996 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

SAFES: A Static Analysis for Field Security in Java Components.

Aiwu Shi, Gleb Naumovich

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Field Escape Analysis for Data Confidentiality in Java Components.

Aiwu Shi, Gleb Naumovich

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Improving Data Integrity with a Java Mutability Analysis.

Aiwu Shi, Gleb Naumovich

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Role-Based access control consistency validation.

Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Static Analysis for Computing Escapability and Mutability for Java Components.

Aiwu Shi, Gleb Naumovich

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

2004

Flow analysis for verifying properties of concurrent software systems.

Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich

ACM Trans. Softw. Eng. Methodol., 2004

Static analysis of role-based access control in J2EE applications.

Gleb Naumovich, Paolina Centonze

ACM SIGSOFT Softw. Eng. Notes, 2004

JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials.

Chris Kojouharov, Aleksey Solodovnik, Gleb Naumovich

Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004

2003

Preventing Piracy, Reverse Engineering, and Tampering.

Gleb Naumovich, Nasir D. Memon

Computer, 2003

Design of a Laboratory for Information Security Education.

Vikram Anantapadmanabhan, Phyllis G. Frankl, Nasir D. Memon, Gleb Naumovich

Proceedings of the Security Education and Critical Infrastructures, 2003

Obfuscation of design intent in object-oriented applications.

Mikhail Sosonkin, Gleb Naumovich, Nasir D. Memon

Proceedings of the 2003 ACM workshop on Digital rights management 2003, Washington, 2003

2002

Using the observer design pattern for implementation of data flow analyses.

Gleb Naumovich

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

A conservative algorithm for computing the flow of permissions in Java programs.

Gleb Naumovich

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2000

Classifying properties: an alternative to the safety-liveness classification.

Gleb Naumovich, Lori A. Clarke

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

1999

Using partial order techniques to improve performance of data flow analysis based verification.

Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh

ACM SIGSOFT Softw. Eng. Notes, 1999

Data Flow Analysis for Checking Properties of Concurrent Java Programs.

Gleb Naumovich, George S. Avrunin, Lori A. Clarke

Proceedings of the 1999 International Conference on Software Engineering, 1999

An Efficient Algorithm for Computing <i>MHP</i> Information for Concurrent Java Programs.

Gleb Naumovich, George S. Avrunin, Lori A. Clarke

Proceedings of the Software Engineering, 1999

1998

A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.

Gleb Naumovich, George S. Avrunin

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Efficient Composite Data Flow Analysis Applied to Concurrent Programs.

Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

1997

Verification of Concurrent Software with FLAVERS.

Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer

Proceedings of the Pulling Together, 1997

Applying Static Analysis to Software Architectures.

Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil

Proceedings of the Software Engineering, 1997

1996

Verification of Communication Protocols Using Data Flow Analysis.

Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996