The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeremy S. Bradbury: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeremy S. Bradbury, Jeffrey S. Shell, Craig B. Knowles
    Hands on cooking: towards an attentive kitchen. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2003, pp:996-997 [Conf]
  2. Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
    An empirical framework for comparing effectiveness of testing and property-based formal analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:2-5 [Conf]
  3. Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
    Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. [Citation Graph (0, 0)][DBLP]
    SCAM, 2005, pp:87-96 [Conf]
  4. Jeremy S. Bradbury, Jürgen Dingel
    Evaluating and improving the automatic analysis of implicit invocation systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:78-87 [Conf]
  5. Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger
    A survey of self-management in dynamic software architecture specifications. [Citation Graph (0, 0)][DBLP]
    WOSS, 2004, pp:28-33 [Conf]
  6. Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
    Using source transformation to test and model check implicit-invocation systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:3, pp:209-227 [Journal]
  7. L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
    Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:44-58 [Conf]

Search in 0.035secs, Finished in 0.036secs
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