BibTeX records: Bo-Yuan Huang

download as .bib file

@article{DBLP:journals/todaes/HuangZSVGM19,
  author    = {Bo{-}Yuan Huang and
               Hongce Zhang and
               Pramod Subramanyan and
               Yakir Vizel and
               Aarti Gupta and
               Sharad Malik},
  title     = {Instruction-Level Abstraction {(ILA):} {A} Uniform Specification for
               System-on-Chip (SoC) Verification},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {24},
  number    = {1},
  pages     = {10:1--10:24},
  year      = {2019},
  url       = {https://doi.org/10.1145/3282444},
  doi       = {10.1145/3282444},
  timestamp = {Fri, 10 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/HuangZSVGM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuangZGM19,
  author    = {Bo{-}Yuan Huang and
               Hongce Zhang and
               Aarti Gupta and
               Sharad Malik},
  title     = {ILAng: {A} Modeling and Verification Platform for SoCs Using Instruction-Level
               Abstractions},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25th International Conference, {TACAS} 2019, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
               {I}},
  pages     = {351--357},
  year      = {2019},
  crossref  = {DBLP:conf/tacas/2019-1},
  url       = {https://doi.org/10.1007/978-3-030-17462-0\_21},
  doi       = {10.1007/978-3-030-17462-0\_21},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/HuangZGM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cryptography/ChangHJ18,
  author    = {Joy Jo{-}Yi Chang and
               Bo{-}Yuan Huang and
               Justie Su{-}tzu Juan},
  title     = {A New Visual Multi-Secrets Sharing Scheme by Random Grids},
  journal   = {Cryptography},
  volume    = {2},
  number    = {3},
  pages     = {24},
  year      = {2018},
  url       = {https://doi.org/10.3390/cryptography2030024},
  doi       = {10.3390/cryptography2030024},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cryptography/ChangHJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cryptography/ChenHJ18,
  author    = {Ying{-}Yu Chen and
               Bo{-}Yuan Huang and
               Justie Su{-}tzu Juan},
  title     = {A (\emph{k}, \emph{n})-Threshold Progressive Visual Secret Sharing
               without Expansion},
  journal   = {Cryptography},
  volume    = {2},
  number    = {4},
  pages     = {28},
  year      = {2018},
  url       = {https://doi.org/10.3390/cryptography2040028},
  doi       = {10.3390/cryptography2040028},
  timestamp = {Fri, 18 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cryptography/ChenHJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SubramanyanHVGM18,
  author    = {Pramod Subramanyan and
               Bo{-}Yuan Huang and
               Yakir Vizel and
               Aarti Gupta and
               Sharad Malik},
  title     = {Template-Based Parameterized Synthesis of Uniform Instruction-Level
               Abstractions for SoC Verification},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {37},
  number    = {8},
  pages     = {1692--1705},
  year      = {2018},
  url       = {https://doi.org/10.1109/TCAD.2017.2764482},
  doi       = {10.1109/TCAD.2017.2764482},
  timestamp = {Sat, 11 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/SubramanyanHVGM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuangRGFM18,
  author    = {Bo{-}Yuan Huang and
               Sayak Ray and
               Aarti Gupta and
               Jason M. Fung and
               Sharad Malik},
  title     = {Formal security verification of concurrent firmware in SoCs using
               instruction-level abstraction for hardware},
  booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
               2018, San Francisco, CA, USA, June 24-29, 2018},
  pages     = {91:1--91:6},
  year      = {2018},
  crossref  = {DBLP:conf/dac/2018},
  url       = {https://doi.org/10.1145/3195970.3196055},
  doi       = {10.1145/3195970.3196055},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/HuangRGFM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/XingHGM18,
  author    = {Yue Xing and
               Bo{-}Yuan Huang and
               Aarti Gupta and
               Sharad Malik},
  title     = {A formal instruction-level {GPU} model for scalable verification},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design,
               {ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
  pages     = {130},
  year      = {2018},
  crossref  = {DBLP:conf/iccad/2018},
  url       = {https://doi.org/10.1145/3240765.3240771},
  doi       = {10.1145/3240765.3240771},
  timestamp = {Mon, 07 Jan 2019 11:16:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/XingHGM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01114,
  author    = {Bo{-}Yuan Huang and
               Hongce Zhang and
               Pramod Subramanyan and
               Yakir Vizel and
               Aarti Gupta and
               Sharad Malik},
  title     = {Instruction-Level Abstraction {(ILA):} {A} Uniform Specification for
               System-on-Chip (SoC) Verification},
  journal   = {CoRR},
  volume    = {abs/1801.01114},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.01114},
  archivePrefix = {arXiv},
  eprint    = {1801.01114},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-01114},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/SuH0YW17,
  author    = {Shih{-}Tang Su and
               Bo{-}Yuan Huang and
               Chih{-}Yu Wang and
               Che{-}Wei Yeh and
               Hung{-}Yu Wei},
  title     = {Protocol Design and Game Theoretic Solutions for Device-to-Device
               Radio Resource Allocation},
  journal   = {{IEEE} Trans. Vehicular Technology},
  volume    = {66},
  number    = {5},
  pages     = {4271--4286},
  year      = {2017},
  url       = {https://doi.org/10.1109/TVT.2016.2602658},
  doi       = {10.1109/TVT.2016.2602658},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tvt/SuH0YW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HuangLJ15,
  author    = {Bo{-}Yuan Huang and
               Yi{-}Hsiang Lai and
               Jie{-}Hong Roland Jiang},
  title     = {Asynchronous {QDI} Circuit Synthesis from Signal Transition Protocols},
  booktitle = {Proceedings of the {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 2015, Austin, TX, USA, November 2-6, 2015},
  pages     = {434--441},
  year      = {2015},
  crossref  = {DBLP:conf/iccad/2015},
  url       = {https://doi.org/10.1109/ICCAD.2015.7372602},
  doi       = {10.1109/ICCAD.2015.7372602},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/HuangLJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/HuangSWYW14,
  author    = {Bo{-}Yuan Huang and
               Shih{-}Tang Su and
               Chih{-}Yu Wang and
               Che{-}Wei Yeh and
               Hung{-}Yu Wei},
  title     = {Resource allocation in {D2D} communication - {A} game theoretic approach},
  booktitle = {{IEEE} International Conference on Communications, {ICC} 2014, Sydney,
               Australia, June 10-14, 2014, Workshops Proceedings},
  pages     = {483--488},
  year      = {2014},
  crossref  = {DBLP:conf/icc/2014w},
  url       = {https://doi.org/10.1109/ICCW.2014.6881245},
  doi       = {10.1109/ICCW.2014.6881245},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icc/HuangSWYW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2019-1,
  editor    = {Tom{\'{a}}s Vojnar and
               Lijun Zhang},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25th International Conference, {TACAS} 2019, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11427},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17462-0},
  doi       = {10.1007/978-3-030-17462-0},
  isbn      = {978-3-030-17461-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2019-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2018,
  title     = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
               2018, San Francisco, CA, USA, June 24-29, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3195970},
  isbn      = {978-1-5386-4114-9},
  timestamp = {Mon, 24 Sep 2018 12:07:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2018,
  editor    = {Iris Bahar},
  title     = {Proceedings of the International Conference on Computer-Aided Design,
               {ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3240765},
  doi       = {10.1145/3240765},
  isbn      = {978-1-4503-5950-4},
  timestamp = {Mon, 07 Jan 2019 11:16:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2015,
  editor    = {Diana Marculescu and
               Frank Liu},
  title     = {Proceedings of the {IEEE/ACM} International Conference on Computer-Aided
               Design, {ICCAD} 2015, Austin, TX, USA, November 2-6, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7367889},
  isbn      = {978-1-4673-8389-9},
  timestamp = {Wed, 13 Jan 2016 14:05:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icc/2014w,
  title     = {{IEEE} International Conference on Communications, {ICC} 2014, Sydney,
               Australia, June 10-14, 2014, Workshops Proceedings},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6878056},
  timestamp = {Fri, 12 Sep 2014 12:52:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icc/2014w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics