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