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]
Jean T. Muabila, Sebti Mouelhi, Patrick Leserf, and Amar Ramdan-Cherif, Striving for Urban Traffic Optimization: Eclipse MOSAIC-Backed Predictive IoV Applications. To appear in the Proceedings of the 2024 4th International Conference on Computer and Communication Engineering (CCCE’24), 2024, Springer.
Sondoss Chtioui, Sébastien Saudrais, Sebti Mouelhi, Toufik Azib, Marc Ille, Alexandre Rossi, Melanie Morel, Jerome Charmetant. Exploring Subway Relational Model in Decision Support Systems. In Advances in Transdisciplinary Engineering series: Proceedings of the 7th International Conference on Intelligent Traffic and Transportation (ICITT'23), vol. 50, pp. 217-230, 2023, IOS Press [doi].
Jean T. Muabila, Sebti Mouelhi, Patrick Leserf, and Amar Ramdan-Cherif, Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience. In the Proceedings of the 7th International Conference on System Reliability and Safety (ICSRS’23), pp. 237-246, 2024, IEEE [doi].
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.
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]