Documents publiés en "2026"

Article de revue

Zrelli, R., Amaral Misson, H., Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2026). Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. Journal of Systems and Software, 240, 112941 (15 pages). Lien externe

Zrelli, R., Amaral Misson, H., Kamkuimo, S., Ben Attia, M., Shabah, A., Gohring de Magalhaes, F., & Nicolescu, G. (2026). Integrating formal methods and automated tools for DO-178C compliance in UAV software. Information and Software Technology, 194, 108068 (18 pages). Lien externe

Présentation

Hmissa, A., Picot, R. L. L., Naaman, R., Shahnejat Bushehri, A., Zrelli, R., Gohring de Magalhaes, F., & Nicolescu, G. (mai 2026). Performance Alert Triage with Time-Aware Learning and Multi-Scale Time-Series Features [Présentation]. Dans 17th ACM/SPEC International Conference on Performance Engineering (ICPE 2026), Florence, Italy. Lien externe