Cong Tian
Scholar

Cong Tian

Google Scholar ID: skrocFAAAAAJ
Xidian University
Formal methodsProgram verificationSoftware engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,843
 
H-index
24
 
i10-index
54
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
13 items
LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation
2026
Cited
0
Automated LTL Specification Generation from Industrial Aerospace Requirements
2026
Cited
0
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
2025
Cited
0
Enhancing the Effectiveness and Durability of Backdoor Attacks in Federated Learning through Maximizing Task Distinction
2025
Cited
0
VideoAgent: Personalized Synthesis of Scientific Videos
2025
Cited
0
Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
2025
Cited
0
Inference performance evaluation for LLMs on edge devices with a novel benchmarking framework and metric
2025
Cited
0
Implicit Jailbreak Attacks via Cross-Modal Information Concealment on Vision-Language Models
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)