 | Monter d'un niveau |
Amaral Misson, H., Zrelli, R., Ben Attia, M., Gohring de Magalhaes, F., & Nicolescu, G. (septembre 2023). ReDaML: a modeling language for DO-178C high-level requirements in airspace systems [Communication écrite]. 34th International Workshop on Rapid System Prototyping (RSP 2023), Hamburg, Germany (7 pages). Lien externe
Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (octobre 2024). Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications [Communication écrite]. International Workshop on Rapid System Prototyping (RSP 2024), Raleigh, NC, USA. Lien externe
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 [Communication écrite]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. Lien externe
