Tiecheng Ma

According to our database, Tiecheng Ma authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

CIPAC: A framework of automated software construction based on collective intelligence.

Jiaxin Liu, Yating Zhang, Yiwei Li, Tiecheng Ma, Wei Dong

J. Syst. Softw., 2025

2024

Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

Sirui Liu, Wei Dong, Tiecheng Ma, Yanqi Dong, Dong Yang

Proceedings of the Engineering Trustworthy Software Systems - 6th International School, 2024