SCEAS

The SCEAS System

Title:
Author:

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

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]
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]
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]
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]
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]
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]
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.001secs, Finished in 0.002secs

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