Sebti Mouelhi

19 papers A 1B 1Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2026 A conf
Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability.
EuroSys
Claudia Cauli, Timo Lang, Shuo Chen, Sebti Mouelhi, Xin Jin, Subhajit Bandopadhyay, Xusheng Chen, Yazhi Feng, Haoze Song, Linhua Tang, Zhenli Sheng, Ananth Shrinivas Srinath
2024 — conf
Striving for Urban Traffic Optimization: Eclipse MOSAIC-Backed Predictive IoV Applications.
CCCE
Jean Tshibangu Muabila, Sebti Mouelhi, Patrick Leserf, Amar Ramdane-Cherif
2024 J jnl
XGBoost in Public Transportation for Multi-Attribute Data: Delay Prediction in Railway Systems in Real-Time.
IEEE Access
Sondoss Chtioui, Sebti Mouelhi, Sébastien Saudrais, Toufik Azib, Marc Ille, Melanie Morel, Frédéric Oru
2023 — conf
Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience.
ICSRS
Jean Tshibangu Muabila, Sebti Mouelhi, Patrick Leserf, Amar Ramdane-Cherif
2022 — conf
Efficient V2X Waveforms: NOMA combined with FBMC/UFMC reduces the Co-channel Interference.
MENACOMM
Rafik Zitouni, Francesco Corrado Casto, Sebti Mouelhi, Benaoumeur Senouci
2022 — conf
STAFFER: Skill Training Alliance for the Future European Rail System✱.
ICEEL
Sebti Mouelhi, Alice Consilvio, Nicola Sacco, Angela Di Febbraro, Mirjana Bugarinovic, Eckhard Voss, Sabine Schneider, Mickaël Bregeon
2019 J jnl
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles.
IEEE Access
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
2019 J jnl
Predictive Formal Analysis of Resilience in Cyber-Physical Systems.
IEEE Access
Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi
2018 — conf
Component Design and Adaptation Based on Behavioral Contracts.
MEDI Workshops
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
2017 B conf
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons.
ICECCS
Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif
2016 J jnl
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models.
IEEE Trans. Autom. Control.
Antoine Girard, Gregor Gößler, Sebti Mouelhi
2015 — conf
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems.
CBSE
Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir
2013 — conf
CoSyMA: a tool for controller synthesis using multi-scale abstractions.
HSCC
Sebti Mouelhi, Antoine Girard, Gregor Gößler
2012 J jnl
Adaptation sémantique des protocoles des composants par les automates d'interface.
Tech. Sci. Informatiques
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
2011 — —
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
2010 — conf
Adapting Component Behaviours Using Interface Automata.
EUROMICRO-SEAA
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
2010 — conf
Assembly of components based on interface automata and UML component model.
CAL
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
2009 — conf
Refinement of Interface Automata Strengthened by Action Semantics.
FESCA@ETAPS
Sebti Mouelhi, Samir Chouali, Hassan Mountassir
2008 — conf
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.
FESCA@ETAPS
Samir Chouali, Hassan Mountassir, Sebti Mouelhi