Kevin Bierhoff (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich: Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219

6 Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich: Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244

Selection of 2 from 8 records - Kevin Bierhoff has 9 coauthors

8		Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich: Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219
6		Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich: Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244