Sebti MOUELHI

Pôle

S2ET

Fonction

Enseignant-chercheur

Adresse postale

ESTACA Campus Paris-Saclay
12 avenue Paul Delouvrier – RD10
78180 Montigny-le-Bretonneux

Téléphone

01 76 52 11 80

Département

ESTACA'LAB, pôle S2ET "Systèmes et Energies Embarqués pour les Transports"

Parcours
Publications
Activités d'enseignements

Envoyer un courriel

Parcours

All details are in

https://www.linkedin.com/in/mouelhis/ https://sites.google.com/site/sebtimouelhi

Depuis 2020

Lecturer-Researcher @ ESTACA, ESTACA’LAB, Montigny-le-Bretonneux, France

Sept. 2015 - Août 2020

Lecturer-Researcher @ ECE Paris.Lyon, Paris, France

Oct. 2012 - Août 2015

Industrial experience: 1) Safety assurance engineer @ Alstom Transport, Saint-Ouen, France, 2) R&D and engineering activity @ SafeRiver, Paris Area, France, 3) Consultant (SafeRiver) in formal verification @ RATP (AQL), Fontenay-sous-Bois, France

Sept. 2011 - Sept. 2012

Post-doctoral fellow, IINRIA Grenoble Rhône-Alpes

Before

https://www.linkedin.com/in/mouelhis/ https://sites.google.com/site/sebtimouelhi

Journal articles

Roberto Passerone, Daniela Cancila, Michele Albano, Sebti Mouelhi, Sandor Plosz, Erkki Jantunen, Anna Ryabokon, Emine Laarouchi, Csaba Hegedűs, and Pal Varga. A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles. IEEE Access, vol. 7, pp. 125022-125037, 2019. [doi]
Sebti Mouelhi, Mohamed-Emine Laarouchi, Daniela Cancila, Hakima Chaouchi. Predictive Formal Analysis of Resilience in Cyber-Physical Systems. IEEE Access, vol. 07, pp. 33741-33758, 2019. [doi, hal]
Antoine Girard, Gregor Goessler, and Sebti Mouelhi. Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models. IEEE Transactions on Automatic Control, vol. 61, no. 6, pp. 1537-1549, 2016. [doi, hal]
Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation sémantique des protocoles des composants par les automates d’interface. Technique et Science Informatiques, 31(6):769-796, 2012 (extended version of a paper submitted to AFADL 2010). [doi]
Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, et al. Assemblage des composants digne de confiance : de l’ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13-18, 2010.
Samir Chouali, Hassan Mountassir, and Sebti Mouelhi. An I/O automata-based approach to verify component compatibility: application to the CyCab car. Electronic Notes in Theoretical Computer Science, 238:3-13, Elsevier, June 2010. [doi]
Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Refinement of interface automata strengthened by action semantics. Electronic Notes in Theoretical Computer Science, 253:111-126, Elsevier, October 2009. [doi]

Conference papers

Sebti Mouelhi, Alice Consilvio, Nicola Sacco, Angela Di Febbraro, Mirjana Bugarinovic̀, Eckhard Voss, Sabine Schneider, and Mickaël Bregeon. STAFFER: Skill Training Alliance for the Future European Rail System. In Proceedings of the 6th International Conference on Education and E-Learning (ICEEL’22), ACM, New York, NY, USA, 247–254. [doi]
Rafik Zitouni, Francesco Corrado Casto, Sebti Mouelhi, and Benaoumeur Senouci. Efficient V2X Waveforms: NOMA combined with FBMC/UFMC reduces the Co-channel Interference. In Proceedings of the 4th IEEE Middle East and North Africa COMMunications Conference (MENACOMM’22), pp. 141-146. IEEE, 2022. [doi]
Samir Chouali, Sebti Mouelhi and Hassan Mountassir. Component design and adaptation based on behavioral contracts. In proceedings of the International Conference on Model and Data Engineering MEDI’18: New Trends in Model and Data Engineering, volume 929, pages 217-230, CCIS, 2018, Springer [doi].
Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif. Distributed object-oriented design of autonomous control systems for connected vehicle platoons. In proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, ICECCS’17, pages 40-49, 2017. IEEE. [doi, hal].
Sebti Mouelhi, Khalid Agrou, Samir Chouali, and Hassan Mountassir. Object-oriented component-based design using behavioral contracts: Application to railway systems. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE ’15, pages 49-58, NY, USA, 2015. ACM. [doi, version with proofs]
Sebti Mouelhi, Antoine Girard, and Gregor Gössler. CoSyMA: A tool for controller synthesis using multi-scale abstractions. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, HSCC ’13, pages 83-88, NY, USA, 2013. ACM. [doi]
Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Invariant preservation by component composition using semantical interface automata. In Proceedings of the Sixth International Conference on Software Engineering Advances ICSEA 2011 (IARIA Conferences), pages 305-311, Barcelona, Spain, 2011. [link]
Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting components using interface automata enriched by action semantics. In Proceedings of 1st International Conference on Formal Verification of Object-Oriented Software, pages 7-21, Paris, France, 2010.
Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting component behaviours using interface automata. In Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA ’10, pages 119-122, Washington, DC, USA, 2010. IEEE Computer Society. [doi]
Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Assembly of components based on interface automata and UML component model. In the proceedings of the 4e Conf. Francophone sur les Architectures Logicielles, CAL’10, volume RNTI-L-5 of RNTI, Revue des Nouvelles Technologies de l’Information, pages 73-85, Pau, France, mars 2010. Cépaduès éditions.

Reports

Sebti Mouelhi, Khalid Agrou, Samir Chouali, and Hassan Mountassir. Object-oriented component-based design using behavioral contracts (version with proofs). Research report (with proofs), DISC department, FEMTO-ST Institute, UMR CNRS 6174, 2015. [hal]
Sebti Mouelhi, Antoine Girard, and Gregor Gössler. CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions (extended version). Research Report RR-8108, INRIA, 2012. [hal]
Sebti Mouelhi. Contributions to the formal verification of the assembly and adaptation of reusable components. Ph.D. Thesis in computer science, Université de Franche-Comté, 2011. [hal]
Sebti Mouelhi. Vérification formelle d’algorithmes distribués en +CAL. M.S. thesis, University of Lorraine, 2007. [hal]

Sebti MOUELHI

Parcours

Journal articles

Conference papers

Reports

Cybersecurity

IoT & vehicular communications

Model-based system engineering

Real-time

Embedded Linux

Critical embedded software design & code generation

Microcontrollers