default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jiaqi Yin
@article{DBLP:journals/cbm/LiangLLYSWLSYLXLD24,
author = {Yinan Liang and
Dezhong Lv and
Kefan Liu and
Liting Yang and
Huan Shu and
Luan Wen and
Chongwen Lv and
Qisen Sun and
Jiaqi Yin and
Hui Liu and
Juan Xu and
Zhigang Liu and
Na Ding},
title = {MicroProteinDB: {A} database to provide knowledge on sequences, structures
and function of ncRNA-derived microproteins},
journal = {Comput. Biol. Medicine},
volume = {177},
pages = {108660},
year = {2024},
url = {https://doi.org/10.1016/j.compbiomed.2024.108660},
doi = {10.1016/J.COMPBIOMED.2024.108660},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/LiangLLYSWLSYLXLD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/YinCLZ24,
author = {Jiaqi Yin and
Sini Chen and
Yixiao Lv and
Huibiao Zhu},
title = {Enhancement and formal verification of the {ICC} mechanism with a
sandbox approach in android system},
journal = {Softw. Qual. J.},
volume = {32},
number = {3},
pages = {1175--1202},
year = {2024},
url = {https://doi.org/10.1007/s11219-024-09684-2},
doi = {10.1007/S11219-024-09684-2},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/YinCLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlt/YinGH24,
author = {Jiaqi Yin and
Tiong{-}Thye Goh and
Yi Hu},
title = {Using a Chatbot to Provide Formative Feedback: {A} Longitudinal Study
of Intrinsic Motivation, Cognitive Load, and Learning Performance},
journal = {{IEEE} Trans. Learn. Technol.},
volume = {17},
pages = {1404--1415},
year = {2024},
url = {https://doi.org/10.1109/TLT.2024.3364015},
doi = {10.1109/TLT.2024.3364015},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlt/YinGH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/LiuLYZY24,
author = {Mingju Liu and
Yingjie Li and
Jiaqi Yin and
Zhiru Zhang and
Cunxi Yu},
title = {Differentiable Combinatorial Scheduling at Scale},
booktitle = {Forty-first International Conference on Machine Learning, {ICML} 2024,
Vienna, Austria, July 21-27, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=3Pq6uI1MTE},
timestamp = {Mon, 02 Sep 2024 16:45:29 +0200},
biburl = {https://dblp.org/rec/conf/icml/LiuLYZY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ZhuYCZ24,
author = {Bangjie Zhu and
Jiaqi Yin and
Sini Chen and
Huibiao Zhu},
editor = {Jiman Hong and
Juw Won Park},
title = {Formalization and Verification of Delegate Contract Signing Mechanism
Based on Smart Contract Using {CSP}},
booktitle = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2024, Avila, Spain, April 8-12, 2024},
pages = {300--304},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3605098.3636187},
doi = {10.1145/3605098.3636187},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/ZhuYCZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-06593,
author = {Mingju Liu and
Yingjie Li and
Jiaqi Yin and
Zhiru Zhang and
Cunxi Yu},
title = {Differentiable Combinatorial Scheduling at Scale},
journal = {CoRR},
volume = {abs/2406.06593},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.06593},
doi = {10.48550/ARXIV.2406.06593},
eprinttype = {arXiv},
eprint = {2406.06593},
timestamp = {Mon, 08 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-06593.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/XuYZX23,
author = {Junya Xu and
Jiaqi Yin and
Huibiao Zhu and
Lili Xiao},
title = {Formalization and verification of Kafka messaging mechanism using
{CSP}},
journal = {Comput. Sci. Inf. Syst.},
volume = {20},
number = {1},
pages = {277--306},
year = {2023},
url = {https://doi.org/10.2298/csis210707057x},
doi = {10.2298/CSIS210707057X},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comsis/XuYZX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FeiZY23,
author = {Yuan Fei and
Huibiao Zhu and
Jiaqi Yin},
title = {{FVF-AKA:} {A} Formal Verification Framework of {AKA} Protocols for
Multi-server IoT},
journal = {Formal Aspects Comput.},
volume = {35},
number = {4},
pages = {21:1--21:36},
year = {2023},
url = {https://doi.org/10.1145/3599731},
doi = {10.1145/3599731},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/FeiZY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/CaiLLYMLFDLPLX23,
author = {Yangyang Cai and
Dezhong Lv and
Donghao Li and
Jiaqi Yin and
Yingying Ma and
Ya Luo and
Limei Fu and
Na Ding and
Yongsheng Li and
Zhenwei Pan and
Xia Li and
Juan Xu},
title = {IEAtlas: an atlas of HLA-presented immune epitopes derived from non-coding
regions},
journal = {Nucleic Acids Res.},
volume = {51},
number = {{D1}},
pages = {409--417},
year = {2023},
url = {https://doi.org/10.1093/nar/gkac776},
doi = {10.1093/NAR/GKAC776},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/CaiLLYMLFDLPLX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/FeiZY23,
author = {Yuan Fei and
Huibiao Zhu and
Jiaqi Yin},
title = {Modeling and verifying {NLSR} protocol of {NDN} for {CPS} using {UPPAAL}},
journal = {J. Softw. Evol. Process.},
volume = {35},
number = {7},
year = {2023},
url = {https://doi.org/10.1002/smr.2384},
doi = {10.1002/SMR.2384},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/FeiZY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/WangYCZ23,
author = {Danyang Wang and
Jiaqi Yin and
Sini Chen and
Huibiao Zhu},
editor = {Tsuyoshi Nakajima and
Toshihiro Komiyama and
Horst Lichter and
Thanwadee Sunetnanta and
Toni Anwar},
title = {Formalization and Verification of Go-based New Simple Queue System},
booktitle = {Joint Proceedings of the 5th International Workshop on Experience
with SQuaRE series and its Future Direction and the 11th International
Workshop on Quantitative Approaches to Software Quality co-located
with the 30th Asia Pacific Software Engineering Conference {(APSEC}
2023), Seoul, South Korea, December 4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3612},
pages = {74--81},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3612/QuASoQ\_2023\_Paper\_05.pdf},
timestamp = {Wed, 10 Jan 2024 15:49:57 +0100},
biburl = {https://dblp.org/rec/conf/apsec/WangYCZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YinLRY23,
author = {Jiaqi Yin and
Yingjie Li and
Daniel Robinson and
Cunxi Yu},
title = {{RESPECT:} Reinforcement Learning based Edge Scheduling on Pipelined
Coral Edge TPUs},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247706},
doi = {10.1109/DAC56929.2023.10247706},
timestamp = {Sun, 24 Sep 2023 13:31:06 +0200},
biburl = {https://dblp.org/rec/conf/dac/YinLRY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YangZYYJZ23,
author = {Zhuoping Yang and
Jinming Zhuang and
Jiaqi Yin and
Cunxi Yu and
Alex K. Jones and
Peipei Zhou},
title = {{AIM:} Accelerating Arbitrary-Precision Integer Multiplication on
Heterogeneous Reconfigurable Computing Platform Versal {ACAP}},
booktitle = {{IEEE/ACM} International Conference on Computer Aided Design, {ICCAD}
2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCAD57390.2023.10323754},
doi = {10.1109/ICCAD57390.2023.10323754},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/YangZYYJZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YinY23,
author = {Jiaqi Yin and
Cunxi Yu},
title = {Accelerating Exact Combinatorial Optimization via RL-based Initialization
- {A} Case Study in Scheduling},
booktitle = {{IEEE/ACM} International Conference on Computer Aided Design, {ICCAD}
2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCAD57390.2023.10323706},
doi = {10.1109/ICCAD57390.2023.10323706},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/YinY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/LvYCZ23,
author = {Yixiao Lv and
Jiaqi Yin and
Sini Chen and
Huibiao Zhu},
title = {Formalization and Verification of the {ICC} Mechanism in Android System
Using {CSP}},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
pages = {89--95},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSREW60843.2023.00053},
doi = {10.1109/ISSREW60843.2023.00053},
timestamp = {Tue, 14 Nov 2023 16:09:48 +0100},
biburl = {https://dblp.org/rec/conf/issre/LvYCZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04716,
author = {Jiaqi Yin and
Yingjie Li and
Daniel Robinson and
Cunxi Yu},
title = {{RESPECT:} Reinforcement Learning based Edge Scheduling on Pipelined
Coral Edge TPUs},
journal = {CoRR},
volume = {abs/2304.04716},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04716},
doi = {10.48550/ARXIV.2304.04716},
eprinttype = {arXiv},
eprint = {2304.04716},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11652,
author = {Jiaqi Yin and
Cunxi Yu},
title = {Accelerating Exact Combinatorial Optimization via RL-based Initialization
- {A} Case Study in Scheduling},
journal = {CoRR},
volume = {abs/2308.11652},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11652},
doi = {10.48550/ARXIV.2308.11652},
eprinttype = {arXiv},
eprint = {2308.11652},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12275,
author = {Zhuoping Yang and
Jinming Zhuang and
Jiaqi Yin and
Cunxi Yu and
Alex K. Jones and
Peipei Zhou},
title = {{AIM:} Accelerating Arbitrary-precision Integer Multiplication on
Heterogeneous Reconfigurable Computing Platform Versal {ACAP}},
journal = {CoRR},
volume = {abs/2309.12275},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.12275},
doi = {10.48550/ARXIV.2309.12275},
eprinttype = {arXiv},
eprint = {2309.12275},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-12275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/LiYZV22,
author = {Ran Li and
Jiaqi Yin and
Huibiao Zhu and
Phan Cong Vinh},
title = {Verification of RabbitMQ with Kerberos Using Timed Automata},
journal = {Mob. Networks Appl.},
volume = {27},
number = {5},
pages = {2049--2067},
year = {2022},
url = {https://doi.org/10.1007/s11036-022-01986-8},
doi = {10.1007/S11036-022-01986-8},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/monet/LiYZV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/ChenZYFXZ22,
author = {Ningning Chen and
Huibiao Zhu and
Jiaqi Yin and
Yuan Fei and
Lili Xiao and
Minghua Zhu},
title = {Modeling and verifying NDN-based IoV using {CSP}},
journal = {J. Softw. Evol. Process.},
volume = {34},
number = {10},
year = {2022},
url = {https://doi.org/10.1002/smr.2371},
doi = {10.1002/SMR.2371},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/ChenZYFXZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiYZXP22,
author = {Peimu Li and
Jiaqi Yin and
Huibiao Zhu and
Lili Xiao and
Miroslav Popovic},
editor = {Hong Va Leong and
Sahra Sedigh Sarvestani and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Hiroki Kashiwazaki and
Dave Towey and
Ji{-}Jiang Yang and
Hossain Shahriar},
title = {Formal Analysis and Verification of {DPSTM} v2 Architecture Using
{CSP}},
booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
{COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
pages = {872--877},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COMPSAC54236.2022.00138},
doi = {10.1109/COMPSAC54236.2022.00138},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LiYZXP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/UstunSYYZ22,
author = {Ecenur Ustun and
Ismail San and
Jiaqi Yin and
Cunxi Yu and
Zhiru Zhang},
title = {IMpress: Large Integer Multiplication Expression Rewriting for {FPGA}
{HLS}},
booktitle = {30th {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2022, New York City, NY, USA, May 15-18,
2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FCCM53951.2022.9786123},
doi = {10.1109/FCCM53951.2022.9786123},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fccm/UstunSYYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YinZ22,
author = {Jiaqi Yin and
Huibiao Zhu},
title = {The Operational and Denotational Semantics of rMECal Calculus for
Mobile Edge Computing},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {133--142},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00024},
doi = {10.1109/ICECCS54210.2022.00024},
timestamp = {Thu, 12 May 2022 09:47:03 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/YinZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesec/YinZY22,
author = {Jiaqi Yin and
Zhiru Zhang and
Cunxi Yu},
title = {Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined
Edge TPUs},
booktitle = {7th {IEEE/ACM} Symposium on Edge Computing, {SEC} 2022, Seattle, WA,
USA, December 5-8, 2022},
pages = {203--215},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SEC54971.2022.00023},
doi = {10.1109/SEC54971.2022.00023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieeesec/YinZY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/HouYZC22,
author = {Zhiru Hou and
Jiaqi Yin and
Huibiao Zhu and
Ningning Chen},
editor = {Hiroyuki Takizawa and
Hong Shen and
Toshihiro Hanawa and
Jong Hyuk Park and
Hui Tian and
Ryusuke Egawa},
title = {Formalization and Verification of {SIP} Using {CSP}},
booktitle = {Parallel and Distributed Computing, Applications and Technologies
- 23rd International Conference, {PDCAT} 2022, Sendai, Japan, December
7-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13798},
pages = {158--171},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29927-8\_13},
doi = {10.1007/978-3-031-29927-8\_13},
timestamp = {Tue, 16 Jul 2024 15:21:35 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/HouYZC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/LuoYZ22,
author = {Junfu Luo and
Jiaqi Yin and
Huibiao Zhu},
editor = {Hiroyuki Takizawa and
Hong Shen and
Toshihiro Hanawa and
Jong Hyuk Park and
Hui Tian and
Ryusuke Egawa},
title = {{MEA:} {A} Framework for Model Checking of Mutual Exclusion Algorithms
Focusing on Atomicity},
booktitle = {Parallel and Distributed Computing, Applications and Technologies
- 23rd International Conference, {PDCAT} 2022, Sendai, Japan, December
7-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13798},
pages = {387--398},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29927-8\_30},
doi = {10.1007/978-3-031-29927-8\_30},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/LuoYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiYZ22,
author = {Peimu Li and
Jiaqi Yin and
Huibiao Zhu},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {Formal Verification of {COCO} Database Framework Using {CSP}},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {363--368},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-072},
doi = {10.18293/SEKE2022-072},
timestamp = {Wed, 21 Sep 2022 17:47:56 +0200},
biburl = {https://dblp.org/rec/conf/seke/LiYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhangZYC22,
author = {Hongqin Zhang and
Huibiao Zhu and
Jiaqi Yin and
Ningning Chen},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {Modeling and Verifying {AUPS} Using {CSP}},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {568--573},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-088},
doi = {10.18293/SEKE2022-088},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/ZhangZYC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicetd/LiZY21,
author = {Ran Li and
Huibiao Zhu and
Jiaqi Yin},
title = {Formalization and Analysis of Ceph Using Process Algebra},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {104-D},
number = {12},
pages = {2154--2163},
year = {2021},
url = {https://doi.org/10.1587/transinf.2021edp7070},
doi = {10.1587/TRANSINF.2021EDP7070},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicetd/LiZY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/YinZF21,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei},
title = {Formal analysis and automated validation of privacy-preserving {AICE}
protocol in mobile edge computing},
journal = {Mob. Networks Appl.},
volume = {26},
number = {6},
pages = {2258--2271},
year = {2021},
url = {https://doi.org/10.1007/s11036-021-01850-1},
doi = {10.1007/S11036-021-01850-1},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/monet/YinZF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/YinZF21,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei},
title = {{SC4MEC:} Automated Implementation of {A} Secure Hierarchical Calculus
for Mobile Edge Computing},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {990--993},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474184},
doi = {10.23919/DATE51398.2021.9474184},
timestamp = {Wed, 21 Jul 2021 10:04:34 +0200},
biburl = {https://dblp.org/rec/conf/date/YinZF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/XuYZX21,
author = {Junya Xu and
Jiaqi Yin and
Huibiao Zhu and
Lili Xiao},
title = {Modeling and Verifying Producer-Consumer Communication in Kafka Using
{CSP}},
booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems,
Novi Sad, Serbia},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459960.3459961},
doi = {10.1145/3459960.3459961},
timestamp = {Tue, 13 Jul 2021 21:02:59 +0200},
biburl = {https://dblp.org/rec/conf/ecbseerc/XuYZX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/ZhaoYZL21,
author = {Chen Zhao and
Jiaqi Yin and
Huibiao Zhu and
Ran Li},
title = {Modeling and Verifying Ticket-Based Authentication Scheme for IoT
Using {CSP}},
booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking
(ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
30 - Oct. 3, 2021},
pages = {845--852},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00120},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00120},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/ZhaoYZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhangYZC21,
author = {Hongqin Zhang and
Jiaqi Yin and
Huibiao Zhu and
Ningning Chen},
editor = {Shi{-}Kuo Chang},
title = {Formal Modeling and Verification of ICN-IoT Middleware Architecture
{(S)}},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {102--107},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-003},
doi = {10.18293/SEKE2021-003},
timestamp = {Wed, 21 Sep 2022 17:47:55 +0200},
biburl = {https://dblp.org/rec/conf/seke/ZhangYZC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/HouYZ21,
author = {Zhiru Hou and
Jiaqi Yin and
Huibiao Zhu},
editor = {Shi{-}Kuo Chang},
title = {Formalization and Verification of Dubbo Using {CSP}},
booktitle = {The 33rd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2021},
pages = {154--159},
publisher = {{KSI} Research Inc.},
year = {2021},
url = {https://doi.org/10.18293/SEKE2021-077},
doi = {10.18293/SEKE2021-077},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/HouYZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/YinZFX21,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei and
Qiwen Xu},
title = {Formal Modelling and Verification of the {RTPS} Behavior Module},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {127--134},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00028},
doi = {10.1109/TASE52547.2021.00028},
timestamp = {Mon, 11 Oct 2021 17:13:04 +0200},
biburl = {https://dblp.org/rec/conf/tase/YinZFX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/YinZF21,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei},
title = {Formal Verification of HPS-based Master-Slave Scheme in {MEC} with
Timed Automata},
booktitle = {20th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2021, Shenyang, China, October
20-22, 2021},
pages = {68--75},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TrustCom53373.2021.00027},
doi = {10.1109/TRUSTCOM53373.2021.00027},
timestamp = {Sun, 13 Mar 2022 10:52:35 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/YinZF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-11244,
author = {Aijing Gao and
Bingjun Wang and
Jiaqi Yin and
Yating Tian},
title = {Hateful Memes Challenge: An Enhanced Multimodal Framework},
journal = {CoRR},
volume = {abs/2112.11244},
year = {2021},
url = {https://arxiv.org/abs/2112.11244},
eprinttype = {arXiv},
eprint = {2112.11244},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-11244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/YinZF20,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei},
title = {Specification and Verification of the Zab Protocol with {TLA+}},
journal = {J. Comput. Sci. Technol.},
volume = {35},
number = {6},
pages = {1312--1323},
year = {2020},
url = {https://doi.org/10.1007/s11390-020-0538-7},
doi = {10.1007/S11390-020-0538-7},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/YinZF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/YinZV20,
author = {Jiaqi Yin and
Huibiao Zhu and
Phan Cong Vinh},
title = {Formalization and Analysis of Haystack Architecture from Process Algebra
Perspective},
journal = {Mob. Networks Appl.},
volume = {25},
number = {3},
pages = {1125--1139},
year = {2020},
url = {https://doi.org/10.1007/s11036-019-01433-1},
doi = {10.1007/S11036-019-01433-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/YinZV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChenZFXY20,
author = {Ningning Chen and
Huibiao Zhu and
Yuan Fei and
Lili Xiao and
Jiaqi Yin},
title = {Modeling and Verifying Data Access Mechanism of {NLSR} Trust Model},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {198--207},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00028},
doi = {10.1109/APSEC51365.2020.00028},
timestamp = {Sat, 20 Mar 2021 14:55:58 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChenZFXY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuXYFLL20,
author = {Ran Li and
Huibiao Zhu and
Lili Xiao and
Jiaqi Yin and
Yuan Fei and
Gang Lu},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Formalization and Verification of {VANET}},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {1--6},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-011},
doi = {10.18293/SEKE2020-011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuYXFC20,
author = {Ningning Chen and
Huibiao Zhu and
Jiaqi Yin and
Lili Xiao and
Yuan Fei},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Modeling and Verifying NDN-based IoV Using {CSP}},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {31--36},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-066},
doi = {10.18293/SEKE2020-066},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhuYXFC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuXYFLX20,
author = {Junya Xu and
Huibiao Zhu and
Lili Xiao and
Jiaqi Yin and
Yuan Fei and
Gang Lu},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Formal Modelling and Verification of {MCAC} Router Architecture in
{ICN}},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {222--227},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-048},
doi = {10.18293/SEKE2020-048},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/LiYZ20,
author = {Ran Li and
Jiaqi Yin and
Huibiao Zhu},
editor = {Guojun Wang and
Ryan K. L. Ko and
Md. Zakirul Alam Bhuiyan and
Yi Pan},
title = {Modeling and Analysis of RabbitMQ Using {UPPAAL}},
booktitle = {19th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2020, Guangzhou, China,
December 29, 2020 - January 1, 2021},
pages = {79--86},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TrustCom50675.2020.00024},
doi = {10.1109/TRUSTCOM50675.2020.00024},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/LiYZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SunZFXLY19,
author = {Dongzhen Sun and
Huibiao Zhu and
Yuan Fei and
Lili Xiao and
Gang Lu and
Jiaqi Yin},
title = {Formalization and Verification of {TESAC} Using {CSP}},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {29},
number = {11{\&}12},
pages = {1741--1760},
year = {2019},
url = {https://doi.org/10.1142/S0218194019400199},
doi = {10.1142/S0218194019400199},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/SunZFXLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/YinZFF19,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei and
Yucheng Fang},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {Modeling and Verifying Spark on {YARN} Using Process Algebra},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {208--215},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00039},
doi = {10.1109/HASE.2019.00039},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/hase/YinZFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FeiZSY19,
author = {Yuan Fei and
Huibiao Zhu and
Haiying Sun and
Jiaqi Yin},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Security Calculus for Wireless Networks of Named Data Networking},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {170--185},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_11},
doi = {10.1007/978-3-030-32409-4\_11},
timestamp = {Mon, 28 Oct 2019 17:04:46 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FeiZSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/YinZFXW19,
author = {Jiaqi Yin and
Huibiao Zhu and
Yuan Fei and
Qiwen Xu and
Ruobiao Wu},
editor = {Angelo Perkusich},
title = {Formalization and Verification of {RTPS} StatefulWriter Module Using
{CSP}},
booktitle = {The 31st International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
2019},
pages = {147--198},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2019},
url = {https://doi.org/10.18293/SEKE2019-060},
doi = {10.18293/SEKE2019-060},
timestamp = {Wed, 03 Feb 2021 08:31:37 +0100},
biburl = {https://dblp.org/rec/conf/seke/YinZFXW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ShengZYYL19,
author = {Feng Sheng and
Huibiao Zhu and
Zongyuan Yang and
Jiaqi Yin and
Gang Lu},
editor = {Angelo Perkusich},
title = {Verifying Static Aspects of {UML} models using Prolog {(S)}},
booktitle = {The 31st International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
2019},
pages = {259--342},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2019},
url = {https://doi.org/10.18293/SEKE2019-175},
doi = {10.18293/SEKE2019-175},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ShengZYYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SunZFXLY19,
author = {Dongzhen Sun and
Huibiao Zhu and
Yuan Fei and
Lili Xiao and
Gang Lu and
Jiaqi Yin},
editor = {Angelo Perkusich},
title = {Modeling and Verifying {TESAC} Using {CSP}},
booktitle = {The 31st International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
2019},
pages = {265--348},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2019},
url = {https://doi.org/10.18293/SEKE2019-122},
doi = {10.18293/SEKE2019-122},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/SunZFXLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FangZY19,
author = {Yucheng Fang and
Huibiao Zhu and
Jiaqi Yin},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {Verifying Opacity of a Modified {PSTM}},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {232--239},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.00008},
doi = {10.1109/TASE.2019.00008},
timestamp = {Mon, 09 Dec 2019 18:38:09 +0100},
biburl = {https://dblp.org/rec/conf/tase/FangZY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcta/HuangDGCYD17,
author = {Shengming Huang and
Quanzhen Duan and
Tian Guo and
Yaping Cheng and
Jiaqi Yin and
Yuemin Ding},
title = {A 300-mA load {CMOS} low-dropout regulator without an external capacitor
for SoC and embedded applications},
journal = {Int. J. Circuit Theory Appl.},
volume = {45},
number = {12},
pages = {2281--2289},
year = {2017},
url = {https://doi.org/10.1002/cta.2356},
doi = {10.1002/CTA.2356},
timestamp = {Mon, 09 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcta/HuangDGCYD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-11 00:32 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:
