<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Shabah, Abdo"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 4

Communication écrite

Bernard, A., Legrain, A., Ben Attia, M., & Shabah, A. (octobre 2025). Distributed Resource Allocation and Application Deployment in Mesh Edge Networks [Communication écrite]. 21th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2025), Marrakesh, Morocco. 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

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

Panerati, J., Gianoli, L., Pinciroli, C., Shabah, A., Nicolescu, G., & Beltrame, G. (mai 2018). From Swarms to Stars: Task Coverage in Robot Swarms with Connectivity Constraints [Communication écrite]. IEEE International Conference on Robotics and Automation (ICRA 2018), Brisbane, Australia. Lien externe

Liste produite: Sat Dec 27 04:14:13 2025 EST.