The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mandana Vaziri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002