Searching for authors named "Kevin Bierhoff" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
