( en | de | ru )

 

Disambiguation of "Tian, Cong"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking μ C/OS-III Multi-task System with TMSVL.

, , , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 187-200. Springer, (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.

Tian Tian

Irene Congehl

Martha Congehl

Salvador Congost Zimmermann

Lina Cong

 

Other publications of authors with the same name

Model Checking μ C/OS-III Multi-task System with TMSVL., , , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 187-200. Springer, (2015)Tiny WFP: Lightweight and Effective Website Fingerprinting via Wavelet Multi-Resolution Analysis., , and . ACNS (1), volume 13905 of Lecture Notes in Computer Science, page 237-259. Springer, (2023)Automatic Identification of Crash-inducing Smart Contracts., , , , , and . SANER, page 108-119. IEEE, (2023)RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model., , , and . QRS, page 121. IEEE, (2020)A Dynamic Parameter Adaptive Path Planning Algorithm., , , and . COCOA (2), volume 14462 of Lecture Notes in Computer Science, page 227-239. Springer, (2023)Binary Classifier for Fault Detection Based on KDE and PCA., and . MMAR, page 821-825. IEEE, (2018)Reducing Extension Edges of Concurrent Programs for Reachability Analysis., , , and . COCOA, volume 11346 of Lecture Notes in Computer Science, page 386-401. Springer, (2018)Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective., , , and . CoRR, (2024)Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?, , , , , , , , and . ACM Trans. Knowl. Discov. Data, 18 (7): 168 (August 2024)CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features., , , , and . TASE, volume 14777 of Lecture Notes in Computer Science, page 374-391. Springer, (2024)