BibTeX records: Hratch Mangassarian

download as .bib file

@article{DBLP:journals/tcad/MangassarianLV14,
  author       = {Hratch Mangassarian and
                  Bao Le and
                  Andreas G. Veneris},
  title        = {Debugging {RTL} Using Structural Dominance},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {33},
  number       = {1},
  pages        = {153--166},
  year         = {2014},
  url          = {https://doi.org/10.1109/TCAD.2013.2278491},
  doi          = {10.1109/TCAD.2013.2278491},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/MangassarianLV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/MangassarianVN12,
  author       = {Hratch Mangassarian and
                  Andreas G. Veneris and
                  Farid N. Najm},
  title        = {Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {31},
  number       = {2},
  pages        = {271--284},
  year         = {2012},
  url          = {https://doi.org/10.1109/TCAD.2011.2169259},
  doi          = {10.1109/TCAD.2011.2169259},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/MangassarianVN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/MangassarianYVYF12,
  author       = {Hratch Mangassarian and
                  Hiroaki Yoshida and
                  Andreas G. Veneris and
                  Shigeru Yamashita and
                  Masahiro Fujita},
  title        = {On error tolerance and Engineering Change with Partially Programmable
                  Circuits},
  booktitle    = {Proceedings of the 17th Asia and South Pacific Design Automation Conference,
                  {ASP-DAC} 2012, Sydney, Australia, January 30 - February 2, 2012},
  pages        = {695--700},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ASPDAC.2012.6165045},
  doi          = {10.1109/ASPDAC.2012.6165045},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/MangassarianYVYF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/LeMKV12,
  author       = {Bao Le and
                  Hratch Mangassarian and
                  Brian Keng and
                  Andreas G. Veneris},
  editor       = {Wolfgang Rosenstiel and
                  Lothar Thiele},
  title        = {Non-solution implications using reverse domination in a modern SAT-based
                  debugging environment},
  booktitle    = {2012 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
  pages        = {629--634},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/DATE.2012.6176548},
  doi          = {10.1109/DATE.2012.6176548},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/LeMKV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/MangassarianVSS11,
  author       = {Hratch Mangassarian and
                  Andreas G. Veneris and
                  Duncan Exon Smith and
                  Sean Safarpour},
  editor       = {Joel R. Phillips and
                  Alan J. Hu and
                  Helmut Graeb},
  title        = {Debugging with dominance: On-the-fly {RTL} debug solution implications},
  booktitle    = {2011 {IEEE/ACM} International Conference on Computer-Aided Design,
                  {ICCAD} 2011, San Jose, California, USA, November 7-10, 2011},
  pages        = {587--594},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICCAD.2011.6105390},
  doi          = {10.1109/ICCAD.2011.6105390},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/MangassarianVSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/MangassarianVB10,
  author       = {Hratch Mangassarian and
                  Andreas G. Veneris and
                  Marco Benedetti},
  title        = {Robust {QBF} Encodings for Sequential Circuits with Applications to
                  Verification, Debug, and Test},
  journal      = {{IEEE} Trans. Computers},
  volume       = {59},
  number       = {7},
  pages        = {981--994},
  year         = {2010},
  url          = {https://doi.org/10.1109/TC.2010.74},
  doi          = {10.1109/TC.2010.74},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/MangassarianVB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/MangassarianLGVB10,
  author       = {Hratch Mangassarian and
                  Bao Le and
                  Alexandra Goultiaeva and
                  Andreas G. Veneris and
                  Fahiem Bacchus},
  editor       = {Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller and
                  Enrico Macii},
  title        = {Leveraging dominators for preprocessing {QBF}},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
                  March 8-12, 2010},
  pages        = {1695--1700},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DATE.2010.5457088},
  doi          = {10.1109/DATE.2010.5457088},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/MangassarianLGVB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsat/BenedettiM08,
  author       = {Marco Benedetti and
                  Hratch Mangassarian},
  title        = {QBF-Based Formal Verification: Experience and Perspectives},
  journal      = {J. Satisf. Boolean Model. Comput.},
  volume       = {5},
  number       = {1-4},
  pages        = {133--191},
  year         = {2008},
  url          = {https://doi.org/10.3233/sat190055},
  doi          = {10.3233/SAT190055},
  timestamp    = {Mon, 17 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsat/BenedettiM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/KengMV08,
  author       = {Brian Keng and
                  Hratch Mangassarian and
                  Andreas G. Veneris},
  editor       = {Sani R. Nassif and
                  Jaijeet S. Roychowdhury},
  title        = {A succinct memory model for automated design debugging},
  booktitle    = {2008 International Conference on Computer-Aided Design, {ICCAD} 2008,
                  San Jose, CA, USA, November 10-13, 2008},
  pages        = {137--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICCAD.2008.4681564},
  doi          = {10.1109/ICCAD.2008.4681564},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KengMV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dke/MangassarianA07,
  author       = {Hratch Mangassarian and
                  Hassan Artail},
  title        = {A general framework for subjective information extraction from unstructured
                  English text},
  journal      = {Data Knowl. Eng.},
  volume       = {62},
  number       = {2},
  pages        = {352--367},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.datak.2006.10.001},
  doi          = {10.1016/J.DATAK.2006.10.001},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/MangassarianA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/SafarpourVM07,
  author       = {Sean Safarpour and
                  Andreas G. Veneris and
                  Hratch Mangassarian},
  title        = {Trace Compaction using SAT-based Reachability Analysis},
  booktitle    = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
                  {ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
  pages        = {932--937},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ASPDAC.2007.358109},
  doi          = {10.1109/ASPDAC.2007.358109},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/SafarpourVM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/MangassarianVSNA07,
  author       = {Hratch Mangassarian and
                  Andreas G. Veneris and
                  Sean Safarpour and
                  Farid N. Najm and
                  Magdy S. Abadir},
  editor       = {Rudy Lauwereins and
                  Jan Madsen},
  title        = {Maximum circuit activity estimation using pseudo-boolean satisfiability},
  booktitle    = {2007 Design, Automation and Test in Europe Conference and Exposition,
                  {DATE} 2007, Nice, France, April 16-20, 2007},
  pages        = {1538--1543},
  publisher    = {{EDA} Consortium, San Jose, CA, {USA}},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1266703},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/MangassarianVSNA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SafarpourMVLS07,
  author       = {Sean Safarpour and
                  Hratch Mangassarian and
                  Andreas G. Veneris and
                  Mark H. Liffiton and
                  Karem A. Sakallah},
  title        = {Improved Design Debugging Using Maximum Satisfiability},
  booktitle    = {Formal Methods in Computer-Aided Design, 7th International Conference,
                  {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages        = {13--19},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/FAMCAD.2007.26},
  doi          = {10.1109/FAMCAD.2007.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/SafarpourMVLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/MangassarianVSBS07,
  author       = {Hratch Mangassarian and
                  Andreas G. Veneris and
                  Sean Safarpour and
                  Marco Benedetti and
                  Duncan Exon Smith},
  editor       = {Georges G. E. Gielen},
  title        = {A performance-driven QBF-based iterative logic array representation
                  with applications to verification, debug and test},
  booktitle    = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
                  San Jose, CA, USA, November 5-8, 2007},
  pages        = {240--245},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICCAD.2007.4397272},
  doi          = {10.1109/ICCAD.2007.4397272},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/MangassarianVSBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/MangassarianA05,
  author       = {Hratch Mangassarian and
                  Mohab Anis},
  title        = {On Statistical Timing Analysis with Inter- and Intra-Die Variations},
  booktitle    = {2005 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2005), 7-11 March 2005, Munich, Germany},
  pages        = {132--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/DATE.2005.226},
  doi          = {10.1109/DATE.2005.226},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MangassarianA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.