Documents publiés en "2024"

Amaral Misson, H. (2024). Towards Reliable and Efficient Safety-Critical Systems: A DO-178C Framework for UAV Development [Thèse de doctorat, Polytechnique Montréal]. Disponible

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