Sebti Mouelhi

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 8

Top Venues

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Jean Tshibangu Muabila, Sebti Mouelhi, Patrick Leserf, Amar Ramdane-Cherif
Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience. ICSRS (2023)
Rafik Zitouni, Francesco Corrado Casto, Sebti Mouelhi, Benaoumeur Senouci
Efficient V2X Waveforms: NOMA combined with FBMC/UFMC reduces the Co-channel Interference. MENACOMM (2022)
Sebti Mouelhi, Alice Consilvio, Nicola Sacco, Angela Di Febbraro, Mirjana Bugarinovic, Eckhard Voss, Sabine Schneider, Mickaël Bregeon
STAFFER: Skill Training Alliance for the Future European Rail System✱. ICEEL (2022)
Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi
Predictive Formal Analysis of Resilience in Cyber-Physical Systems. IEEE Access 7 (2019)
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
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. IEEE Access 7 (2019)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Component Design and Adaptation Based on Behavioral Contracts. MEDI Workshops (2018)
Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. ICECCS (2017)
Antoine Girard, Gregor Gößler, Sebti Mouelhi
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. IEEE Trans. Autom. Control. 61 (6) (2016)
Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. CBSE (2015)
Sebti Mouelhi, Antoine Girard, Gregor Gößler
CoSyMA: a tool for controller synthesis using multi-scale abstractions. HSCC (2013)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Adaptation sémantique des protocoles des composants par les automates d'interface. Tech. Sci. Informatiques 31 (6) (2012)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Assembly of components based on interface automata and UML component model. CAL (2010)
Samir Chouali, Sebti Mouelhi, Hassan Mountassir
Adapting Component Behaviours Using Interface Automata. EUROMICRO-SEAA (2010)
Samir Chouali, Hassan Mountassir, Sebti Mouelhi
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Sebti Mouelhi, Samir Chouali, Hassan Mountassir
Refinement of Interface Automata Strengthened by Action Semantics. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)

Sebti Mouelhi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebti Mouelhi