Searching for authors named "Nels Beckman" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A Tailorable Environment for Assessing the Quality of Deployment Architectures
- … Distributed Settings Marija Mikic-Rakic, Sam Malek, Nels Beckman, and Nenad Medvidovic Computer Science…
- Cited by 18 (6 self) – Add To MetaCart
-
Verifying correct usage of atomic blocks and typestate: Technical companion
- …Verifying Correct Usage of Atomic Blocks and Typestate Nels E. Beckman Kevin Bierhoff Jonathan…
- Cited by 4 (3 self) – Add To MetaCart
-
Practical API Protocol Checking with Access Permissions
- …Practical API Protocol Checking with Access Permissions Kevin Bierhoff ∗ Nels E. Beckman…
- Cited by 1 (1 self) – Add To MetaCart
-
Practical API Protocol Checking with Access Permissions
- …Practical API Protocol Checking with Access Permissions Kevin Bierho , Nels E. Beckman…
- Add To MetaCart
-
OOPSLA 2008 Submission Verifying Correct Usage of Atomic Blocks with Typestate
- …OOPSLA 2008 Submission Verifying Correct Usage of Atomic Blocks with Typestate Nels E. Beckman…
- Add To MetaCart
-
and Verifying and Reasoning about Programs—Mechanical
- …Polymorphic Fractional Permission Inference Kevin Bierhoff Nels E. Beckman Jonathan Aldrich…
- Add To MetaCart
-
GLIDE: A Grid-based Lightweight Infrastructure for Data-intensive Environments
- … 1,2 , Sam Malek 2 , Nels Beckman 2 , Marija Mikic-Rakic 2 , Nenad Medvidovic 2 , Daniel J. Crichton…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 7.
