Get started
Author

Sebti Mouelhi

CoSyMA: a tool for controller synthesis using multi-scale abstractions
2013 · Sebti Mouelhi, Antoine Girard, et al. · International Conference on Hybrid Systems: computation and control · 107
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
2015 · Antoine Girard, Gregor Gossler, et al. · IEEE Transactions on Automatic Control · 94
PDF
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles
2019 · Roberto Passerone, Daniela Cancila, et al. · IEEE Access · 30
PDF
Predictive Formal Analysis of Resilience in Cyber-Physical Systems
2019 · Sebti Mouelhi, Mohamed-Emine Laarouchi, et al. · IEEE Access · 28
PDF
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions
2012 · Mouelhi, Sebti, Girard, Antoine, et al. · HAL · 14
Refinement of Interface Automata Strengthened by Action Semantics
2009 · Sebti Mouelhi, Samir Chouali, et al. · Electronic Notes in Theoretical Computer Science · 14
PDF
Adapting Component Behaviours Using Interface Automata
2010 · Samir Chouali, Sebti Mouelhi, et al. · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · 11
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons
2017 · Sebti Mouelhi, Daniela Cancila, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 9
PDF
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
2010 · Samir Chouali, Hassan Mountassir, et al. · Electronic Notes in Theoretical Computer Science · 8
PDF
XGBoost in Public Transportation for Multi-Attribute Data: Delay Prediction in Railway Systems in Real-Time
2024 · Sondoss Chtioui, Sebti Mouelhi, et al. · IEEE Access · 5
Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience
2023 · Jean Tshibangu-Muabila, Sebti Mouelhi, et al. · International Conference on System Reliability and Safety (ICSRS) · 4
PDF
Adaptation sémantique des protocoles des composants par les automates d’interface
2012 · Samir Chouali, Sebti Mouelhi, et al. · Techniques et sciences informatiques · 3
Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability
2026 · Claudia Cauli, Timo Lang, et al. · European Conference on Computer Systems · 2
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems
2015 · Sebti Mouelhi, Khalid Agrou, et al. · International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) · 2
PDF
Invariant Preservation by Component Composition Using Semantical Interface Automata
2011 · Sebti Mouelhi, Samir Chouali, et al. · 2
Adaptation des Protocoles des Composants par les Automates d'Interface
2010 · Chouali, Samir, Mouelhi, Sebti, et al. · HAL · 2
Striving for Urban Traffic Optimization: Eclipse MOSAIC-Backed Predictive IoV Applications
2024 · Jean Tshibangu Muabila, Sebti Mouelhi, et al. · Communications in computer and information science · 1
Efficient V2X Waveforms: NOMA combined with FBMC/UFMC reduces the Co-channel Interference
2022 · Rafik Zitouni, Francesco Corrado Casto, et al. · IEEE Middle East and North Africa Communications Conference (MENACOMM) · 1
STAFFER: Skill Training Alliance for the Future European Rail System✱
2022 · Sebti Mouelhi, Alice Consilvio, et al. · International Conference on Education and E-Learning (ICEEL) · 1
PDF
Component Design and Adaptation Based on Behavioral Contracts
2018 · Samir Chouali, Sebti Mouelhi, et al. · Communications in computer and information science · 1
PDF
Assembly of components based on interface automata and {UML} component model
2010 · Chouali, Samir, Mouelhi, Sebti, et al. · HAL · 1
Applied Category Theory for Formalizing Architecture, Behavior, and Design of Complex Systems: A Survey
2026 · Philipp Ahrendt, Mehdi Mcharek, et al. · IEEE Open Journal of Systems Engineering
Linux Real-Time Testbed for Low-Latency Vehicular Connectivity: A Comprehensive Empirical Study
2026 · Sebti Mouelhi, Rafik Zitouni, et al. · SSRN Electronic Journal
Exploring Subway Relational Model in Decision Support Systems
2024 · Sondoss Chtioui, Sébastien Saudrais, et al. · Advances in transdisciplinary engineering
PDF
マルチスケール記号モデルを用いたインクリメンタルな安定性のある交換システムのための安全制御器の合成【Powered by NICT】
2016 · Antoine Girard, Gossler Gregor, et al. · IEEE Transactions on Automatic Control
Works count: 31
Citation count: 340
H-index: 8
I10-index: 7
Year
Topic
Type