( 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

Martha Congehl

Irene Congehl

Salvador Congost Zimmermann

Lina Cong

 

Other publications of authors with the same name

A Dynamic Parameter Adaptive Path Planning Algorithm., , , and . COCOA (2), volume 14462 of Lecture Notes in Computer Science, page 227-239. Springer, (2023)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)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)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)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)TensorRT Acceleration and SuperGlue Feature Matching in SFM: Performance Improvement and Dense 3D Reconstruction., , , , , , , and . ICIC (LNAI 2), volume 14876 of Lecture Notes in Computer Science, page 450-459. Springer, (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)Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective., , , and . CoRR, (2024)