Sebti Mouelhi
Orcid: 0000-0001-5808-5631
According to our database1,
Sebti Mouelhi
authored at least 18 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
2
1
1
1
1
2
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
XGBoost in Public Transportation for Multi-Attribute Data: Delay Prediction in Railway Systems in Real-Time.
IEEE Access, 2024
Striving for Urban Traffic Optimization: Eclipse MOSAIC-Backed Predictive IoV Applications.
Proceedings of the Computer and Communication Engineering - 4th International Conference, 2024
2023
Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience.
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.
Proceedings of the 4th IEEE Middle East and North Africa COMMunications Conference, 2022
Proceedings of the 2022 6th International Conference on Education and E-Learning, 2022
2019
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles.
IEEE Access, 2019
IEEE Access, 2019
2018
Proceedings of the New Trends in Model and Data Engineering, 2018
2017
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons.
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.
IEEE Trans. Autom. Control., 2016
2015
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
2013
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
2012
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).
PhD thesis, 2011
2010
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010
Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010
2009
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.
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008