Search the dblp DataBase

Publications of Author

1. Dirk Beyer, Thomas A. Henzinger, Vasu Singh
   Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:4-19 [Conf]
   
2. 
   Software Transactional Memory on Relaxed Memory Models. [Citation Graph (, )][DBLP]
   
   
3. 
   Verifying Local Transformations on Relaxed Memory Models. [Citation Graph (, )][DBLP]
   
   
4. 
   Completeness and Nondeterminism in Model Checking Transactional Memories. [Citation Graph (, )][DBLP]
   
   
5. 
   Model checking transactional memories. [Citation Graph (, )][DBLP]
   
   
6. 
   Preventing versus curing: avoiding conflicts in transactional memories. [Citation Graph (, )][DBLP]
   
   
7. 
   Transactions in the jungle. [Citation Graph (, )][DBLP]
   
   
8. 
   Permissiveness in Transactional Memories. [Citation Graph (, )][DBLP]