Jiaqi Yin

According to our database, Jiaqi Yin authored at least 50 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

FVF-BIoT: a formal verification framework for blockchain-based IoT authentication.

Jiaqi Yin, Yuan Fei

Softw. Qual. J., December, 2024

Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system.

Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu

Softw. Qual. J., September, 2024

Using a Chatbot to Provide Formative Feedback: A Longitudinal Study of Intrinsic Motivation, Cognitive Load, and Learning Performance.

Jiaqi Yin, Tiong-Thye Goh, Yi Hu

IEEE Trans. Learn. Technol., 2024

MicroProteinDB: A database to provide knowledge on sequences, structures and function of ncRNA-derived microproteins.

Yinan Liang, Dezhong Lv, Kefan Liu, Liting Yang, Huan Shu, Luan Wen, Chongwen Lv, Qisen Sun, Jiaqi Yin, Hui Liu, Juan Xu, Zhigang Liu, Na Ding

Comput. Biol. Medicine, 2024

Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP.

Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Differentiable Combinatorial Scheduling at Scale.

Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT.

Yuan Fei, Huibiao Zhu, Jiaqi Yin

Formal Aspects Comput., December, 2023

Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.

Yuan Fei, Huibiao Zhu, Jiaqi Yin

J. Softw. Evol. Process., July, 2023

IEAtlas: an atlas of HLA-presented immune epitopes derived from non-coding regions.

Yangyang Cai, Dezhong Lv, Donghao Li, Jiaqi Yin, Yingying Ma, Ya Luo, Limei Fu, Na Ding, Yongsheng Li, Zhenwei Pan, Xia Li, Juan Xu

Nucleic Acids Res., January, 2023

Formalization and verification of Kafka messaging mechanism using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Comput. Sci. Inf. Syst., 2023

Formalization and Verification of the ICC Mechanism in Android System Using CSP.

Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling.

Jiaqi Yin, Cunxi Yu

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP.

Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs.

Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Formalization and Verification of Go-based New Simple Queue System.

Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu

Proceedings of the 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), 2023

2022

Modeling and verifying NDN-based IoV using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu

J. Softw. Evol. Process., 2022

Verification of RabbitMQ with Kerberos Using Timed Automata.

Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2022

Modeling and Verifying AUPS Using CSP.

Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Formal Verification of COCO Database Framework Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.

Junfu Luo, Jiaqi Yin, Huibiao Zhu

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

Formalization and Verification of SIP Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022

Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs.

Jiaqi Yin, Zhiru Zhang, Cunxi Yu

Proceedings of the 7th IEEE/ACM Symposium on Edge Computing, 2022

The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing.

Jiaqi Yin, Huibiao Zhu

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS.

Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang

Proceedings of the 30th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2022

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Mob. Networks Appl., 2021

Formalization and Analysis of Ceph Using Process Algebra.

Ran Li, Huibiao Zhu, Jiaqi Yin

IEICE Trans. Inf. Syst., 2021

Hateful Memes Challenge: An Enhanced Multimodal Framework.

Aijing Gao, Bingjun Wang, Jiaqi Yin, Yating Tian

CoRR, 2021

Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Proceedings of the 20th IEEE International Conference on Trust, 2021

Formal Modelling and Verification of the RTPS Behavior Module.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).

Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Formalization and Verification of Dubbo Using CSP.

Zhiru Hou, Jiaqi Yin, Huibiao Zhu

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP.

Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li

Proceedings of the 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, 2021

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.

Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2020

Specification and Verification of the Zab Protocol with TLA+.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

J. Comput. Sci. Technol., 2020

Modeling and Analysis of RabbitMQ Using UPPAAL.

Ran Li, Jiaqi Yin, Huibiao Zhu

Proceedings of the 19th IEEE International Conference on Trust, 2020

Modeling and Verifying NDN-based IoV Using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Formal Modelling and Verification of MCAC Router Architecture in ICN.

Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Formalization and Verification of VANET.

Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Modeling and Verifying Data Access Mechanism of NLSR Trust Model.

Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Formalization and Verification of TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Int. J. Softw. Eng. Knowl. Eng., 2019

Verifying Opacity of a Modified PSTM.

Yucheng Fang, Huibiao Zhu, Jiaqi Yin

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Formalization and Verification of RTPS StatefulWriter Module Using CSP.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Modeling and Verifying TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Verifying Static Aspects of UML models using Prolog (S).

Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

A Security Calculus for Wireless Networks of Named Data Networking.

Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin

Proceedings of the Formal Methods and Software Engineering, 2019

Modeling and Verifying Spark on YARN Using Process Algebra.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2017

A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications.

Shengming Huang, Quanzhen Duan, Tian Guo, Yaping Cheng, Jiaqi Yin, Yuemin Ding

Int. J. Circuit Theory Appl., 2017