Author

Cong Tian

Observed name: Tian, Cong

ORCID: 0000-0002-5429-4580

Observed ORCID: 0000-0002-5429-4580

OpenAlex ID: A5086865728

Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis

2026 · Cheng Wen, Hu Junjie, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting · 5

PDF

Improving transferability of adversarial examples by saliency distribution and data augmentation

2022 · Yansong Dong, Long Tang, et al. · Computers & Security · 4

DynaEDI+: Reliable and Decentralized Integrity Verification for Dynamic Edge Data

2025 · Jiyu Yang, Qiang He, et al. · IEEE Transactions on Services Computing · 3

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision

2025 · Xu Lu, Weisong Sun, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 2

DynaEDI: Decentralized Integrity Verification for Dynamic Edge Data

2024 · Qiang He, Jiyu Yang, et al. · Lecture notes in computer science · 2

Neuron importance based verification of neural networks via divide and conquer

2023 · Yansong Dong, Yuehao Liu, et al. · Neurocomputing · 2

UA-RAG: Uncertainty-aware dynamic retrieval-augmented generation

2026 · Muyuan Niu, Jie Su, et al. · Neurocomputing · 1

Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems

2024 · Ma, Zhi, Wen, Cheng, et al. · arXiv (Cornell University) · 1

PDF

An Empirical Study on Software Defect Prediction using Function Point Analysis

2022 · Xinghan Zhao, Cong Tian · IEEE International Conference on Software Quality, Reliability and Security (QRS) · 1

LLM-Based Intelligent Testing Framework for Spacecraft Embedded Software: Design and Validation

2026 · Ming Zhao, Xiaofeng Li, et al. · Advances in transdisciplinary engineering

TVCV-MTA: Reproducibility package for time-varying task-chain value modeling and confirmed market-based UAV allocation

2026 · Zhao, Xinghan, Yue, Heng, et al. · Zenodo (CERN European Organization for Nuclear Research)

Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation

2026 · Association for Computational Linguistics 2026, Bin Yu, Bin, et al. · Underline Science Inc.

T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition

2026 · Ruixuan Miao, Xu Lu, et al. · Proceedings of the AAAI Conference on Artificial Intelligence

T4NMTD: Transition-Centric Reinforcement Learning for Non-Markovian Task Decomposition

2026 · Association for Artificial Intelligence 2026, Bin Yu, Bin, et al. · Underline Science Inc.

CoopKG: An Academic Knowledge Graph for Question Answering Systems

2026 · Muyuan Niu, Cong Tian · Lecture notes in computer science

A General Conversion from Deep Learning Models to ONNX

2026 · Tao Liu, Cong Tian · SSRN Electronic Journal

Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation

2026 · Mingyu Wang, Bin Yu, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting

PDF

ParMod: A Parallel and Modular Framework for Learning Non-Markovian Tasks

2024 · Miao, Ruixuan, Lu, Xu, et al. · arXiv (Cornell University)

PDF

Improving Quality of Counterexamples in Model Checking via Automated Planning

2021 · Xu Lu, Cong Tian, et al. · IEEE International Conference on Software Quality, Reliability and Security (QRS)

Works count: 19

Citation count: 21

H-index: 3

I10-index: