conf.researchr.org / Cong Tian
Not registered as user
Name:Cong Tian
Country:China
Affiliation:Xidian University
Contributions
2026
SANER
- Author of How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? within the Early Research Achievement (ERA) Track -track
- Author of Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation within the Early Research Achievement (ERA) Track -track
- Author of Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection within the Early Research Achievement (ERA) Track -track
2025
ASE
- Author of Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs within the Research Papers-track
- Author of Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision within the NIER-track