Search the dblp DataBase

Publications of Author

1. George Fairbanks, Kevin Bierhoff, Desmond D'Souza
   Software architecture at a large financial firm. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2006, pp:815-823 [Conf]
   
2. Kevin Bierhoff, Jonathan Aldrich
   Lightweight object specification with typestates. [Citation Graph (0, 0)][DBLP]
   ESEC/SIGSOFT FSE, 2005, pp:217-226 [Conf]
   
3. Kevin Bierhoff, Jonathan Aldrich
   Modular typestate checking of aliased objects. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2007, pp:301-320 [Conf]
   
4. Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, Chun Jin
   Red Opal: product-feature scoring from reviews. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Electronic Commerce, 2007, pp:182-191 [Conf]
   
5. 
   Practical API Protocol Checking with Access Permissions. [Citation Graph (, )][DBLP]
   
   
6. 
   PLURAL: checking protocol compliance under aliasing. [Citation Graph (, )][DBLP]
   
   
7. 
   Verifying correct usage of atomic blocks and typestate. [Citation Graph (, )][DBLP]
   
   
8. 
   Checking API protocol compliance in java. [Citation Graph (, )][DBLP]