Search the dblp DataBase

Publications of Author

1. Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung
   Faster constraint solving with subtypes. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2004, pp:232-242 [Conf]
   
2. Jonathan Edwards, Daniel Jackson, Emina Torlak
   A type system for object models. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 2004, pp:189-199 [Conf]
   
3. Emina Torlak, Daniel Jackson
   Kodkod: A Relational Model Finder. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:632-647 [Conf]
   
4. Marten van Dijk, Emina Torlak, Blaise Gassend, Srinivas Devadas
   A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
5. Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas
   Knowledge Flow Analysis for Security Protocols [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
6. 
   Correct Refactoring of Concurrent Java Code. [Citation Graph (, )][DBLP]
   
   
7. 
   Finding Minimal Unsatisfiable Cores of Declarative Specifications. [Citation Graph (, )][DBLP]
   
   
8. 
   Effective interprocedural resource leak detection. [Citation Graph (, )][DBLP]
   
   
9. 
   MemSAT: checking axiomatic specifications of memory models. [Citation Graph (, )][DBLP]