Publications by Year

• Prem Devanbu, Michael Gertz, April Kwong, Chip Martel, Glen Nuckolls and Stuart Stubblebine Flexible Authentication Scheme for XML Documents ACM CCS 2001
• Eric Wohlstadter, Stoney  Jackson, Premkumar Devanbu  Generating Wrappers for Command-line Programs: The Cal-Aggie Wrap-O-Matic project.  ICSE  2001. (Draft pdf)

2000

• Alexander L. Wolf, Dennis Heimbinger, Antonio Carzaniga, John Knight, Prem Devanbu, Michael Gertz: Bend, Don't Break: Using Reconfiguration to Achieve Survivability, To appear at Third Information Survivability Workshop (ISW-2000), 2000.

 [.pdf]
• Prem Devanbu, Michael Gertz, Chip Martel, Philip Rogaway, Stuart G. Stubblebine: Authentic Re-Publication by Untrusted Servers: A Novel Approach to Database Survivability, To appear at Third Information Survivability Workshop (ISW-2000), 2000.
• Premkumar Devanbu , Michael Gertz , Chip Martel, Stuart Stubblebine , Authentic Third-Party Data Publication,

Fourteenth IFIP 11.3 Conference on Database Security (TBH).  2000
 
• Premkumar Devanbu , Desert Island Column , Invited guest column for Journal of Automated Software Engineering. , 2000

 
• Premkumar Devanbu , Stuart Stubblebine , Stack and Queue Integrity on Hostile Platforms ,

 IEEE Transactions on Software Engineering. , 2000
 
• P. Devanbu , Retargetability in Software Tools Published in ACM Applied Computing Review , 2000

 
• Premkumar Devanbu , Stuart Stubblebine , Software Engineering for Security: a roadmap

In ``The Future of Software Engineering'', Special Volume published in conjunction with ICSE 2000 , 2000

1999

• William Cohen , Premkumar Devanbu , Automatically ExploringHypotheses about Fault Prediction: a Comparative Study of InductiveLogic Programming Methods

Published in International Journal of Software Engineering and Knowledge Engineering (to appear) , 1999
 
• Alexander Borgida , Premkumar Devanbu , Component inter-operability---putting ``{DL}'' to ``{IDL}''

In International Conference on Software Engineering , 1999
 
• P. Devanbu , GENOA - A Customizable, front-end RetargetableSource Code Analysis Framework

Published in ACM Transactions on Software Engineering and Methodology , vol. 9 , no. 2 , April , 1999
 
• Premkumar Devanbu , A Reuse Nightmare: Honey, I got the wrong DLL (Panel Paper)

