Searching for authors named "Gleb Naumovich" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Static analysis of role-based access control in J2EE applications
- …Static Analysis of Role-Based Access Control in J2EE Applications ∗ Gleb Naumovich Department…
- Cited by 3 (0 self) – Add To MetaCart
-
Using the Observer Design Pattern for Implementation of Data Flow Analyses
- …-58113-479-7/02/0011 ...$5.00. Gleb Naumovich Department of Computer and Information Science Polytechnic University 5 Metro…
- Add To MetaCart
-
Abstract Obfuscation of Design Intent in Object-Oriented Applications ∗
- …Abstract Obfuscation of Design Intent in Object-Oriented Applications ∗ Mikhail Sosonkin, Gleb…
- Add To MetaCart
-
Classifying Properties: An Alternative to the Safety-Liveness Classification
- …Classifying Properties: An Alternative to the Safety-Liveness Classification Abstract Gleb…
- Cited by 5 (1 self) – Add To MetaCart
-
Obfuscation of design intent in object-oriented applications
- …Obfuscation of Design Intent in Object-Oriented Applications Abstract Mikhail Sosonkin, Gleb…
- Cited by 4 (0 self) – Add To MetaCart
-
Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems
- …Extending FLAVERS to Check Properties on Innite Executions of Concurrent Software Systems Gleb…
- Cited by 3 (1 self) – Add To MetaCart
-
Toward Synergy of Finite State Verification and Testing
- …Toward Synergy of Finite State Verication and Testing Gleb Naumovich Phyllis G. Frankl…
- Cited by 1 (0 self) – Add To MetaCart
-
A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel
- … in Parallel \Lambda Gleb Naumovich and George S. Avrunin Laboratory for Advanced Software Engineering…
- Cited by 29 (11 self) – Add To MetaCart
-
Using partial order techniques to improve performance of data flow analysis based verification
- … \Lambda Gleb Naumovich, Lori A. Clarke, and Jamieson M. Cobleigh Laboratory for Advanced Software…
- Cited by 5 (3 self) – Add To MetaCart
-
Comparing Implementation Strategies for Composite Data Flow Analysis Problems
- … Comparing Implementation Strategies for Composite Data Flow Analysis Problems Gleb Naumovich…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
