Jiaqi Yin

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 52

Top Topics

Formal Verification

Intrinsic Motivation

Top Venues

Mob. Networks Appl.

J. Softw. Evol. Process.

Publications

Jiaqi Yin, Tiong-Thye Goh, Yi Hu
Using a Chatbot to Provide Formative Feedback: A Longitudinal Study of Intrinsic Motivation, Cognitive Load, and Learning Performance. IEEE Trans. Learn. Technol. 17 (2024)
Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
Differentiable Combinatorial Scheduling at Scale. CoRR (2024)
Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu
Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system. Softw. Qual. J. 32 (3) (2024)
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC (2024)
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
MicroProteinDB: A database to provide knowledge on sequences, structures and function of ncRNA-derived microproteins. Comput. Biol. Medicine 177 (2024)
Jiaqi Yin, Cunxi Yu
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. ICCAD (2023)
Yangyang Cai, Dezhong Lv, Donghao Li, Jiaqi Yin, Yingying Ma, Ya Luo, Limei Fu, Na Ding, Yongsheng Li, Zhenwei Pan, Xia Li, Juan Xu
IEAtlas: an atlas of HLA-presented immune epitopes derived from non-coding regions. Nucleic Acids Res. 51 (D1) (2023)
Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. CoRR (2023)
Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Go-based New Simple Queue System. IWESQ/QuASoQ@APSEC (2023)
Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. CoRR (2023)
Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. DAC (2023)
Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of the ICC Mechanism in Android System Using CSP. ISSREW (2023)
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
Formalization and verification of Kafka messaging mechanism using CSP. Comput. Sci. Inf. Syst. 20 (1) (2023)
Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. ICCAD (2023)
Jiaqi Yin, Cunxi Yu
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. CoRR (2023)
Yuan Fei, Huibiao Zhu, Jiaqi Yin
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL. J. Softw. Evol. Process. 35 (7) (2023)
Yuan Fei, Huibiao Zhu, Jiaqi Yin
FVF-AKA: A Formal Verification Framework of AKA Protocols for Multi-server IoT. Formal Aspects Comput. 35 (4) (2023)
Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu, Zhiru Zhang
IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. FCCM (2022)
Junfu Luo, Jiaqi Yin, Huibiao Zhu
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT (2022)
Ran Li, Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
Verification of RabbitMQ with Kerberos Using Timed Automata. Mob. Networks Appl. 27 (5) (2022)
Peimu Li, Jiaqi Yin, Huibiao Zhu
Formal Verification of COCO Database Framework Using CSP. SEKE (2022)
Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC (2022)
Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen
Formalization and Verification of SIP Using CSP. PDCAT (2022)
Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen
Modeling and Verifying AUPS Using CSP. SEKE (2022)
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
Modeling and verifying NDN-based IoV using CSP. J. Softw. Evol. Process. 34 (10) (2022)
Jiaqi Yin, Huibiao Zhu
The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS (2022)
Jiaqi Yin, Zhiru Zhang, Cunxi Yu
Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs. SEC (2022)
Zhiru Hou, Jiaqi Yin, Huibiao Zhu
Formalization and Verification of Dubbo Using CSP. SEKE (2021)
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. ECBS (2021)
Aijing Gao, Bingjun Wang, Jiaqi Yin, Yating Tian
Hateful Memes Challenge: An Enhanced Multimodal Framework. CoRR (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. TrustCom (2021)
Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen
Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). SEKE (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing. Mob. Networks Appl. 26 (6) (2021)
Chen Zhao, Jiaqi Yin, Huibiao Zhu, Ran Li
Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP. ISPA/BDCloud/SocialCom/SustainCom (2021)
Ran Li, Huibiao Zhu, Jiaqi Yin
Formalization and Analysis of Ceph Using Process Algebra. IEICE Trans. Inf. Syst. (12) (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
SC4MEC: Automated Implementation of A Secure Hierarchical Calculus for Mobile Edge Computing. DATE (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu
Formal Modelling and Verification of the RTPS Behavior Module. TASE (2021)
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Specification and Verification of the Zab Protocol with TLA+. J. Comput. Sci. Technol. 35 (6) (2020)
Ran Li, Jiaqi Yin, Huibiao Zhu
Modeling and Analysis of RabbitMQ Using UPPAAL. TrustCom (2020)
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
Formal Modelling and Verification of MCAC Router Architecture in ICN. SEKE (2020)
Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. Mob. Networks Appl. 25 (3) (2020)
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
Modeling and Verifying NDN-based IoV Using CSP. SEKE (2020)
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
Modeling and Verifying Data Access Mechanism of NLSR Trust Model. APSEC (2020)
Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
Formalization and Verification of VANET. SEKE (2020)
Yuan Fei, Huibiao Zhu, Haiying Sun, Jiaqi Yin
A Security Calculus for Wireless Networks of Named Data Networking. ICFEM (2019)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
Modeling and Verifying Spark on YARN Using Process Algebra. HASE (2019)
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
Formalization and Verification of TESAC Using CSP. Int. J. Softw. Eng. Knowl. Eng. 29 (11&12) (2019)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu
Formalization and Verification of RTPS StatefulWriter Module Using CSP. SEKE (2019)
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
Modeling and Verifying TESAC Using CSP. SEKE (2019)
Yucheng Fang, Huibiao Zhu, Jiaqi Yin
Verifying Opacity of a Modified PSTM. TASE (2019)
Feng Sheng, Huibiao Zhu, Zongyuan Yang, Jiaqi Yin, Gang Lu
Verifying Static Aspects of UML models using Prolog (S). SEKE (2019)
S. Huang, Quanzhen Duan, Tian Guo, Yaping Cheng, Jiaqi Yin, Yuemin Ding
A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications. Int. J. Circuit Theory Appl. 45 (12) (2017)