Lightweight object specification with typestates. - Kevin Bierhoff; Jonathan Aldrich (ESEC/SIGSOFT FSE, 2005)

Software architecture at a large financial firm. - George Fairbanks; Kevin Bierhoff; Desmond D'Souza (OOPSLA Companion, 2006)

Iterator specification with typestates. - Kevin Bierhoff (SAVCBS@FSE, 2006)

Architectural Mismatch in Service-Oriented Architectures. - Kevin Bierhoff; Mark Grechanik; Edy S. Liongosari (SDSOA@ICSE, 2007)

Modular typestate checking of aliased objects. - Kevin Bierhoff; Jonathan Aldrich (OOPSLA, 2007)

Red Opal: product-feature scoring from reviews. - Christopher Scaffidi; Kevin Bierhoff; Eric Chang; Mikhael Felker; Herman Ng; Chun Jin (EC, 2007)

Checking the hardware-software interface in spec#. - Kevin Bierhoff; Chris Hawblitzel (PLOS@SOSP, 2007)

PLURAL: checking protocol compliance under aliasing. - Kevin Bierhoff; Jonathan Aldrich (ICSE Companion, 2008)

Verifying correct usage of atomic blocks and typestate. - Nels E. Beckman; Kevin Bierhoff; Jonathan Aldrich (OOPSLA, 2008)

Checking API protocol compliance in java. - Kevin Bierhoff (OOPSLA Companion, 2008)

Practical API Protocol Checking with Access Permissions. - Kevin Bierhoff; Nels E. Beckman; Jonathan Aldrich (ECOOP, 2009)

Typestate protocol specification in JML. - Taekgoo Kim; Kevin Bierhoff; Jonathan Aldrich; Sungwon Kang (SAVCBS, 2009)

Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning. - Kevin Bierhoff (Onward!, 2011)

Impact analysis for distributed event-based systems. - Daniel Popescu 001; Joshua Garcia; Kevin Bierhoff; Nenad Medvidovic (DEBS, 2012)

A type system for borrowing permissions. - Karl Naden; Robert Bocchino; Jonathan Aldrich; Kevin Bierhoff (POPL, 2012)

Wildcards need witness protection. - Kevin Bierhoff (Proc. ACM Program. Lang., 2022)