Documents publiés en "2026"

Département de génie informatique et génie logiciel

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

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

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

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