Documents publiés en "2026"

Article de revue

Picot, R. L. L., Shahnejat Bushehri, A., Gohring de Magalhaes, F., Ben Attia, M., Quintero, A., & Nicolescu, G. (2026). Energy-Efficient LLM-Based Decompilation via a Two-Stage Pipeline on Constrained Hardware. ACM Transactions on Embedded Computing Systems. Lien externe

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

Communication écrite

Gohring de Magalhaes, F. (septembre 2025). Dynamic Asynchronous Controller for Integrated Photonic Networks: Introducing CLAP [Communication écrite]. 36th International Workshop on Rapid System Prototyping (RSP 2025), Taipei, Taiwan. Lien externe

Affiche

Lefebvre, L., Ould-Bachir, T., & Gohring de Magalhaes, F. (juin 2026). Towards a lightweight ARINC-653 research platform based on a nanokernel [Affiche]. 24th IEEE International NEWCAS Conference (NEWCAS 2026), Chicoutimi, Quebec, Canada (5 pages). Disponible

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