A Tailorable Environment for Assessing the Quality of Deployment Architectures in Highly Distributed Settings. - Marija Mikic-Rakic; Sam Malek; Nels E. Beckman; Nenad Medvidovic (Component Deployment, 2004)

A Framework for Ensuring and Improving Dependability in Highly Distributed Systems. - Sam Malek; Nels E. Beckman; Marija Mikic-Rakic; Nenad Medvidovic (WADS, 2004)

GLIDE: A Grid-Based Light-Weight Infrastructure for Data-Intensive Environments. - Chris Mattmann; Sam Malek; Nels E. Beckman; Marija Mikic-Rakic; Nenad Medvidovic; Daniel J. Crichton (EGC, 2005)

Proofs from tests. - Nels E. Beckman; Aditya V. Nori; Sriram K. Rajamani; Robert J. Simmons (ISSTA, 2008)

Verifying correct usage of atomic blocks using access permissions. - Nels E. Beckman (OOPSLA Companion, 2008)

Verifying correct usage of atomic blocks and typestate. - Nels E. Beckman; Kevin Bierhoff; Jonathan Aldrich (OOPSLA, 2008)

Practical API Protocol Checking with Access Permissions. - Kevin Bierhoff; Nels E. Beckman; Jonathan Aldrich (ECOOP, 2009)

Modular typestate checking in concurrent Java programs. - Nels E. Beckman (OOPSLA Companion, 2009)

Proofs from Tests. - Nels E. Beckman; Aditya V. Nori; Sriram K. Rajamani; Robert J. Simmons; SaiDeep Tetali; Aditya V. Thakur (IEEE Trans. Software Eng., 2010)

Types for Correct Concurrent API Usage. - Nels E. Beckman (2010)

An Empirical Study of Object Protocols in the Wild. - Nels E. Beckman; Duri Kim; Jonathan Aldrich (ECOOP, 2011)

Probabilistic, modular and scalable inference of typestate specifications. - Nels E. Beckman; Aditya V. Nori (PLDI, 2011)