-
Conference Proceedings
- Mandana Vaziri, Frank Tip, and Julian Dolby. ``Associating Synchronization Constraints with Data in an Object-Oriented Language'', Principles of Programming Languages (POPL'06) , Charleston, SC, 2006.
pdf
- Mandana Vaziri and Daniel Jackson. ``Checking Properties of Heap-Manipulating Procedures Using a Constraint Solver'', In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), Warsaw, Poland, 2003.
pdf
- Daniel Jackson and Mandana Vaziri. ``Finding Bugs with a Constraint Solver'', In International Symposium on Software Testing and Analysis (ISSTA'00), Portland, Oregon, August 2000.
pdf
- Mandana Vaziri and Gerard Holzmann. ``Automatic generation of invariants in Spin'', In Fourth International Workshop on SPIN (SPIN'98), Paris, November 1998.
pdf
- Mandana Vaziri, Nancy Lynch and Jeannette Wing. ``Proving Correctness of a Controller Algorithm for the RAID Level 5 System'', In Twenty Eighth International Symposium on Fault-Tolerant Computing (FTCS'98), Munich, June 1998. Longer version appears as Technical Report MIT/LCS/TM-576, MIT Laboratory for Computer Science.
pdf
- Jeannette M. Wing and Mandana Vaziri-Farahani. ``Model Checking Software Systems: A Case Study'', In Third ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'95), October 1995.
pdf
Journal Papers
- Jeannette M. Wing and Mandana Vaziri-Farahani. ``A Case Study in Model Checking Software Systems'', Science of Computer Programming, 28(2--3):273-299, 1997.
pdf
Technical Reports
- Stephen Garland, Nancy Lynch, Joshua Tauber, and Mandana Vaziri. ``IOA User Guide and Reference Manual''. Technical Report MIT-LCS-TR-961, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, 1997.
pdf
- Mandana Vaziri. ``Specification Patterns'', MIT Laboratory for Computer Science, June 2001.
- Mandana Vaziri and Daniel Jackson. ``Some Shortcomings of OCL, the Object Constraint Language of UML'', Response to Object Management Group's Request for Information on UML 2.0. , December 1999
pdf
Theses
- Mandana Vaziri. ``Finding Bugs in Software with a Constraint Solver'', PhD Thesis, MIT Computer Science and Artificial Intelligence Laboratory, December 2003.
pdf
- Mandana Vaziri. ``Proving Correctness of a Controller Algorithm for the RAID Level 5 System'', SM Thesis, MIT Laboratory for Computer Science, August 1996.
pdf
- Mandana Vaziri-Farahani. ``Model Checking Cache Coherence Protocols for Distributed File Systems'', Bachelor's Thesis, Technical Report CMU-CS-95-156, Carnegie Mellon Computer Science Department, May 1995.
pdf - Mandana Vaziri, Frank Tip, and Julian Dolby. ``Associating Synchronization Constraints with Data in an Object-Oriented Language'', Principles of Programming Languages (POPL'06) , Charleston, SC, 2006.