Yili Jiang, Zhuoran Yan, Ning Ge 0002, Yuan Wang, Jiahao Weng, Chunming Hu. LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability. In Elvira Albert, Corina S. Pasareanu, editors, Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Volume 16504 of Lecture Notes in Computer Science, pages 64-85, Springer, 2026. [doi]
@inproceedings{JiangYGWWH26,
title = {LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability},
author = {Yili Jiang and Zhuoran Yan and Ning Ge 0002 and Yuan Wang and Jiahao Weng and Chunming Hu},
year = {2026},
doi = {10.1007/978-3-032-22774-4_4},
url = {https://doi.org/10.1007/978-3-032-22774-4_4},
researchr = {https://researchr.org/publication/JiangYGWWH26},
cites = {0},
citedby = {0},
pages = {64-85},
booktitle = {Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings},
editor = {Elvira Albert and Corina S. Pasareanu},
volume = {16504},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-032-22774-4},
}