K. Bierhoff

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
K. Bierhoff, Kevin Bierhoff
Publication record
33 papers · 1,013 citations · H-index 13

PAPERS

Wildcards need witness protection
20221 citationsauthor #1
A type system for borrowing permissions
201282 citationsauthor #4
A Type System for Borrowing Permissions (CMU-CS-11-142)
20121 citationsauthor #4
Impact analysis for distributed event-based systems
201226 citationsauthor #3
Checking Concurrent Typestate with Access Permissions in Plural: A Retrospective
20116 citationsauthor #1
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning
201113 citationsauthor #1
A Language-based Approach to Specification and Enforcement of Architectural Protocols
20103 citationsauthor #1
Polymorphic Fractional Permission Inference
20105 citationsauthor #1
Practical API Protocol Checking with Access Permissions
200986 citationsauthor #1
Typestate protocol specification in JML
200910 citationsauthor #2
Helios : Impact Analysis for Event-Based Systems
20096 citationsauthor #3
Api protocol compliance in object-oriented software
200925 citationsauthor #2
Frameworks on the Rise
20090 citationsauthor #1
Permissions to Specify the Composite Design Pattern
200813 citationsauthor #1
PLURAL: checking protocol compliance under aliasing
200833 citationsauthor #1
Verifying correct usage of atomic blocks and typestate
200888 citationsauthor #2
Verifying Correct Usage of Atomic Blocks with Typestate
20083 citationsauthor #2
Checking API protocol compliance in java
20083 citationsauthor #1
Modular typestate checking of aliased objects
2007213 citationsauthor #1
Checking the hardware-software interface in spec#
20075 citationsauthor #1
Architectural Mismatch in Service-Oriented Architectures
200711 citationsauthor #1
Red Opal: product-feature scoring from reviews
2007262 citationsauthor #2
Modular Typestate Verification of Aliased Objects
200714 citationsauthor #1
Cooperative Permissions for Reasoning About Aliased Objects
20071 citationsauthor #1
A Language – based Approach to Specification and Enforcement of Architectural Protocols ( Expanded Version )
20061 citationsauthor #1
Software architecture at a large financial firm
20064 citationsauthor #2
Incremental Development of a Domain-Specific Language That Supports Multiple Application Styles
200611 citationsauthor #1
Iterator specification with typestates
200622 citationsauthor #1
EGO: Controlling the Power of Simplicity
20068 citationsauthor #3
Alias Analysis with bddbddb
20052 citationsauthor #1
Lightweight object specification with typestates
200558 citationsauthor #1
A Type Checked Prototype-Based Model with Linearity
20042 citationsauthor #3
Restoration of soil organic profiles in the Krkonose mountains, Czech Republic
19970 citationsauthor #5

TIMELINE

1997 0 citations

2004 2 citations

2005 60 citations

2006 46 citations

2007 506 citations

2008 140 citations

2009 127 citations

2010 8 citations

2011 19 citations

2012 109 citations

2022 1 citations

K. Bierhoff

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT