The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brian Demsky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Brian Demsky, Martin C. Rinard
    Role-based exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:313-334 [Conf]
  2. Brian Demsky, Martin C. Rinard
    Data structure repair using goal-directed reasoning. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:176-185 [Conf]
  3. Brian Demsky, Martin C. Rinard
    Static Specification Analysis for Termination of Specification-Based Data Structure Repair. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:71-84 [Conf]
  4. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
    Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:233-244 [Conf]
  5. Brian Demsky, Martin C. Rinard
    Automatic detection and repair of errors in data structures. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:78-95 [Conf]
  6. Brian Demsky, Martin C. Rinard
    Goal-Directed Reasoning for Specification-Based Data Structure Repair. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:12, pp:931-951 [Journal]

  7. Bristlecone: A Language for Robust Software Systems. [Citation Graph (, )][DBLP]


  8. Views: object-inspired concurrency control. [Citation Graph (, )][DBLP]


  9. AFID: an automated fault identification tool. [Citation Graph (, )][DBLP]


  10. Bamboo: a data-centric, object-oriented approach to many-core software. [Citation Graph (, )][DBLP]


  11. Symbolic prefetching in transactional distributed shared memory. [Citation Graph (, )][DBLP]


  12. Software transactional distributed shared memory. [Citation Graph (, )][DBLP]


  13. AFID: an automated approach to collecting software faults. [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