Documents publiés en "2026"

P

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

Z

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