Sebti Mouelhi

According to our database, Sebti Mouelhi authored at least 15 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience.

Jean Tshibangu Muabila, Sebti Mouelhi, Patrick Leserf, Amar Ramdane-Cherif

Proceedings of the 7th International Conference on System Reliability and Safety, 2023

2022

Efficient V2X Waveforms: NOMA combined with FBMC/UFMC reduces the Co-channel Interference.

Rafik Zitouni, Francesco Corrado Casto, Sebti Mouelhi, Benaoumeur Senouci

Proceedings of the 4th IEEE Middle East and North Africa COMMunications Conference, 2022

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

Predictive Formal Analysis of Resilience in Cyber-Physical Systems.

Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi

IEEE Access, 2019

2018

Component Design and Adaptation Based on Behavioral Contracts.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the New Trends in Model and Data Engineering, 2018

2017

Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons.

Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models.

Antoine Girard, Gregor Gößler, Sebti Mouelhi

IEEE Trans. Autom. Control., 2016

2015

Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems.

Sebti Mouelhi, Khalid Agrou, Samir Chouali, Hassan Mountassir

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2013

CoSyMA: a tool for controller synthesis using multi-scale abstractions.

Sebti Mouelhi, Antoine Girard, Gregor Gößler

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Adaptation sémantique des protocoles des composants par les automates d'interface.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Tech. Sci. Informatiques, 2012

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

PhD thesis, 2011

2010

Adapting Component Behaviours Using Interface Automata.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Assembly of components based on interface automata and UML component model.

Samir Chouali, Sebti Mouelhi, Hassan Mountassir

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

2009

Refinement of Interface Automata Strengthened by Action Semantics.

Sebti Mouelhi, Samir Chouali, Hassan Mountassir

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

2008

An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car.

Samir Chouali, Hassan Mountassir, Sebti Mouelhi

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008