BibTeX records: Djordje Maksimovic

download as .bib file

@inproceedings{DBLP:conf/date/AdlerMV16,
  author    = {John Adler and
               Djordje Maksimovic and
               Andreas G. Veneris},
  title     = {Root-cause analysis for memory-locked errors},
  booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  pages     = {1054--1059},
  year      = {2016},
  crossref  = {DBLP:conf/date/2016},
  url       = {http://ieeexplore.ieee.org/document/7459465/},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/AdlerMV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BeckerMNEVJI15,
  author    = {Andrew Becker and
               Djordje Maksimovic and
               David Novo and
               Mohsen Ewaida and
               Andreas G. Veneris and
               Barbara Jobstmann and
               Paolo Ienne},
  title     = {FudgeFactor: Syntax-Guided Synthesis for Accurate {RTL} Error Localization
               and Correction},
  booktitle = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  pages     = {259--275},
  year      = {2015},
  crossref  = {DBLP:conf/hvc/2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1\_16},
  doi       = {10.1007/978-3-319-26287-1\_16},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/BeckerMNEVJI15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MaksimovicVP15,
  author    = {Djordje Maksimovic and
               Andreas G. Veneris and
               Zissis Poulos},
  title     = {Clustering-based revision debug in regression verification},
  booktitle = {33rd {IEEE} International Conference on Computer Design, {ICCD} 2015,
               New York City, NY, USA, October 18-21, 2015},
  pages     = {32--37},
  year      = {2015},
  crossref  = {DBLP:conf/iccd/2015},
  url       = {https://doi.org/10.1109/ICCD.2015.7357081},
  doi       = {10.1109/ICCD.2015.7357081},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/MaksimovicVP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/LeMSEBV15,
  author    = {Bao Le and
               Djordje Maksimovic and
               Dipanjan Sengupta and
               Erhan Ergin and
               Ryan Berryhill and
               Andreas G. Veneris},
  title     = {Constructing stability-based clock gating with hierarchical clustering},
  booktitle = {25th International Workshop on Power and Timing Modeling, Optimization
               and Simulation, {PATMOS} 2015, Salvador, Brazil, September 1-4, 2015},
  pages     = {97--102},
  year      = {2015},
  crossref  = {DBLP:conf/patmos/2015},
  url       = {https://doi.org/10.1109/PATMOS.2015.7347593},
  doi       = {10.1109/PATMOS.2015.7347593},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/patmos/LeMSEBV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MaksimovicLV14,
  author    = {Djordje Maksimovic and
               Bao Le and
               Andreas G. Veneris},
  title     = {Multiple clock domain synchronization in a QBF-based verification
               environment},
  booktitle = {The {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
  pages     = {684--689},
  year      = {2014},
  crossref  = {DBLP:conf/iccad/2014},
  url       = {https://doi.org/10.1109/ICCAD.2014.7001426},
  doi       = {10.1109/ICCAD.2014.7001426},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/MaksimovicLV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2016,
  editor    = {Luca Fanucci and
               J{\"{u}}rgen Teich},
  title     = {2016 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7454909/proceeding},
  isbn      = {978-3-9815-3707-9},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2015,
  editor    = {Nir Piterman},
  title     = {Hardware and Software: Verification and Testing - 11th International
               Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
               17-19, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9434},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-26287-1},
  doi       = {10.1007/978-3-319-26287-1},
  isbn      = {978-3-319-26286-4},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/2015,
  title     = {33rd {IEEE} International Conference on Computer Design, {ICCD} 2015,
               New York City, NY, USA, October 18-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7347055/proceeding},
  isbn      = {978-1-4673-7166-7},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/patmos/2015,
  title     = {25th International Workshop on Power and Timing Modeling, Optimization
               and Simulation, {PATMOS} 2015, Salvador, Brazil, September 1-4, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7337614/proceeding},
  isbn      = {978-1-4673-9419-2},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/patmos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2014,
  editor    = {Yao{-}Wen Chang},
  title     = {The {IEEE/ACM} International Conference on Computer-Aided Design,
               {ICCAD} 2014, San Jose, CA, USA, November 3-6, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6991350/proceeding},
  isbn      = {978-1-4799-6277-8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics