Gleb Naumovich

23 papers A* 2A 2C 4Journal 4Unranked 11

Year	Rank	Type	Title / Venue / Authors
2007	C	`conf`	Field Escape Analysis for Data Confidentiality in Java Components. APSEC Aiwu Shi, Gleb Naumovich
2007	C	`conf`	Improving Data Integrity with a Java Mutability Analysis. APSEC Aiwu Shi, Gleb Naumovich
2007	C	`conf`	SAFES: A Static Analysis for Field Security in Java Components. SEKE Aiwu Shi, Gleb Naumovich
2006	A	`conf`	Role-Based access control consistency validation. ISSTA Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia
2005	C	`conf`	Static Analysis for Computing Escapability and Mutability for Java Components. SCAM Aiwu Shi, Gleb Naumovich
2004	J	`jnl`	Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
2004	—	`conf`	JTutor: an Eclipse plug-in suite for creation and replay of code-based tutorials. eTX Chris Kojouharov, Aleksey Solodovnik, Gleb Naumovich
2004	J	`jnl`	Static analysis of role-based access control in J2EE applications. ACM SIGSOFT Softw. Eng. Notes Gleb Naumovich, Paolina Centonze
2003	—	`conf`	Design of a Laboratory for Information Security Education. World Conference on Information Security Education Vikram Anantapadmanabhan, Phyllis G. Frankl, Nasir D. Memon, Gleb Naumovich
2003	—	`conf`	Obfuscation of design intent in object-oriented applications. Digital Rights Management Workshop Mikhail Sosonkin, Gleb Naumovich, Nasir D. Memon
2003	J	`jnl`	Preventing Piracy, Reverse Engineering, and Tampering. Computer Gleb Naumovich, Nasir D. Memon
2002	A	`conf`	A conservative algorithm for computing the flow of permissions in Java programs. ISSTA Gleb Naumovich
2002	—	`conf`	Using the observer design pattern for implementation of data flow analyses. PASTE Gleb Naumovich
2000	—	`conf`	Classifying properties: an alternative to the safety-liveness classification. SIGSOFT FSE Gleb Naumovich, Lori A. Clarke
1999	—	`conf`	An Efficient Algorithm for Computing ESEC / SIGSOFT FSE Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999	A*	`conf`	Data Flow Analysis for Checking Properties of Concurrent Java Programs. ICSE Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999	—	`conf`	Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
1999	J	`jnl`	Using partial order techniques to improve performance of data flow analysis based verification. ACM SIGSOFT Softw. Eng. Notes Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
1998	—	`conf`	A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. SIGSOFT FSE Gleb Naumovich, George S. Avrunin
1998	—	`conf`	Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
1997	—	`conf`	Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
1997	A*	`conf`	Verification of Concurrent Software with FLAVERS. ICSE Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
1996	—	`conf`	Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil