External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability

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]

Authors

Yili Jiang

This author has not been identified. Look up 'Yili Jiang' in Google

Zhuoran Yan

This author has not been identified. Look up 'Zhuoran Yan' in Google

Ning Ge 0002

This author has not been identified. Look up 'Ning Ge 0002' in Google

Yuan Wang

This author has not been identified. Look up 'Yuan Wang' in Google

Jiahao Weng

This author has not been identified. Look up 'Jiahao Weng' in Google

Chunming Hu

This author has not been identified. Look up 'Chunming Hu' in Google
runs on