Sebti Mouelhi

Sebti Mouelhi is a Lecturer-Researcher at ESTACA'LAB, Pôle S2ET (Systems and Embedded Energies for Transportation), ESTACA Campus Paris-Saclay, France, since 2020. Previously, he held the same role at ECE Paris (2015-2020). His academic work bridges formal verification, control systems, and cybersecurity in transportation contexts.

• PhD in Computer Science (Université de Franche-Comté, 2011)
• M.Sc. in Computer Science (University of Lorraine, 2007)

His research focuses on formal verification of component-based systems, controller synthesis for hybrid systems, and cybersecurity in vehicular and IoT communications. Recent work includes behavioral contracts for railway systems and V2X waveform optimization.

Publications highlight trends in autonomous vehicle security, component-based design, and transportation-specific formal methods. He has contributed to tools like CoSyMA for control synthesis and explored multi-scale abstractions in hybrid systems.

Teaching activities include labs on embedded Linux, real-time scheduling, CAN bus, and FreeRTOS using STM32 microcontrollers. His industrial experience (2012-2015) complements his academic expertise with practical insights into safety assurance and R&D in transport technologies.