Concepedia

Hratch Mangassarian

HM

14

Publications

376

Citations

12

H-Index

2005

Active since

Affiliations

University of Toronto(Current)

Université d'Orléans

University of Michigan

Hratch Mangassarian is an author at University of Toronto specializing in engineering, computer science, and computer architecture.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureFormal MethodsFormal VerificationVerificationProgram AnalysisAutomated ReasoningSoftware Testing

Publications per year

2005–2014

14

Publications

14

QBF-Based Formal Verification: Experience and Perspectives

Marco Benedetti, Hratch Mangassarian · Journal on Satisfiability Boolean Modeling and Computation · 2008 · 75 citations · Full text

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test

Hratch Mangassarian, Andreas Veneris, Sean Safarpour et al. · International Conference on Computer Aided Design · 2007 · 45 citations

Hardware Modeling, Engineering, Hardware Verification Language +19

Improved Design Debugging Using Maximum Satisfiability

Sean Safarp, Hratch Mangassarian, Andreas Veneris et al. · 2007 · 36 citations

Engineering, Hardware Verification Language, Verification +20

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test

Hratch Mangassarian, Andreas Veneris, Marco Benedetti · IEEE Transactions on Computers · 2010 · 35 citations

Circuit Complexity, Sequential Behavior, Engineering +19

Improved Design Debugging Using Maximum Satisfiability

Sean Safarpour, Hratch Mangassarian, Andreas Veneris et al. · 2007 · 29 citations

Engineering, Hardware Verification Language, Verification +20

Rows per page

1–5 of 14