<  Back to the Polytechnique Montréal portal

Items where Author is "Amaral Misson, Henrique"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: Z
Number of items: 2.

Z

Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2024, October). Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications [Paper]. International Workshop on Rapid System Prototyping (RSP 2024), Raleigh, NC, USA. External link

Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Paper]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. External link

List generated on: Fri Mar 14 06:33:50 2025 EDT