An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. - Samir Chouali; Hassan Mountassir; Sebti Mouelhi (FESCA@ETAPS, 2008)

Refinement of Interface Automata Strengthened by Action Semantics. - Sebti Mouelhi; Samir Chouali; Hassan Mountassir (FESCA@ETAPS, 2009)

Assembly of components based on interface automata and UML component model. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (CAL, 2010)

Adapting Component Behaviours Using Interface Automata. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (EUROMICRO-SEAA, 2010)

Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables. (Contributions to the formal verification of the assembly and adaptation of reusable components). - Sebti Mouelhi (2011)

Adaptation sémantique des protocoles des composants par les automates d'interface. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (Tech. Sci. Informatiques, 2012)

CoSyMA: a tool for controller synthesis using multi-scale abstractions. - Sebti Mouelhi; Antoine Girard; Gregor Gößler (HSCC, 2013)

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. - Sebti Mouelhi; Khalid Agrou; Samir Chouali; Hassan Mountassir (CBSE, 2015)

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. - Antoine Girard; Gregor Gößler; Sebti Mouelhi (IEEE Trans. Autom. Control., 2016)

Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. - Sebti Mouelhi; Daniela Cancila; Amar Ramdane-Cherif (ICECCS, 2017)

Component Design and Adaptation Based on Behavioral Contracts. - Samir Chouali; Sebti Mouelhi; Hassan Mountassir (MEDI Workshops, 2018)

Predictive Formal Analysis of Resilience in Cyber-Physical Systems. - Sebti Mouelhi; Mohamed-Emine Laarouchi; Daniela Cancila; Hakima Chaouchi (IEEE Access, 2019)

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. - Roberto Passerone; Daniela Cancila; Michele Albano; Sebti Mouelhi; Sándor Plósz; Erkki Jantunen; Anna Ryabokon; Mohamed-Emine Laarouchi; Csaba Hegedüs; Pál Varga (IEEE Access, 2019)

STAFFER: Skill Training Alliance for the Future European Rail System✱. - Sebti Mouelhi; Alice Consilvio; Nicola Sacco; Angela Di Febbraro; Mirjana Bugarinovic; Eckhard Voss; Sabine Schneider; Mickaël Bregeon (ICEEL, 2022)

Efficient V2X Waveforms: NOMA combined with FBMC/UFMC reduces the Co-channel Interference. - Rafik Zitouni; Francesco Corrado Casto; Sebti Mouelhi; Benaoumeur Senouci (MENACOMM, 2022)

Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience. - Jean Tshibangu Muabila; Sebti Mouelhi; Patrick Leserf; Amar Ramdane-Cherif (ICSRS, 2023)

Striving for Urban Traffic Optimization: Eclipse MOSAIC-Backed Predictive IoV Applications. - Jean Tshibangu Muabila; Sebti Mouelhi; Patrick Leserf; Amar Ramdane-Cherif (CCCE, 2024)

XGBoost in Public Transportation for Multi-Attribute Data: Delay Prediction in Railway Systems in Real-Time. - Sondoss Chtioui; Sebti Mouelhi; Sébastien Saudrais; Toufik Azib; Marc Ille; Melanie Morel; Frédéric Oru (IEEE Access, 2024)