Searching for authors named "Kevin Bierhoff" – sorted by Relevance.
-
Architectural Mismatch in Service-Oriented Architectures
- Architectural Mismatch in Service-Oriented Architectures Kevin Bierhoff Institute for Software
- Add To MetaCart
-
Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification General Terms
- Checking API Protocol Compliance in Java Kevin Bierhoff Carnegie Mellon University http
- Add To MetaCart
-
Lightweight object specification with typestates
- ABSTRACT Lightweight Object Specification with Typestates Kevin Bierhoff School of Computer
- Cited by 6 (3 self) – Add To MetaCart
-
Checking the Hardware-Software Interface in Spec#
- Checking the Hardware-Software Interface in Spec# Kevin Bierhoff Carnegie Mellon University http
- Cited by 1 (0 self) – Add To MetaCart
-
Modular typestate verification of aliased objects
- Modular Typestate Verification of Aliased Objects Kevin Bierhoff ∗ Jonathan Aldrich † March 2007
- Cited by 2 (1 self) – Add To MetaCart
-
DRAFT
- Protocols (Expanded Version) Kevin Bierhoff ∗ Jonathan Aldrich ∗ Sangjin Han ∗ April 2006 CMU-CS-06
- 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
-
OOPSLA 2008 Submission Verifying Correct Usage of Atomic Blocks with Typestate
- Kevin Bierhoff Jonathan Aldrich School of Computer Science Carnegie Mellon University {nbeckman
- Add To MetaCart
-
and Verifying and Reasoning about Programs—Mechanical
- Polymorphic Fractional Permission Inference Kevin Bierhoff Nels E. Beckman Jonathan Aldrich
- Add To MetaCart

