Nels E. Beckman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index