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 |