( en | de | ru )

 

Disambiguation of "Shi, Jianqi"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.

, , , , and . TASE, page 55-62. IEEE Computer Society, (2015)

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.

Jianqi Yu

Jianqi Wang

Jianqi Shen

Huili Shi

Lei Shi

 

Other publications of authors with the same name

Extracting optimal explanations for ensemble trees via automated reasoning., , , , , , and . Appl. Intell., 53 (11): 14371-14382 (June 2023)VARF: Verifying and Analyzing Robustness of Random Forests., , and . ICFEM, volume 12531 of Lecture Notes in Computer Science, page 163-178. Springer, (2020)A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL., , , , and . LCN, page 241-248. IEEE, (2021)A Tool for Transforming SysML State Machine into Uppaal Automatically., , , and . SMC, page 2471-2476. IEEE, (2023)Improving Single-Step Adversarial Training By Local Smoothing., , , , and . IJCNN, page 1-8. IEEE, (2023)Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP., , and . Formal Aspects Comput., 32 (1): 113-145 (2020)Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution., , , and . TASE, page 200-207. IEEE, (2019)ESF - An Extensive Service Foundation from Internet of Things Perspective., , , , and . ISORC Workshops, page 59-64. IEEE Computer Society, (2012)Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications., , , , and . REFSQ Workshops, volume 2376 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)CNN-based Super-resolution Reconstruction for Traffic Sign Detection., , , , , and . SSCI, page 1208-1213. IEEE, (2019)