| 2008 |
|---|
| 5 | EE | Nels Beckman,
Aditya V. Nori,
Sriram K. Rajamani,
Robert J. Simmons:
Proofs from tests.
ISSTA 2008: 3-14 |
| 4 | EE | Nels Beckman:
Verifying correct usage of atomic blocks using access permissions.
OOPSLA Companion 2008: 905-906 |
| 2005 |
|---|
| 3 | EE | Chris Mattmann,
Sam Malek,
Nels Beckman,
Marija Mikic-Rakic,
Nenad Medvidovic,
Daniel J. Crichton:
GLIDE: A Grid-Based Light-Weight Infrastructure for Data-Intensive Environments.
EGC 2005: 68-77 |
| 2004 |
|---|
| 2 | EE | Marija Mikic-Rakic,
Sam Malek,
Nels Beckman,
Nenad Medvidovic:
A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings.
Component Deployment 2004: 1-17 |
| 1 | EE | Sam Malek,
Nels Beckman,
Marija Mikic-Rakic,
Nenad Medvidovic:
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems.
WADS 2004: 173-193 |
