| 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 | 108 | 2013 |
| 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 | 95 | 2016 |
| Predictive Formal Analysis of Resilience in Cyber-Physical Systems S Mouelhi, E Laarouchi, D Cancila, H Chaouchi IEEE Access 7, 33741-33758, 2019 | 28 | 2019 |
| 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 | 27 | 2019 |
| 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 | 22 | 2009 |
| 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 | 14 | 2010 |
| Adapting component behaviours using interface automata S Chouali, S Mouelhi, H Mountassir 2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010 | 13 | 2010 |
| 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 | 10 | 2017 |
| 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 | 6 | 2012 |
| 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 | 6 | 2011 |
| 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 | 5 | 2015 |
| 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 | 5 | 2010 |
| 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 | 4 | 2011 |
| 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 | 3 | 2010 |
| 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 | 3 | 2010 |
| 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 | 2 | 2018 |
| CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions S Mouelhi, A Girard, G Gössler Research report, 2012 | 2 | 2012 |
| 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 |
Samir ChoualiAssociate professor, Femto-ST Institute, University of Franche-Comté在 univ-fcomte.Fr 的电子邮件经过验证
