BibTeX records: Wanxia Qu

download as .bib file

@inproceedings{DBLP:conf/glvlsi/PiZLQW23,
  author       = {Yan Pi and
                  Hongji Zou and
                  Tun Li and
                  Wanxia Qu and
                  Hai Wan},
  editor       = {Himanshu Thapliyal and
                  Ronald F. DeMara and
                  Inna Partin{-}Vaisband and
                  Srinivas Katkoori},
  title        = {{ESFO:} Equality Saturation for {FIRRTL} Optimization},
  booktitle    = {Proceedings of the Great Lakes Symposium on {VLSI} 2023, {GLSVLSI}
                  2023, Knoxville, TN, USA, June 5-7, 2023},
  pages        = {581--586},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3583781.3590239},
  doi          = {10.1145/3583781.3590239},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/glvlsi/PiZLQW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iscas/LiSZQ23,
  author       = {Tun Li and
                  Mingchuan Shi and
                  Hongji Zou and
                  Wanxia Qu},
  title        = {Towards Accelerating Assertion Coverage Using Surrogate Logic Models},
  booktitle    = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2023,
                  Monterey, CA, USA, May 21-25, 2023},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISCAS46773.2023.10182064},
  doi          = {10.1109/ISCAS46773.2023.10182064},
  timestamp    = {Mon, 31 Jul 2023 09:04:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/LiSZQ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/ZouSLQ22,
  author       = {Hongji Zou and
                  Mingchuan Shi and
                  Tun Li and
                  WanXia Qu},
  editor       = {Cristiana Bolchini and
                  Ingrid Verbauwhede and
                  Ioana Vatajelu},
  title        = {Towards Implementing {RTL} Microprocessor Agile Design Using Feature
                  Oriented Programming},
  booktitle    = {2022 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
  pages        = {472--477},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.23919/DATE54114.2022.9774754},
  doi          = {10.23919/DATE54114.2022.9774754},
  timestamp    = {Wed, 25 May 2022 22:56:19 +0200},
  biburl       = {https://dblp.org/rec/conf/date/ZouSLQ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iscas/LiZLQ21,
  author       = {Tun Li and
                  Hongji Zou and
                  Dan Luo and
                  WanXia Qu},
  title        = {Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of {RTL}
                  Design},
  booktitle    = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2021,
                  Daegu, South Korea, May 22-28, 2021},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISCAS51556.2021.9401267},
  doi          = {10.1109/ISCAS51556.2021.9401267},
  timestamp    = {Fri, 02 Jul 2021 12:26:54 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/LiZLQ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/wicomm/ZhangQHGL18,
  author       = {Long Zhang and
                  WanXia Qu and
                  Yinjia Huo and
                  Yang Guo and
                  Sikun Li},
  title        = {An SAT-Based Method to Multithreaded Program Verification for Mobile
                  Crowdsourcing Networks},
  journal      = {Wirel. Commun. Mob. Comput.},
  volume       = {2018},
  year         = {2018},
  url          = {https://doi.org/10.1155/2018/3193974},
  doi          = {10.1155/2018/3193974},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wicomm/ZhangQHGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mis/ZhangHQGL17,
  author       = {Long Zhang and
                  Wenyan Hu and
                  WanXia Qu and
                  Yang Guo and
                  Sikun Li},
  title        = {A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical
                  Systems},
  journal      = {Mob. Inf. Syst.},
  volume       = {2017},
  pages        = {5731678:1--5731678:10},
  year         = {2017},
  url          = {https://doi.org/10.1155/2017/5731678},
  doi          = {10.1155/2017/5731678},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mis/ZhangHQGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tjs/GuoQZX12,
  author       = {Yang Guo and
                  WanXia Qu and
                  Long Zhang and
                  Weixia Xu},
  title        = {State space reduction in modeling checking parameterized cache coherence
                  protocol by two-dimensional abstraction},
  journal      = {J. Supercomput.},
  volume       = {62},
  number       = {2},
  pages        = {828--854},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11227-012-0755-0},
  doi          = {10.1007/S11227-012-0755-0},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/GuoQZX12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icycs/QuGPY08,
  author       = {Wanxia Qu and
                  Yang Guo and
                  Zhengbin Pang and
                  Xiaodong Yang},
  title        = {Efficient Verification of Parameterized Cache Coherence Protocols},
  booktitle    = {Proceedings of the 9th International Conference for Young Computer
                  Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
                  2008},
  pages        = {154--159},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICYCS.2008.458},
  doi          = {10.1109/ICYCS.2008.458},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icycs/QuGPY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icycs/QuLGY08,
  author       = {WanXia Qu and
                  Tun Li and
                  Yang Guo and
                  Xiaodong Yang},
  title        = {Explicit Model Checking Based on Integer Pointer and Fibonacci Hash},
  booktitle    = {Proceedings of the 9th International Conference for Young Computer
                  Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
                  2008},
  pages        = {844--849},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICYCS.2008.457},
  doi          = {10.1109/ICYCS.2008.457},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icycs/QuLGY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cadgraphics/GuoQLL07,
  author       = {Yang Guo and
                  WanXia Qu and
                  Tun Li and
                  Sikun Li},
  title        = {Coverage Driven Test Generation Framework for {RTL} Functional Verification},
  booktitle    = {10th International Conference on Computer-Aided Design and Computer
                  Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007},
  pages        = {321--326},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/CADCG.2007.4407902},
  doi          = {10.1109/CADCG.2007.4407902},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/cadgraphics/GuoQLL07.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.