| 2009 | ||
|---|---|---|
| 3 | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich: Practical API Protocol Checking with Access Permissions. ECOOP 2009: 195-219 | |
| 2 | Nels E. Beckman: Modular typestate checking in concurrent Java programs. OOPSLA Companion 2009: 737-738 | |
| 2008 | ||
| 1 | Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich: Verifying correct usage of atomic blocks and typestate. OOPSLA 2008: 227-244 | |
| 1 | Jonathan Aldrich | [1] [3] |
| 2 | Kevin Bierhoff | [1] [3] |