The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karen Zee: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
    Verifying a File System Implementation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:373-390 [Conf]
  2. Karen Zee, Martin C. Rinard
    Write barrier removal by static analysis. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:191-210 [Conf]
  3. Karen Zee, Martin C. Rinard
    Write barrier removal by static analysis. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:4, pp:32-41 [Journal]
  4. Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
    Modular Pluggable Analyses for Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:12, pp:988-1005 [Journal]
  5. Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
    On Verifying Complex Properties using Symbolic Shape Analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  6. Verifying linked data structure implementations. [Citation Graph (, )][DBLP]


  7. An integrated proof language for imperative programs. [Citation Graph (, )][DBLP]


  8. Full functional verification of linked data structures. [Citation Graph (, )][DBLP]


  9. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. [Citation Graph (, )][DBLP]


  10. Runtime Checking for Program Verification. [Citation Graph (, )][DBLP]


  11. Implications of a Data Structure Consistency Checking System. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002