Travelled to:1 × Canada
1 × Hungary
1 × Italy
1 × Switzerland
2 × France
8 × USA
Collaborated with:L.A.Clarke G.S.Avrunin L.J.Osterweil A.Shi ∅ J.M.Cobleigh P.Centonze S.J.Fink M.Pistoia M.B.Dwyer
Talks about:analysi (7) flow (7) data (6) java (5) program (4) concurr (4) algorithm (3) static (3) comput (3) verif (3)
Person: Gleb Naumovich
DBLP: Naumovich:Gleb
Contributed to:
2007
2006
20052002
2002
2000
1999
1999199919981998
199719971996Wrote 14 papers:
- SEKE-2007-ShiN #component #java #named #security #static analysis
- SAFES: A Static Analysis for Field Security in Java Components (AS, GN), pp. 302–307.
- ISSTA-2006-CentonzeNFP #consistency #data access #validation
- Role-Based access control consistency validation (PC, GN, SJF, MP), pp. 121–132.
- SCAM-2005-ShiN #component #java #static analysis
- Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.
- ISSTA-2002-Naumovich #algorithm #java #source code
- A conservative algorithm for computing the flow of permissions in Java programs (GN), pp. 33–43.
- PASTE-2002-Naumovich #analysis #data flow #design pattern #implementation #using
- Using the observer design pattern for implementation of data flow analyses (GN), pp. 61–68.
- FSE-2000-NaumovichC #classification
- Classifying properties: an alternative to the safety-liveness classification (GN, LAC), pp. 159–168.
- ESEC-FSE-1999-NaumovichAC #algorithm #concurrent #java #performance #source code
- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs (GN, GSA, LAC), pp. 338–354.
- ICSE-1999-NaumovichAC #analysis #concurrent #data flow #java #source code
- Data Flow Analysis for Checking Properties of Concurrent Java Programs (GN, GSA, LAC), pp. 399–410.
- PASTE-1999-NaumovichCC #analysis #data flow #partial order #performance #using #verification
- Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification (GN, LAC, JMC), pp. 57–65.
- FSE-1998-NaumovichA #algorithm #data flow #detection #parallel
- A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel (GN, GSA), pp. 24–34.
- PASTE-1998-NaumovichCO #analysis #concurrent #data flow #performance #source code
- Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
- ESEC-FSE-1997-NaumovichACO #architecture #static analysis
- Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.
- ICSE-1997-NaumovichCOD #concurrent #verification
- Verification of Concurrent Software with FLAVERS (GN, LAC, LJO, MBD), pp. 594–595.
- FSE-1996-NaumovichCO #analysis #communication #data flow #protocol #using #verification
- Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.