Concepedia

Mandana Vaziri

MV

Statistics

Publications

17

Citations

1K

H-Index

14

Active since

2000

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

NortonLifeLock (United States)

Purdue University West Lafayette

Saarland University

Mandana Vaziri is an author at IBM (United States) specializing in computer science, engineering, and software engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSystem SoftwareFormal VerificationFormal MethodsVerificationSoftware Testing

Publications per year

2000–2023

17

Publications

17

Associating synchronization constraints with data in an object-oriented language

Mandana Vaziri, Frank Tip, Julian Dolby · 2006 · 257 citations

Engineering, Object-oriented Modeling, Software Engineering +21

Finding bugs with a constraint solver

Daniel Jackson, Mandana Vaziri · 2000 · 207 citations · Full text

Dynamic detection of atomic-set-serializability violations

Christian Hammer, Julian Dolby, Mandana Vaziri et al. · 2008 · 111 citations

Engineering, Verification, Computer Architecture +19

MemSAT

Emina Torlak, Mandana Vaziri, Julian Dolby · 2010 · 80 citations

Program Checking, Engineering, Automated Tool +19

Some Shortcomings of OCL, the Object Constraint Language of UML

Mandana Vaziri, Daniel Jackson · Technology of Object-Oriented Languages and Systems · 2000 · 67 citations

Engineering, Object-oriented Modeling, Core Package +20

1–5 of 17