( en | de | ru )

 

Disambiguation of "Yin, Jiaqi"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.

, , and . J. Softw. Evol. Process., (July 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jiaqi Zhang

Lu Yin

Renfu Yin

Li Yin

Zhihong Yin

 

Other publications of authors with the same name

Verifying Opacity of a Modified PSTM., , and . TASE, page 232-239. IEEE, (2019)A 300-mA load CMOS low-dropout regulator without an external capacitor for SoC and embedded applications., , , , , and . Int. J. Circuit Theory Appl., 45 (12): 2281-2289 (2017)Formalization and Verification of Go-based New Simple Queue System., , , and . IWESQ/QuASoQ@APSEC, volume 3612 of CEUR Workshop Proceedings, page 74-81. CEUR-WS.org, (2023)Formal Verification of COCO Database Framework Using CSP., , and . SEKE, page 363-368. KSI Research Inc., (2022)Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP., , , and . ISPA/BDCloud/SocialCom/SustainCom, page 845-852. IEEE, (2021)Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs., , and . SEC, page 203-215. IEEE, (2022)Formal Modelling and Verification of the RTPS Behavior Module., , , and . TASE, page 127-134. IEEE, (2021)MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity., , and . PDCAT, volume 13798 of Lecture Notes in Computer Science, page 387-398. Springer, (2022)The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing., and . ICECCS, page 133-142. IEEE, (2022)AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP., , , , , and . ICCAD, page 1-9. IEEE, (2023)