In Proceedings, ACM Symposium on Software Reusability (ACM SSR'99) , 1999
 
• Premkumar Devanbu , Michael Gertz , Stuart Stubblebine , Security for Automated, Distributed Configuration Management

In Proceedings, ICSE 99 Workshop on Software Engineering over the Internet , 1999
 
• P. Devanbu , S. Stubblebine , Cryptographic verification of test coverage claims

Published in IEEE Transactions on Software Engineering , 1999
 
• Scott Malabarba , Aaron Stearns , Premkumar Devanbu , {MOHCA}--{M}ost {H}elpful {C}++ {A}nalyzer for {Java}: A Tool to support {C}++ to {J}ava Translation

In International Conference on Software Engineering---Research Demonstration Track , 1999
 
• P. Devanbu , R. Chen , E. Gansner , H. Muller , A. Martin , Chime: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments

In International Conference on Software Engineering , 1999

1998

• R. Pandey , V. Akella , P. Devanbu , Support for System Evolution through Software Composition

In ICSE '98 International Workshop on the Principles of Software Evolution , 1998
 
• R. Pandey , P. Devanbu , K. Levitt , R. Olsson , Tools for migrating, building, and maintaining distributed systems with Object-based Standards

In Digest of the OMG-DARPA-MCC Workshop on Compositional Software Architectures , 1998
 
• P. Devanbu , P.W. Fong , S. Stubblebine , Techniques for trusted software engineering

In Proceedings of the 20th International Conference on Software Engineering , 1998
 
• P. Devanbu , S. G. Stubblebine , Stack and {Q}ueue {I}ntegrity on {H}ostile {P}latforms

In Proceedings of IEEE Symposium on Security and Privacy , 1998
 
• P. Devanbu , S. G. Stubblebine , Stack and Queue Integrity on Hostile Platforms

In Proceedings of IEEE Symposium on Security and Privacy , 1998

1997

• P. Devanbu , M. Jones , The use of description logics in KBSE systems

Published in ACM Transactions on Software Engineering and Methodology , 1997
 
• W. Cohen , P. Devanbu , A Comparative Study of Inductive Logic Programming Methods for Software Fault Prediction

In Fourteenth International Conference on Machine Learning , 1997
 
• Prem Devanbu , Stuart Stubblebine , Automated Software Verification with Trusted Hardware

In Twelfth International Conference on Automated Software Engineering , 1997
 
• P. Devanbu , S. Stubblebine , Cryptographic {V}erification of {T}est {C}overage claims

In Proceedings, Fifth ACM/SIGSOFT Conference on Foundations of Software Engineering , 1997
 
• P. Devanbu , W. Frakes , Extracting Formal Domain Models from Existing Code forGenerative Reuse

Published in ACM Applied Computing Review , 1997
 
• L. Briand , P. Devanbu , W. Melo , An investigation into coupling measures for C++

In Proceedings, Nineteenth International Conference on Software Engineering , 1997

1996

• Premkumar Devanbu , David S. Rosenblum , Alexander L. Wolf , Generating testing and analysis tools with {\sc aria}

Published in ACM Transactions on Software Engineering and Methodology , Jan , 1996
 
• P. Devanbu , D. Litman , CLASP - a plan representation and classification scheme for a software informationSystem

Published in Artificial Intelligence , 1996
 
• P. Devanbu , W. Melo , S. Karstu , W.Thomas , Analytical and Empirical Evaluation of Software Reuse Metrics

In Proceedings, Eighteenth International Conference on Software Engineering , 1996
 
• P. Devanbu , Research Issues in software development with distributed objects

In Second OOPSLA workshop on distributed objects and the world wide web , 1996

1995

• P. Devanbu , S. Karstu , Measuring the Benefits of Software Reuse

In Workshop on Institutionalizing Software Reuse , 1995
 
• P. Devanbu , On A Framework for Source Code Search Using Program Patterns

Published in IEEE Transactions on Software Engineering , 1995

1994

• Premkumar Devanbu , David S. Rosenblum , Alexander L. Wolf , Automated Construction of testing and analysis tools with

In Proceedings of the 16th International Conference on Software Engineering , 1994
 
• P. Devanbu , M. Jones , The Use of Description Logics in KBSE Systems

In Proceedings of the 16th International Conference on Software Engineering , 1994

1993

• P. Devanbu , Translating Description Logics into Information Server Queries

In Proceedings of the Second International Conference on Information and Knowledge Management , 1993
 
• P. Devanbu , Translating Description Logics into Information Server Queries

In Proceedings of the Second International Conference on Information and Knowledge Management , 1993
 
• P. Devanbu , Research Issues in Application Generators

In Proceedings of the Workshop on Institutionalizing Software Reuse , 1993

1992

• Alexander Borgida , Premkumar Devanbu , Knowledge base management systems usingdescription logicsand their role in software information systems

In Information Processing 92 (Vol.3) , 1992
 
• P. Devanbu , GENOA---A Language and Front-End independent source code analyzer generator

In Proceedings of the Fourteenth International Conference on Software Engineering , 1992

1991

• P. Devanbu , R. Brachman , P. Selfridge , B. Ballard , LaSSIE---A Knowledge-Based Software Information System

Published in Communications of the ACM , May , 1991
 
• P. Devanbu , Knowledge Acquisition for Reuse

In Proceedings of the First International Workshop on Software Reuse , 1991
 
• P. Devanbu , Terminological Languages in Software Information Systems

In Proceedings of the International Workshop on uses of Terminological Logics , 1991
 
• P. Devanbu , D. Litman , Plan-Based Terminological Reasoning

In Proceedings of the Second International Conference onPrinciples of Knowledge Representation and Reasoning , 1991

1990

• P. Devanbu , Re-Use of software knowledge: a progress report

In Workshop on Institutionalizing Software Reuse , 1990
 
• D. Belanger , R. Brachman , Y.-F. Chen , P. Devanbu , P. Selfridge , Progress towards a Software Information System

Published in AT\&T Technical Journal , 1990
 
• P. Devanbu , R. Brachman , P. Selfridge , B. Ballard , LaSSIE---A Knowledge-Based Software Information System

In Proceedings of the International Conference on Software Engineering , 1990

1989

• P. Devanbu , P. Selfridge , B. Ballard , R. Brachman , A knowledge-based software information system

In Proceedings, 9th International Joint Conference on Artificial Intelligence , 1989
 
• P. Devanbu , R. Brachman , Inference in Support of Retrieval for Re-Use in large software Systems

In Proceedings of IEEE Workshop on Tools and Environments for Reuse , 1989
 
• R. Brachman , P. Devanbu , Domain Modeling in a Software Information System

In Proceedings of the OOPSLA Workshop Domain Modeling , 1989
 
• R. Agrawal , P. Devanbu , Selections in Linear Least Fixpoint Queries

Published in IEEE Transactions on Data and Knowledge Engineering , vol. 1 , no. 4 , December , 1989

1988

• R. Agrawal , P. Devanbu , Moving selections into linear least fixpoint queries

In Proceedings, Fourth International Conference on Data and Knowledge Engineering , 1988

1986

• P. Devanbu , M. Freeland , S. Naqvi , A Procedural Approach to Search Control in {P}rolog

In Proceedings, Sixth European Conference on Artificial Intelligence , 1986