 | 2011 |
|---|
| 11 |       | Nels E. Beckman,
Duri Kim,
Jonathan Aldrich:
An Empirical Study of Object Protocols in the Wild.
ECOOP 2011: 2-26 |
| 10 | | Nels E. Beckman,
Aditya V. Nori:
Probabilistic, modular and scalable inference of typestate specifications.
PLDI 2011: 211-221 |
| 2010 |
|---|
| 9 | | Nels E. Beckman,
Aditya V. Nori,
Sriram K. Rajamani,
Robert J. Simmons,
SaiDeep Tetali,
Aditya V. Thakur:
Proofs from Tests.
IEEE Trans. Software Eng. 36(4): 495-508 (2010) |
| 2009 |
|---|
| 8 | | Kevin Bierhoff,
Nels E. Beckman,
Jonathan Aldrich:
Practical API Protocol Checking with Access Permissions.
ECOOP 2009: 195-219 |
| 7 | | Nels E. Beckman:
Modular typestate checking in concurrent Java programs.
OOPSLA Companion 2009: 737-738 |
| 2008 |
|---|
| 6 | | Nels E. Beckman,
Aditya V. Nori,
Sriram K. Rajamani,
Robert J. Simmons:
Proofs from tests.
ISSTA 2008: 3-14 |
| 5 | | Nels E. Beckman,
Kevin Bierhoff,
Jonathan Aldrich:
Verifying correct usage of atomic blocks and typestate.
OOPSLA 2008: 227-244 |
| 4 | | Nels E. Beckman:
Verifying correct usage of atomic blocks using access permissions.
OOPSLA Companion 2008: 905-906 |
| 2005 |
|---|
| 3 | | Chris Mattmann,
Sam Malek,
Nels E. 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 | | Marija Mikic-Rakic,
Sam Malek,
Nels E. Beckman,
Nenad Medvidovic:
A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings.
Component Deployment 2004: 1-17 |
| 1 | | Sam Malek,
Nels E. Beckman,
Marija Mikic-Rakic,
Nenad Medvidovic:
A Framework for Ensuring and Improving Dependability in Highly Distributed Systems.
WADS 2004: 173-193 |
Data released under the ODC-BY 1.0 license — See also our legal information page