Mandana Vaziri

2009
13	EE	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri: Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213
2008
12	EE	Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip: Dynamic detection of atomic-set-serializability violations. ICSE 2008: 231-240
2007
11	EE	Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby: Declarative Object Identity Using Relation Types. ECOOP 2007: 54-78
10	EE	Julian Dolby, Mandana Vaziri, Frank Tip: Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE 2007: 195-204
2006
9	EE	Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri: SAFARI: a meta-tooling framework for generating language-specific IDE's. OOPSLA Companion 2006: 722-723
8	EE	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. OOPSLA Companion 2006: 940-942
7	EE	Mandana Vaziri, Frank Tip, Julian Dolby: Associating synchronization constraints with data in an object-oriented language. POPL 2006: 334-345
2003
6	EE	Mandana Vaziri, Daniel Jackson: Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS 2003: 505-520
2000
5	EE	Daniel Jackson, Mandana Vaziri: Finding bugs with a constraint solver. ISSTA 2000: 14-25
4	EE	Mandana Vaziri, Daniel Jackson: Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) 2000: 555-562
1998
3		Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing: Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS 1998: 16-25
1997
2		Jeannette M. Wing, Mandana Vaziri: A Case study in Model Checking Software Systems. Sci. Comput. Program. 28(2-3): 273-299 (1997)
1995
1	EE	Jeannette M. Wing, Mandana Vaziri: Model Checking Software Systems: A Case Study. SIGSOFT FSE 1995: 128-139

Coauthor Index

1	Paul Adamczyk	[8]
2	Jonathan Aldrich	[8]
3	Elisa L. A. Baniassad	[8]
4	Philippe Charles	[9]
5	Julian Dolby	[7] [9] [10] [11] [12] [13]
6	Stephen J. Fink (Stephen Fink)	[11]
7	Brian Foote	[8]
8	Robert M. Fuhrer	[9]
9	Christian Grothoff	[8]
10	Christian Hammer	[12]
11	Daniel Jackson	[4] [5] [6]
12	Nicholas Kidd	[13]
13	Arvind Krishna	[8]
14	Nancy A. Lynch	[3]
15	Sean McDirmid	[8]
16	Todd D. Millstein	[8]
17	Jeffrey Overbey	[8]
18	Alex Potanin	[8]
19	Thomas W. Reps	[13]
20	Stanley M. Sutton Jr.	[9]
21	Frank Tip	[7] [10] [11] [12]
22	Jeannette M. Wing	[1] [2] [3]

Colors in the list of coauthors