Seguir
Sebti Mouelhi
Sebti Mouelhi
Lecturer-Researcher, ESTACA Campus Paris-Saclay, Groupe ISAE
Dirección de correo verificada de estaca.fr - Página principal
Título
Citado por
Citado por
Año
CoSyMA: a tool for controller synthesis using multi-scale abstractions
S Mouelhi, A Girard, G Gössler
Proceedings of the 16th international conference on Hybrid systems …, 2013
1062013
Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models
A Girard, G Gössler, S Mouelhi
IEEE Transactions on Automatic Control 61 (6), 1537-1549, 2016
882016
A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles
R Passerone, D Cancila, M Albano, S Mouelhi, S Plosz, E Jantunen, ...
IEEE Access 7, 125022-125037, 2019
262019
Predictive Formal Analysis of Resilience in Cyber-Physical Systems
S Mouelhi, E Laarouchi, D Cancila, H Chaouchi
IEEE Access 7, 33741-33758, 2019
262019
Refinement of interface automata strengthened by action semantics
S Mouelhi, S Chouali, H Mountassir
Electronic Notes in Theoretical Computer Science 253 (1), 111-126, 2009
222009
An I/O automata-based approach to verify component compatibility: application to the CyCab car
S Chouali, H Mountassir, S Mouelhi
Electronic Notes in Theoretical Computer Science 238 (6), 3-13, 2010
142010
Adapting component behaviours using interface automata
S Chouali, S Mouelhi, H Mountassir
2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010
132010
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons
S Mouelhi, D Cancila, A Ramdane-Cherif
Proceedings of the 22nd International Conference on Engineering of Complex …, 2017
102017
Adaptation sémantique des protocoles des composants par les automates d'interface
S Chouali, S Mouelhi, H Mountassir
TSI (Technique et Science Informatiques) 31 (6), 769-796, 2012
62012
Invariant preservation by component composition using semantical interface automata
S Mouelhi, S Chouali, H Mountassir
Proceedings of the Sixth International Conference on Software Engineering …, 2011
62011
Object-oriented component-based design using behavioral contracts: application to railway systems
S Mouelhi, K Agrou, S Chouali, H Mountassir
Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015
52015
Assemblage des composants digne de confiance: de l’ingénierie des besoins aux spécifications formelles
S Chouali, J Dormoy, A Hammad, JM Hufflen, S Mouelhi, ...
Génie Logiciel 95, 13-18, 2010
52010
Assembly of components based on interface automata and UML component model
S Chouali, S Mouelhi, H Mountassir
CAL'10, 4e Conf. Francophone sur les Architectures Logicielles, 73--85, 2010
32010
Adaptation des Protocoles des Composants par les Automates d'Interface
S Chouali, S Mouelhi, H Mountassir
AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de …, 2010
32010
Component design and adaptation based on behavioral contracts
S Chouali, S Mouelhi, H Mountassir
New Trends in Model and Data Engineering: MEDI 2018 International Workshops …, 2018
22018
CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions
S Mouelhi, A Girard, G Gössler
Research report, 2012
22012
Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables
S Mouelhi
Université de Franche-Comté; Femto-ST (département DISC); École doctorale SPIM, 2011
22011
Adapting components using interface automata enriched by action semantics
S Chouali, S Mouelhi, H Mountassir
Proceedings of 1st International Conference on Formal Verification of Object …, 2010
2*2010
Exploring Subway Relational Model in Decision Support Systems
S Chtioui, S Saudrais, S Mouelhi, T Azib, M Ille, A Rossi, M Morel, ...
Emerging Cutting-Edge Developments in Intelligent Traffic and Transportation …, 2024
2024
Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field Experience
J Tshibangu-Muabila, S Mouelhi, P Leserf, A Ramdane-Cherif
2023 7th International Conference on System Reliability and Safety (ICSRS'23 …, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20