Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides | Download Bibtex
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides
A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion
Published in 2025 32nd Asia-Pacific Software Engineering Conference (APSEC), 2025
This paper proposes a hierarchical hybrid-intelligence multi-agent architecture combining consensus, debate, and reflection mechanisms for high-fidelity translation of natural language requirements into Projected Propositional Temporal Logic (PPTL).
Recommended citation: T. Zhang, J. Lyu and Y. Cai, "A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion," 2025 32nd Asia-Pacific Software Engineering Conference (APSEC), Macau, China, 2025, pp. 69-80, doi: 10.1109/APSEC66846.2025.00018.
Download Paper
DSVA: An Iterative Refinement Multi-Agent Framework for NL-to-MTL Translation
Published in IEEE Access, 2026
This paper proposes DSVA, an iterative refinement multi-agent framework for translating natural language requirements into Metric Temporal Logic (MTL), leveraging retrieval-augmented generation and large language models for formal specification in real-time systems.
Recommended citation: J. Lyu, Y. Wu and Y. Cai, "DSVA: An Iterative Refinement Multi-Agent Framework for NL-to-MTL Translation," IEEE Access, vol. 14, pp. 28457-28477, 2026, doi: 10.1109/ACCESS.2026.3665806.
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.