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

Thomas, L., Loubet, G., Nicolescu, G., & Dragomirescu, D. (août 2026). Logic-Only, On-Line Fine Tuning and Real-Time Inference of Self-Organizing Map for Source Localization [Communication écrite]. General Assembly and Scientific Symposium of the International Union of Radio Science (URSI GASS 2026), Krakow, Poland (4 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