Cong Tian

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 125

Top Venues

Publications

Xiaolong Yu, Cong Tian
Dual sparse training framework: inducing activation map sparsity via Transformed ℓ1 regularization. CoRR (2024)
Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
Efficient adversarial training with multi-fidelity optimization for robust neural network. Neurocomputing 585 (2024)
Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Jin Cui, Zhenhua Duan
Using experience classification for training non-Markovian tasks. Expert Syst. Appl. 255 (2024)
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data 18 (7) (2024)
Zhi Ma, Cheng Wen, Jie Su, Ming Zhao, Bin Yu, Xu Lu, Cong Tian
Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems. CoRR (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR (2024)
Hongwei Du, Jingfang Su, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring. ACM Trans. Sens. Networks 20 (3) (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) (2024)
Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan
A multi-granularity CNN pruning framework via deformable soft mask with joint training. Neurocomputing 572 (2024)
Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan
Neuron importance based verification of neural networks via divide and conquer. Neurocomputing 565 (2024)
Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
Preventing Catastrophic Overfitting in Fast Adversarial Training: A Bi-level Optimization Perspective. CoRR (2024)
Bangxin Li, Hengrui Xing, Chao Huang, Jin Qian, Huangqing Xiao, Linfeng Feng, Cong Tian
StructuralSleight: Automated Jailbreak Attacks on Large Language Models Utilizing Uncommon Text-Encoded Structure. CoRR (2024)
Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. TASE (2024)
Qiang Yang, Chen Zhang, Na Bu, Zhenghui Yan, Tong Ye, Yicong Li, Cong Tian, Chuanlei Zhang
TensorRT Acceleration and SuperGlue Feature Matching in SFM: Performance Improvement and Dense 3D Reconstruction. ICIC (LNAI 2) (2024)
Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan
Multi-keyword ranked search with access control for multiple data owners in the cloud. J. Inf. Secur. Appl. 82 (2024)
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? IEEE Trans. Knowl. Data Eng. 18 (7) (2024)
Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) (2023)
Zhaoxin Wang, Handing Wang, Cong Tian, Yaochu Jin
Adversarial Training of Deep Neural Networks Guided by Texture and Structural Information. ACM Multimedia (2023)
Cong Tian, Dengpan Ye, Chuanxi Chen
Tiny WFP: Lightweight and Effective Website Fingerprinting via Wavelet Multi-Resolution Analysis. ACNS (1) (2023)
Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian
An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) (2023)
Ruixuan Miao, Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
Using Experience Classification for Training Non-Markovian Tasks. CoRR (2023)
Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE (2023)
Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) (2023)
Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
A proof system for unified temporal logic. Theor. Comput. Sci. 949 (2023)
Chao Ni, Cong Tian, Kaiwen Yang, David Lo, Jiachi Chen, Xiaohu Yang
Automatic Identification of Crash-inducing Smart Contracts. SANER (2023)
Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34 (1) (2023)
Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
Verifying Chips Design at RTL Level. TASE (2023)
Fang Ren, Cong Tian, Yuge Liu
IWT-based robust medical image watermarking for tamper detection and ROI recovery. AIPR (2023)
Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA (2023)
Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117 (2023)
Zhenzhen Su, Long Liu, Hongbing Ji, Cong Tian
A variational Bayesian approach for partly resolvable group tracking. Signal Process. 203 (2023)
Xinghan Zhao, Cong Tian
An Empirical Study on Software Defect Prediction using Function Point Analysis. QRS (2022)
Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937 (2022)
Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. SOFL+MSVL (2022)
Hongwei Du, Zhao Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
Formulate Full View Camera Sensor Coverage by Using Group Set Coverage. WiCON (2022)
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71 (1) (2022)
Jie Su, Cong Tian, Zuchao Yang, Jiyu Yang, Bin Yu, Zhenhua Duan
Prioritized Constraint-Aided Dynamic Partial-Order Reduction. ASE (2022)
Yansong Dong, Long Tang, Cong Tian, Bin Yu, Zhenhua Duan
Improving transferability of adversarial examples by saliency distribution and data augmentation. Comput. Secur. 120 (2022)
Fang Ren, Wei Hou, Mingyu Yu, Cong Tian
High capacity reversible information hiding algorithm based on asymmetric prediction error histogram. AIPR (2022)
Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186 (2022)
Cong Tian, Chang Su, Weiping Zhao
The Study of Fuzzy Variable Frequency Control System for Constant Pressure. CSIA (1) (2021)
Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. IEEE Trans. Reliab. 70 (3) (2021)
Jie Su, Cong Tian, Zhenhua Duan
Conditional interpolation: making concurrent program verification more effective. ESEC/SIGSOFT FSE (2021)
Xu Lu, Cong Tian, Bin Yu, Zhenhua Duan
Improving Quality of Counterexamples in Model Checking via Automated Planning. QRS (2021)
Cong Tian, Yuxin Deng, Yu Jiang
Preface to the Topic of Formal Methods and Their Applications. Int. J. Softw. Informatics 11 (4) (2021)
Rong Wang, Cong Tian, Lin Yan
Malware Detection Using CNN via Word Embedding in Cloud Computing Infrastructure. Sci. Program. 2021 (2021)
Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR (2021)
Jin Liu, Zhenhua Duan, Cong Tian
Multi-matching nested relations. Theor. Comput. Sci. 854 (2021)
Jie Zhang, Lin Yan, Rong Wang, Cong Tian, Zhenhua Duan
Malware Detection using CNN via Word Embedding. DSA (2021)
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. 70 (4) (2021)
Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22 (3) (2021)
Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan
Temporal logic specification mining of programs. Theor. Comput. Sci. 857 (2021)
Jie Zhang, Cong Tian, Zhenhua Duan
An efficient approach for taint analysis of android applications. Comput. Secur. 104 (2021)
Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. 42 (3) (2021)
Nan Zhang, Zhenhua Duan, Cong Tian
Unified temporal logic. Theor. Comput. Sci. 864 (2021)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809 (2020)
Zeqian Dong, Long Tang, Cong Tian
Distilling Knowledge in Adversarial Attack. DSA (2020)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
A novel approach to verifying context free properties of programs. Theor. Comput. Sci. 809 (2020)
Jin Liu, Zhenhua Duan, Cong Tian
Transforming Multi-matching Nested Traceable Automata to Multi-matching Nested Expressions. COCOA (2020)
Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. QRS (2020)
Shihua Luo, Cong Tian
Financial High-Frequency Time Series Forecasting Based on Sub-Step Grid Search Long Short-Term Memory Network. IEEE Access 8 (2020)
Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (4) (2020)
Cong Tian, Wensheng Wang, Zhenhua Duan
Making Streett Determinization Tight. LICS (2020)
Renzhi Wang, Tianwei Zhang, Xiaofei Xie, Lei Ma, Cong Tian, Felix Juefei-Xu, Yang Liu
Generating Adversarial Examples withControllable Non-transferability. CoRR (2020)
Cong Tian, Wensheng Wang, Zhenhua Duan
Making Streett Determinization Tight. CoRR (2020)
Xu Lu, Zhenhua Duan, Cong Tian, Hongwei Du
Verify heaps via unified model checking. Theor. Comput. Sci. 819 (2020)
Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang
P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. 25 (6) (2020)
Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. 37 (3) (2019)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37 (4) (2019)
Jie Zhang, Cong Tian, Zhenhua Duan
FastDroid: efficient taint analysis for Android applications. ICSE (Companion Volume) (2019)
Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. ACM Trans. Softw. Eng. Methodol. 28 (4) (2019)
Cong Tian, Zhenhua Duan
Model checking open systems with alternating projection temporal logic. Theor. Comput. Sci. 774 (2019)
Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du
Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. 788 (2019)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68 (3) (2019)
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
A temporal logic programming approach to planning. J. Comb. Optim. 38 (2) (2019)
Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (8) (2018)
Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao
Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA (2018)
Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL (2018)
Xu Lu, Cong Tian, Zhenhua Duan, Hongwei Du
Planning with Spatio-Temporal Search Control Knowledge. IEEE Trans. Knowl. Data Eng. 30 (10) (2018)
Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong
InterpChecker: Reducing State Space via Interpolations - (Competition Contribution). TACAS (2) (2018)
Cong Tian, Zhao Duan, Zhenhua Duan
Accelerating counterexample detection in software model checking. ICSE (Companion Volume) (2018)
Weili Wu, Hongwei Du, Huijuan Wang, Lidong Wu, Zhenhua Duan, Cong Tian
On general threshold and general cascade models of social influence. J. Comb. Optim. 35 (1) (2018)
Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang
Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. 118 (Part) (2018)
Cong Tian, Congli Xia, Zhenhua Duan
Android inter-component communication analysis with intent revision. ICSE (Companion Volume) (2018)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
Translating C programs to MSVL programs. CoRR (2018)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
A Novel Approach to Verifying Context Free Properties of Programs. AAIM (2018)
Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao
RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE (2018)
Jin Cui, Zhenhua Duan, Cong Tian, Hongwei Du
A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability. IEEE Trans. Reliab. 67 (2) (2018)
Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang
A compiler for MSVL and its applications. Theor. Comput. Sci. 749 (2018)
Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang
Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10 (6) (2017)
Xu Lu, Cong Tian, Zhenhua Duan
Temporalising Separation Logic for Planning with Search Control Knowledge. IJCAI (2017)
Zhao Duan, Cong Tian, Zhenhua Duan
Verifying Temporal Properties of C Programs via Lazy Abstraction. ICFEM (2017)
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
Implementing MapReduce with MSVL. SOFL+MSVL (2017)
Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11 (5) (2017)
Haiyang Wang, Zhenhua Duan, Cong Tian
Model Checking Multi-agent Systems with APTL. Ad Hoc Sens. Wirel. Networks 37 (1-4) (2017)
Meng Wang, Cong Tian, Zhenhua Duan
Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) (2017)
Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang
Modeling and Verifying Multi-core Programs. COCOA (2) (2017)
Chu Chen, Zhenhua Duan, Cong Tian, Hongwei Du
Cloning Automata: Simulation and Analysis of Computer Bacteria. COCOA (1) (2017)
Cong Tian, Zhao Duan, Zhenhua Duan, C.-H. Luke Ong
More effective interpolations in software model checking. ASE (2017)
Ya Shi, Cong Tian, Zhenhua Duan, Mengchu Zhou
Model checking Petri nets with MSVL. Inf. Sci. 363 (2016)

Cong Tian.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cong Tian