Documents publiés en "2024"

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

Amaral Misson, H., Zrelli, R., Ben Attia, M., Gohring de Magalhaes, F., & Nicolescu, G. (septembre 2023). ReDaML: a modeling language for DO-178C high-level requirements in airspace systems [Communication écrite]. 34th International Workshop on Rapid System Prototyping (RSP 2023), Hamburg, Germany (7 pages). Lien externe

Belkhiri, A., Ben Attia, M., Gohring de Magalhaes, F., & Nicolescu, G. (mai 2024). Towards Efficient Diagnosis of Performance Bottlenecks in Microservice-Based Applications (Work In Progress paper) [Communication écrite]. Companion of the 15th ACM/SPEC International Conference on Performance Engineering (ICPE 2024 - Companion), London, United Kingdom. Lien externe

Destras, O., Le Beux, S., Gohring de Magalhaes, F., & Nicolescu, G. (2024). Survey on activation functions for optical neural networks. ACM Computing Surveys, 56(2), 35 (30 pages). Disponible

Destras, O., Le Beux, S., Gohring de Magalhaes, F., & Nicolescu, G. (juin 2024). Design of a Reconfigurable Activation Function for All-Optical Neural Networks [Communication écrite]. 22nd IEEE Interregional NEWCAS Conference (NEWCAS 2024), Sherbrooke, QC, Canada. Lien externe

Gohring de Magalhaes, F., Shafiee, A., Nicolescu, G., & Nikdast, M. (juillet 2024). Are Photonic Integrated Circuits (PICs) Secure? A Glance at Security Vulnerabilities in PICs [Communication écrite]. 2024 IEEE Photonics Society Summer Topicals Meeting Series (SUM 2024), Bridgetown, Barbados (2 pages). Lien externe

Shahnejat Bushehri, A., Amirnia, A., Belkhiri, A., Keivanpour, S., Gohring de Magalhaes, F., & Nicolescu, G. (2024). Deep Learning-Driven Anomaly Detection for Green IoT Edge Networks. IEEE Transactions on Green Communications and Networking, 8(1), 498-513. Lien externe

Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Communication écrite]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. Lien externe

Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (octobre 2024). Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications [Communication écrite]. International Workshop on Rapid System Prototyping (RSP 2024), Raleigh, NC, USA. Lien externe

Département de mathématiques et de génie industriel

Shahnejat Bushehri, A., Amirnia, A., Belkhiri, A., Keivanpour, S., Gohring de Magalhaes, F., & Nicolescu, G. (2024). Deep Learning-Driven Anomaly Detection for Green IoT Edge Networks. IEEE Transactions on Green Communications and Networking, 8(1), 498-513. Lien externe