BibTeX records: Hongyi Xie

download as .bib file

@article{DBLP:journals/tase/XieWB23,
  author       = {Hongyi Xie and
                  Baolin Wu and
                  Franco Bernelli{-}Zazzera},
  title        = {High Minimum Inter-Execution Time Sigmoid Event-Triggered Control
                  for Spacecraft Attitude Tracking With Actuator Saturation},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {20},
  number       = {2},
  pages        = {1349--1363},
  year         = {2023},
  url          = {https://doi.org/10.1109/TASE.2022.3179896},
  doi          = {10.1109/TASE.2022.3179896},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/XieWB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/GaoXSZSC22,
  author       = {Pengfei Gao and
                  Hongyi Xie and
                  Pu Sun and
                  Jun Zhang and
                  Fu Song and
                  Taolue Chen},
  title        = {Formal Verification of Masking Countermeasures for Arithmetic Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {48},
  number       = {3},
  pages        = {973--1000},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSE.2020.3008852},
  doi          = {10.1109/TSE.2020.3008852},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/GaoXSZSC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/GaoXSC21,
  author       = {Pengfei Gao and
                  Hongyi Xie and
                  Fu Song and
                  Taolue Chen},
  title        = {A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic
                  Programs},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {30},
  number       = {3},
  pages        = {26:1--26:42},
  year         = {2021},
  url          = {https://doi.org/10.1145/3428015},
  doi          = {10.1145/3428015},
  timestamp    = {Tue, 25 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/GaoXSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-09171,
  author       = {Pengfei Gao and
                  Hongyi Xie and
                  Fu Song and
                  Taolue Chen},
  title        = {A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic
                  Programs},
  journal      = {CoRR},
  volume       = {abs/2006.09171},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.09171},
  eprinttype    = {arXiv},
  eprint       = {2006.09171},
  timestamp    = {Wed, 17 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-09171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/GaoXZSC19,
  author       = {Pengfei Gao and
                  Hongyi Xie and
                  Jun Zhang and
                  Fu Song and
                  Taolue Chen},
  editor       = {Tom{\'{a}}s Vojnar and
                  Lijun Zhang},
  title        = {Quantitative Verification of Masked Arithmetic Programs Against Side-Channel
                  Attacks},
  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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11427},
  pages        = {155--173},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-17462-0\_9},
  doi          = {10.1007/978-3-030-17462-0\_9},
  timestamp    = {Fri, 31 Jan 2020 21:32:25 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/GaoXZSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1901-09706,
  author       = {Pengfei Gao and
                  Hongyi Xie and
                  Jun Zhang and
                  Fu Song and
                  Taolue Chen},
  title        = {Quantitative Verification of Masked Arithmetic Programs against Side-Channel
                  Attacks},
  journal      = {CoRR},
  volume       = {abs/1901.09706},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.09706},
  eprinttype    = {arXiv},
  eprint       = {1901.09706},
  timestamp    = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-09706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pnc/CaoYXZLZ10,
  author       = {Yining Cao and
                  Yabin Ye and
                  Hongyi Xie and
                  Xiaoping Zheng and
                  Yanhe Li and
                  Hanyi Zhang},
  title        = {Collision avoidance wavelength assignment scheme for distributed path
                  restoration in optical networks},
  journal      = {Photonic Netw. Commun.},
  volume       = {19},
  number       = {2},
  pages        = {155--160},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11107-009-0220-z},
  doi          = {10.1007/S11107-009-0220-Z},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pnc/CaoYXZLZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pnc/CaoXZLZ09,
  author       = {Yining Cao and
                  Hongyi Xie and
                  Xiaoping Zheng and
                  Yanhe Li and
                  Hanyi Zhang},
  title        = {Hop constraint-based capacity fairness control in IP-over-WDM networks},
  journal      = {Photonic Netw. Commun.},
  volume       = {18},
  number       = {2},
  pages        = {211--217},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11107-009-0184-z},
  doi          = {10.1007/S11107-009-0184-Z},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pnc/CaoXZLZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pnc/XieLZCCZ07,
  author       = {Hongyi Xie and
                  Yanhe Li and
                  Xiaoping Zheng and
                  Xinyou Cui and
                  Yining Cao and
                  Hanyi Zhang},
  title        = {Hop constraint based admission and fairness control in IP-over-WDM
                  networks},
  journal      = {Photonic Netw. Commun.},
  volume       = {14},
  number       = {2},
  pages        = {103--109},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11107-007-0082-1},
  doi          = {10.1007/S11107-007-0082-1},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pnc/XieLZCCZ07.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.