Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hao Zheng 0001
@inproceedings{DBLP:conf/mwscas/AhmedNZ23,
author = {Md Rubel Ahmed and
Bardia Nadimi and
Hao Zheng},
title = {System-on-Chip Message Flow Mining with Masked-Language Models},
booktitle = {66th {IEEE} International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2023, Tempe, AZ, USA, August 6-9, 2023},
pages = {496--500},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MWSCAS57524.2023.10406038},
doi = {10.1109/MWSCAS57524.2023.10406038},
timestamp = {Sat, 24 Feb 2024 20:42:53 +0100},
biburl = {https://dblp.org/rec/conf/mwscas/AhmedNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JeppsonVIRWBMZWZ23,
author = {Joshua Jeppson and
Matthias Volk and
Bryant Israelsen and
Riley Roberts and
Andrew Williams and
Lukas Buecherl and
Chris J. Myers and
Hao Zheng and
Chris Winstead and
Zhen Zhang},
editor = {Nils Jansen and
Mirco Tribastone},
title = {{STAMINA} in {C++:} Modernizing an Infinite-State Probabilistic Model
Checker},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {101--109},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_7},
doi = {10.1007/978-3-031-43835-6\_7},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/JeppsonVIRWBMZWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-03523,
author = {Md Rubel Ahmed and
Bardia Nadimi and
Hao Zheng},
title = {AutoModel: Automatic Synthesis of Models from Communication Traces
of SoC Designs},
journal = {CoRR},
volume = {abs/2308.03523},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.03523},
doi = {10.48550/ARXIV.2308.03523},
eprinttype = {arXiv},
eprint = {2308.03523},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-03523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AhmedZMKY22,
author = {Md Rubel Ahmed and
Hao Zheng and
Parijat Mukherjee and
Mahesh C. Ketkar and
Jin Yang},
title = {Mining Patterns From Concurrent Execution Traces},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {8},
pages = {2758--2762},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3109513},
doi = {10.1109/TCAD.2021.3109513},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/AhmedZMKY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-13182,
author = {Md Rubel Ahmed and
Hao Zheng},
title = {Deep Bidirectional Transformers for SoC Flow Specification Mining},
journal = {CoRR},
volume = {abs/2203.13182},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13182},
doi = {10.48550/ARXIV.2203.13182},
eprinttype = {arXiv},
eprint = {2203.13182},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05207,
author = {Mohammad Ahmadi and
Zhen Zhang and
Chris J. Myers and
Chris Winstead and
Hao Zheng},
title = {Counterexample Generation for Infinite-State Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2207.05207},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05207},
doi = {10.48550/ARXIV.2207.05207},
eprinttype = {arXiv},
eprint = {2207.05207},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07929,
author = {Md Rubel Ahmed and
Bardia Nadimi and
Hao Zheng},
title = {Mining SoC Message Flows with Attention Model},
journal = {CoRR},
volume = {abs/2209.07929},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07929},
doi = {10.48550/ARXIV.2209.07929},
eprinttype = {arXiv},
eprint = {2209.07929},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ZhengAMKY21,
author = {Hao Zheng and
Md Rubel Ahmed and
Parijat Mukherjee and
Mahesh C. Ketkar and
Jin Yang},
title = {Model Synthesis for Communication Traces of System Designs},
booktitle = {39th {IEEE} International Conference on Computer Design, {ICCD} 2021,
Storrs, CT, USA, October 24-27, 2021},
pages = {492--499},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCD53106.2021.00082},
doi = {10.1109/ICCD53106.2021.00082},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ZhengAMKY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/AhmedZMKY21,
author = {Md Rubel Ahmed and
Hao Zheng and
Parijat Mukherjee and
Mahesh C. Ketkar and
Jin Yang},
title = {Mining Message Flows from System-on-Chip Execution Traces},
booktitle = {22nd International Symposium on Quality Electronic Design, {ISQED}
2021, Santa Clara, CA, USA, April 7-9, 2021},
pages = {374--380},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISQED51717.2021.9424306},
doi = {10.1109/ISQED51717.2021.9424306},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/AhmedZMKY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/AhmedZMKY21,
author = {Md Rubel Ahmed and
Hao Zheng and
Parijat Mukherjee and
Mahesh C. Ketkar and
Jin Yang},
title = {A Comparative Study of Specification Mining Methods for SoC Communication
Traces},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2021, Tampa,
FL, USA, July 7-9, 2021},
pages = {31--36},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISVLSI51109.2021.00017},
doi = {10.1109/ISVLSI51109.2021.00017},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/AhmedZMKY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06989,
author = {Hao Zheng and
Md Rubel Ahmed and
Parijat Mukherjee and
Mahesh C. Ketkar and
Jin Yang},
title = {Model Synthesis for Communication Traces of System-on-Chip Designs},
journal = {CoRR},
volume = {abs/2102.06989},
year = {2021},
url = {https://arxiv.org/abs/2102.06989},
eprinttype = {arXiv},
eprint = {2102.06989},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10778,
author = {Md Rubel Ahmed and
Hao Zheng},
title = {Tools and Algorithms for SoC Communication Traces},
journal = {CoRR},
volume = {abs/2103.10778},
year = {2021},
url = {https://arxiv.org/abs/2103.10778},
eprinttype = {arXiv},
eprint = {2103.10778},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsca/PalomboDLZ20,
author = {Hernan M. Palombo and
Egor Dolzhenko and
Jay Ligatti and
Hao Zheng},
title = {Stream-Monitoring Automata},
booktitle = {Proceedings of the 9th International Conference on Software and Computer
Applications, {ICSCA} 2020, Langkawi, Malaysia, February 18-21, 2020},
pages = {313--320},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3384544.3384609},
doi = {10.1145/3384544.3384609},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsca/PalomboDLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ises/KalyanamRKZ20,
author = {Lakshmi Kavya Kalyanam and
Vishalini Laguduva Ramnath and
Srinivas Katkoori and
Hao Zheng},
title = {A Distributed Framework for Real Time Object Detection at Low Frame
Rates with IoT Edge Nodes},
booktitle = {{IEEE} International Symposium on Smart Electronic Systems, iSES 2020
(Formerly iNiS), Chennai, India, December 14-16, 2020},
pages = {285--290},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/iSES50453.2020.00070},
doi = {10.1109/ISES50453.2020.00070},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ises/KalyanamRKZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/CaoMKYZ20,
author = {Yuting Cao and
Parijat Mukherjee and
Mahesh Ketkar and
Jin Yang and
Hao Zheng},
title = {Mining Message Flows using Recurrent Neural Networks for System-on-Chip
Designs},
booktitle = {21st International Symposium on Quality Electronic Design, {ISQED}
2020, Santa Clara, CA, USA, March 25-26, 2020},
pages = {389--394},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISQED48828.2020.9137001},
doi = {10.1109/ISQED48828.2020.9137001},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/CaoMKYZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14971,
author = {Hao Zheng and
Yingying Zhang and
Chris J. Myers},
title = {Local State Space Analysis to Assist Partial Order Reduction},
journal = {CoRR},
volume = {abs/2004.14971},
year = {2020},
url = {https://arxiv.org/abs/2004.14971},
eprinttype = {arXiv},
eprint = {2004.14971},
timestamp = {Sun, 03 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14995,
author = {Hao Zheng and
Andrew Price and
Chris J. Myers},
title = {Using Decision Diagrams to Compactly Represent the State Space for
Explicit Model Checking},
journal = {CoRR},
volume = {abs/2004.14995},
year = {2020},
url = {https://arxiv.org/abs/2004.14995},
eprinttype = {arXiv},
eprint = {2004.14995},
timestamp = {Sun, 03 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01574,
author = {Yuting Cao and
Parijat Mukherjee and
Mahesh Ketkar and
Jin Yang and
Hao Zheng},
title = {Mining Message Flows using Recurrent Neural Networks for System-on-Chip
Designs},
journal = {CoRR},
volume = {abs/2005.01574},
year = {2020},
url = {https://arxiv.org/abs/2005.01574},
eprinttype = {arXiv},
eprint = {2005.01574},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02550,
author = {Yuting Cao and
Hao Zheng and
Sandip Ray and
Jin Yang},
title = {A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol
Debug},
journal = {CoRR},
volume = {abs/2005.02550},
year = {2020},
url = {https://arxiv.org/abs/2005.02550},
eprinttype = {arXiv},
eprint = {2005.02550},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11221,
author = {Md Rubel Ahmed and
Hao Zheng and
Parijat Mukherjee and
Mahesh C. Ketkar and
Jin Yang},
title = {Mining Message Flows from System-on-Chip Execution Traces},
journal = {CoRR},
volume = {abs/2005.11221},
year = {2020},
url = {https://arxiv.org/abs/2005.11221},
eprinttype = {arXiv},
eprint = {2005.11221},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NeupaneMM0019,
author = {Thakur Neupane and
Chris J. Myers and
Curtis Madsen and
Hao Zheng and
Zhen Zhang},
editor = {Isil Dillig and
Serdar Tasiran},
title = {{STAMINA:} STochastic Approximate Model-Checker for INfinite-State
Analysis},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {540--549},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_31},
doi = {10.1007/978-3-030-25540-4\_31},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/NeupaneMM0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/CaoZR19,
author = {Yuting Cao and
Hao Zheng and
Sandip Ray},
title = {A Communication-Centric Observability Selection for Post-Silicon System-on-Chip
Integration Debug},
booktitle = {20th International Symposium on Quality Electronic Design, {ISQED}
2019, Santa Clara, CA, USA, March 6-7, 2019},
pages = {278--283},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISQED.2019.8697394},
doi = {10.1109/ISQED.2019.8697394},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/CaoZR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/Neupane0M0M19,
author = {Thakur Neupane and
Zhen Zhang and
Curtis Madsen and
Hao Zheng and
Chris J. Myers},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {327--348},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_12},
doi = {10.1007/978-3-030-17297-8\_12},
timestamp = {Thu, 13 Jun 2019 09:13:47 +0200},
biburl = {https://dblp.org/rec/series/cb/Neupane0M0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07857,
author = {Thakur Neupane and
Zhen Zhang and
Curtis Madsen and
Hao Zheng and
Chris J. Myers},
title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
journal = {CoRR},
volume = {abs/1901.07857},
year = {2019},
url = {http://arxiv.org/abs/1901.07857},
eprinttype = {arXiv},
eprint = {1901.07857},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-07857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03978,
author = {Thakur Neupane and
Chris J. Myers and
Curtis Madsen and
Hao Zheng and
Zhen Zhang},
title = {{STAMINA:} STochastic Approximate Model-checker for INfinite-state
Analysis},
journal = {CoRR},
volume = {abs/1906.03978},
year = {2019},
url = {http://arxiv.org/abs/1906.03978},
eprinttype = {arXiv},
eprint = {1906.03978},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12901,
author = {Yuting Cao and
Hao Zheng and
Sandip Ray},
title = {A Communication-Centric Observability Selection for Post-Silicon System-on-Chip
Integration Debug},
journal = {CoRR},
volume = {abs/1907.12901},
year = {2019},
url = {http://arxiv.org/abs/1907.12901},
eprinttype = {arXiv},
eprint = {1907.12901},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-12901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/CaoPRZ18,
author = {Yuting Cao and
Hernan M. Palombo and
Sandip Ray and
Hao Zheng},
title = {Enhancing Observability for Post-Silicon Debug with On-chip Communication
Monitors},
booktitle = {2018 {IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2018,
Hong Kong, China, July 8-11, 2018},
pages = {602--607},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISVLSI.2018.00115},
doi = {10.1109/ISVLSI.2018.00115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/CaoPRZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/PalomboZL17,
author = {Hernan M. Palombo and
Hao Zheng and
Jay Ligatti},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {{POSTER:} Towards Precise and Automated Verification of Security Protocols
in Coq},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {2567--2569},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3138846},
doi = {10.1145/3133956.3138846},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/PalomboZL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CaoZPRY17,
author = {Yuting Cao and
Hao Zheng and
Hernan M. Palombo and
Sandip Ray and
Jin Yang},
title = {A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol
Debug},
booktitle = {2017 {IEEE} International Conference on Computer Design, {ICCD} 2017,
Boston, MA, USA, November 5-8, 2017},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICCD.2017.35},
doi = {10.1109/ICCD.2017.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CaoZPRY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangSWY0M16,
author = {Zhen Zhang and
Wendelin Serwe and
Jian Wu and
Tomohiro Yoneda and
Hao Zheng and
Chris J. Myers},
title = {An improved fault-tolerant routing algorithm for a Network-on-Chip
derived with formal analysis},
journal = {Sci. Comput. Program.},
volume = {118},
pages = {24--39},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.01.002},
doi = {10.1016/J.SCICO.2016.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangSWY0M16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/ZhengCRY16,
author = {Hao Zheng and
Yuting Cao and
Sandip Ray and
Jin Yang},
title = {Protocol-guided analysis of post-silicon traces under limited observability},
booktitle = {17th International Symposium on Quality Electronic Design, {ISQED}
2016, Santa Clara, CA, USA, March 15-16, 2016},
pages = {301--306},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISQED.2016.7479218},
doi = {10.1109/ISQED.2016.7479218},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/ZhengCRY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/0001ZMRZ15,
author = {Hao Zheng and
Zhen Zhang and
Chris J. Myers and
Emmanuel Rodriguez and
Yingying Zhang},
title = {Compositional Model Checking of Concurrent Systems},
journal = {{IEEE} Trans. Computers},
volume = {64},
number = {6},
pages = {1607--1621},
year = {2015},
url = {https://doi.org/10.1109/TC.2014.2329701},
doi = {10.1109/TC.2014.2329701},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/0001ZMRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/0001Z14,
author = {Hao Zheng and
Yingying Zhang},
title = {Local State Space Analysis Leads to Better Partial Order Reduction},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {33},
number = {6},
pages = {839--852},
year = {2014},
url = {https://doi.org/10.1109/TCAD.2014.2301671},
doi = {10.1109/TCAD.2014.2301671},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/0001Z14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ZhangSWY0M14,
author = {Zhen Zhang and
Wendelin Serwe and
Jian Wu and
Tomohiro Yoneda and
Hao Zheng and
Chris J. Myers},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {48--62},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_4},
doi = {10.1007/978-3-319-10702-8\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ZhangSWY0M14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Zheng14,
author = {Hao Zheng},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Local state space construction for compositional verification of concurrent
systems},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {11--19},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632366},
doi = {10.1145/2632362.2632366},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Zheng14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ZhengPM12,
author = {Hao Zheng and
Andrew Price and
Chris J. Myers},
title = {Using decision diagrams to compactly represent the state space for
explicit model checking},
booktitle = {2012 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HLDVT.2012.6418238},
doi = {10.1109/HLDVT.2012.6418238},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/ZhengPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MyersWZZZ12,
author = {Chris J. Myers and
Jian Wu and
Zhen Zhang and
Hao Zheng and
Yingying Zhang},
title = {Poster Abstract: Methods and Tools for Verification of Cyber-Physical
Systems},
booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
{ICCPS} 2012, Beijing, China, April 17-19, 2012},
pages = {232},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCPS.2012.50},
doi = {10.1109/ICCPS.2012.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/MyersWZZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/ZhangR0M12,
author = {Yingying Zhang and
Emmanuel Rodriguez and
Hao Zheng and
Chris J. Myers},
title = {An Improvement in Partial Order Reduction Using Behavioral Analysis},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2012, Amherst,
MA, USA, August 19-21, 2012},
pages = {100--107},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISVLSI.2012.15},
doi = {10.1109/ISVLSI.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/ZhangR0M12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ZhengRZM12,
author = {Hao Zheng and
Emmanuel Rodriguez and
Yingying Zhang and
Chris J. Myers},
editor = {Alastair F. Donaldson and
David Parker},
title = {A Compositional Minimization Approach for Large Asynchronous Design
Verification},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {62--79},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_7},
doi = {10.1007/978-3-642-31759-0\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/ZhengRZM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhangRZM11,
author = {Yingying Zhang and
Emmanuel Rodriguez and
Hao Zheng and
Chris J. Myers},
editor = {Taghi M. Khoshgoftaar},
title = {A Behavioral Analysis Approach for Efficient Partial Order Reduction},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.15},
doi = {10.1109/HASE.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhangRZM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZhengYY10,
author = {Hao Zheng and
Haiqiong Yao and
Tomohiro Yoneda},
title = {Modular Model Checking of Large Asynchronous Designs with Efficient
Abstraction Refinement},
journal = {{IEEE} Trans. Computers},
volume = {59},
number = {4},
pages = {561--573},
year = {2010},
url = {https://doi.org/10.1109/TC.2009.187},
doi = {10.1109/TC.2009.187},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ZhengYY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/YaoZM10,
author = {Haiqiong Yao and
Hao Zheng and
Chris J. Myers},
title = {State space reductions for scalable verification of asynchronous designs},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496666},
doi = {10.1109/HLDVT.2010.5496666},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/YaoZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ThackerJMZ10,
author = {Robert A. Thacker and
Kevin R. Jones and
Chris J. Myers and
Hao Zheng},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {Automatic abstraction for verification of cyber-physical systems},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {12--21},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795197},
doi = {10.1145/1795194.1795197},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ThackerJMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/YaoZ09,
author = {Haiqiong Yao and
Hao Zheng},
title = {Automated Interface Refinement for Compositional Verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {28},
number = {3},
pages = {433--446},
year = {2009},
url = {https://doi.org/10.1109/TCAD.2009.2012531},
doi = {10.1109/TCAD.2009.2012531},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/YaoZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/ZhengYY09,
author = {Hao Zheng and
Haiqiong Yao and
Tomohiro Yoneda},
title = {Synchronization-Based Abstraction Refinement for Modular Verification
of Asynchronous Designs},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2009, 13-15
May 2009, Tampa, Florida, {USA}},
pages = {175--180},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ISVLSI.2009.16},
doi = {10.1109/ISVLSI.2009.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/ZhengYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhengAX08,
author = {Hao Zheng and
Jared Ahrens and
Tian Xia},
title = {A Compositional Method With Failure-Preserving Abstraction for Asynchronous
Design Verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {7},
pages = {1343--1347},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.923104},
doi = {10.1109/TCAD.2008.923104},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhengAX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/Xia007,
author = {Tian Xia and
Hao Zheng},
title = {Timing Jitter Characterization for Mixed-Signal Production Test Using
the Interpolation Algorithm},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {54},
number = {2},
pages = {1014--1023},
year = {2007},
url = {https://doi.org/10.1109/TIE.2007.892257},
doi = {10.1109/TIE.2007.892257},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/Xia007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhengMWLY06,
author = {Hao Zheng and
Chris J. Myers and
David Walter and
Scott Little and
Tomohiro Yoneda},
title = {Verification of timed circuits with failure-directed abstractions},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {3},
pages = {403--412},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2005.854638},
doi = {10.1109/TCAD.2005.854638},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhengMWLY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/MuXZ06,
author = {Di Mu and
Tian Xia and
Hao Zheng},
title = {Data Dependent Jitter Characterization Based on Fourier Analysis},
booktitle = {21th {IEEE} International Symposium on Defect and Fault-Tolerance
in {VLSI} Systems {(DFT} 2006), 4-6 October 2006, Arlington, Virginia,
{USA}},
pages = {534--544},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DFT.2006.19},
doi = {10.1109/DFT.2006.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/MuXZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/XiaSZ05,
author = {Tian Xia and
Peilin Song and
Hao Zheng},
editor = {John C. Lach and
Gang Qu and
Yehea I. Ismail},
title = {Characterizing the {VCO} jitter due to the digital simultaneous switching
noise},
booktitle = {Proceedings of the 15th {ACM} Great Lakes Symposium on {VLSI} 2005,
Chicago, Illinois, USA, April 17-19, 2005},
pages = {70--73},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1057661.1057680},
doi = {10.1145/1057661.1057680},
timestamp = {Wed, 15 Dec 2021 17:59:57 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/XiaSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/XiaZLG05,
author = {Tian Xia and
Hao Zheng and
Jing Li and
Ahmed Ginawi},
title = {Self-Refereed On-Chip Jitter Measurement Circuit Using Vernier Oscillators},
booktitle = {2005 {IEEE} Computer Society Annual Symposium on {VLSI} {(ISVLSI}
2005), New Frontiers in {VLSI} Design, 11-12 May 2005, Tampa, FL,
{USA}},
pages = {218--223},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISVLSI.2005.66},
doi = {10.1109/ISVLSI.2005.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/XiaZLG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhengMM03,
author = {Hao Zheng and
Eric Mercer and
Chris J. Myers},
title = {Modular verification of timed circuits using automatic abstraction},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {22},
number = {9},
pages = {1138--1153},
year = {2003},
url = {https://doi.org/10.1109/TCAD.2003.816214},
doi = {10.1109/TCAD.2003.816214},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhengMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ZhengMWLY03,
author = {Hao Zheng and
Chris J. Myers and
David Walter and
Scott Little and
Tomohiro Yoneda},
title = {Verification of Timed Circuits with Failure Directed Abstractions},
booktitle = {21st International Conference on Computer Design {(ICCD} 2003),VLSI
in Computers and Processors, 13-15 October 2003, San Jose, CA, USA,
Proceedings},
pages = {28--35},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICCD.2003.1240869},
doi = {10.1109/ICCD.2003.1240869},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ZhengMWLY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/MyersBKPZ01,
author = {Chris J. Myers and
Wendy Belluomini and
Kip Kallpack and
Eric Peskin and
Hao Zheng},
editor = {Satoshi Goto},
title = {Timed circuits: a new paradigm for high-speed design},
booktitle = {Proceedings of {ASP-DAC} 2001, Asia and South Pacific Design Automation
Conference 2001, January 30-February 2, 2001, Yokohama, Japan},
pages = {335--340},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/370155.370379},
doi = {10.1145/370155.370379},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/MyersBKPZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhengMM01,
author = {Hao Zheng and
Eric Mercer and
Chris J. Myers},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Automatic Abstraction for Verification of Timed Circuits and Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {182--193},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_16},
doi = {10.1007/3-540-44585-4\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhengMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BachmanZM99,
author = {Brandon M. Bachman and
Hao Zheng and
Chris J. Myers},
title = {Architectural Synthesis of Timed Asynchronous Systems},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design,
{VLSI} in Computers and Processors, {ICCD} '99, Austin, Texas, USA,
October 10-13, 1999},
pages = {354--363},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCD.1999.808566},
doi = {10.1109/ICCD.1999.808566},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/BachmanZM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Myers097,
author = {Chris J. Myers and
Hao Zheng},
title = {An asynchronous implementation of the maxlist algorithm},
booktitle = {1997 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '97, Munich, Germany, April 21-24, 1997},
pages = {647--650},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICASSP.1997.599851},
doi = {10.1109/ICASSP.1997.599851},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/Myers097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
