Field Escape Analysis for Data Confidentiality in Java Components
Aiwu Shi, Naumovich, G.
Published in 14th Asia-Pacific Software Engineering Conference (APSEC'07) (01.12.2007)
Published in 14th Asia-Pacific Software Engineering Conference (APSEC'07) (01.12.2007)
Get full text
Conference Proceeding
Improving Data Integrity with a Java Mutability Analysis
Aiwu Shi, Naumovich, G.
Published in 14th Asia-Pacific Software Engineering Conference (APSEC'07) (01.12.2007)
Published in 14th Asia-Pacific Software Engineering Conference (APSEC'07) (01.12.2007)
Get full text
Conference Proceeding
Data flow analysis for checking properties of concurrent Java programs
Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
Verification of concurrent software with FLAVERS
Naumovich, Gleb, Clarke, Lori A., Osterweil, Leon J., Dwyer, Matthew B.
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.01.1997)
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.01.1997)
Get full text
Conference Proceeding
Journal Article
Class coalescence for obfuscation of object-oriented software
Yalcin, Ezgi, Naumovich, Gleb, Memon, Nasir, Yu, Hong, Sosonkin, Mikhail
Year of Publication 27.05.2004
Get full text
Year of Publication 27.05.2004
Patent
Class coalescence for obfuscation of object-oriented software
YALCIN EZGI, NAUMOVICH GLEB, YU HONG HEATHER, MEMON NASIR D, SOSONKIN MIKHAIL
Year of Publication 12.12.2006
Get full text
Year of Publication 12.12.2006
Patent
Class coalescence for obfuscation of object-oriented software
Naumovich, Gleb, Yalcin, Ezgi, Memon, Nasir D, Yu, Hong Heather, Sosonkin, Mikhail
Year of Publication 12.12.2006
Get full text
Year of Publication 12.12.2006
Patent
Data flow analysis for checking properties of concurrent Java programs
Naumovich, Gleb, Avrunin, George S, Clarke, Lori A
Published in International Conference on Software Engineering: Proceedings of the 21st international conference on Software engineering; 16-22 May 1999 (01.01.1999)
Published in International Conference on Software Engineering: Proceedings of the 21st international conference on Software engineering; 16-22 May 1999 (01.01.1999)
Get full text
Conference Proceeding
Class coalescence for obfuscation of object-oriented software
YALCIN EZGI, NAUMOVICH GLEB, YU HONG HEATHER, MEMON NASIR D, SOSONKIN MIKHAIL
Year of Publication 27.05.2004
Get full text
Year of Publication 27.05.2004
Patent