Search the dblp DataBase

Publications of Author

1. Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
   Proving Correctness of a Controller Algorithm for the RAID Level 5 System. [Citation Graph (0, 0)][DBLP]
   FTCS, 1998, pp:16-25 [Conf]
   
2. Daniel Jackson, Mandana Vaziri
   Finding bugs with a constraint solver. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2000, pp:14-25 [Conf]
   
3. Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri
   SAFARI: a meta-tooling framework for generating language-specific IDE's. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2006, pp:722-723 [Conf]
   
4. Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri
   Young guns/object orientation: the next generation. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2006, pp:940-942 [Conf]
   
5. Mandana Vaziri, Frank Tip, Julian Dolby
   Associating synchronization constraints with data in an object-oriented language. [Citation Graph (0, 0)][DBLP]
   POPL, 2006, pp:334-345 [Conf]
   
6. Jeannette M. Wing, Mandana Vaziri
   Model Checking Software Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
   SIGSOFT FSE, 1995, pp:128-139 [Conf]
   
7. Mandana Vaziri, Daniel Jackson
   Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:505-520 [Conf]
   
8. Mandana Vaziri, Daniel Jackson
   Some Shortcomings of OCL, the Object Constraint Language of UML. [Citation Graph (0, 0)][DBLP]
   TOOLS (34), 2000, pp:555-562 [Conf]
   
9. Jeannette M. Wing, Mandana Vaziri
   A Case study in Model Checking Software Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:273-299 [Journal]
   
10. Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby
    Declarative Object Identity Using Relation Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:54-78 [Conf]
    
11. Julian Dolby, Mandana Vaziri, Frank Tip
    Finding bugs efficiently with a SAT solver. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:195-204 [Conf]
    
12. 
    A Type System for Data-Centric Synchronization. [Citation Graph (, )][DBLP]
    
    
13. 
    Dynamic detection of atomic-set-serializability violations. [Citation Graph (, )][DBLP]
    
    
14. 
    MemSAT: checking axiomatic specifications of memory models. [Citation Graph (, )][DBLP]
    
    
15. 
    Finding Concurrency-Related Bugs Using Random Isolation. [Citation Graph (, )][DBLP]