<  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
Aller à : B | P | Z
Nombre de documents: 4

B

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

P

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

Z

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

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