| Exploration of impactful countermeasures on IoT attacks S Chehida, A Baouya, M Bozga, S Bensalem 2020 9th Mediterranean Conference on Embedded Computing (MECO), 1-4, 2020 | 13 | 2020 |
| Fog computing and blockchain for massive IoT deployment A Baouya, S Chehida, S Bensalem, M Bozga 2020 9th Mediterranean Conference on Embedded Computing (MECO), 1-4, 2020 | 11 | 2020 |
| Learning and analysis of sensors behavior in IoT systems using statistical model checking S Chehida, A Baouya, S Bensalem, M Bozga Software Quality Journal 30 (2), 367-388, 2022 | 7 | 2022 |
| Applied statistical model checking for a sensor behavior analysis S Chehida, A Baouya, S Bensalem, M Bozga International Conference on the Quality of Information and Communications …, 2020 | 7 | 2020 |
| Security Requirements Analysis of Web Applications Using UML. S Chehida, MK Rahmouni ICWIT, 232-239, 2012 | 7 | 2012 |
| Extensions du diagramme d'activité pour contrôler l'accès au SI. S Chehida, A Idani, Y Ledru, MK Rahmouni INFORSID, 151-165, 2015 | 6 | 2015 |
| Component-based approach combining UML and BIP for rigorous system design S Chehida, A Baouya, S Bensalem International Conference on Formal Aspects of Component Software, 27-43, 2021 | 5 | 2021 |
| Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. A Baouya, S Chehida, S Bensalem, M Bozga SoMeT, 330-342, 2020 | 5 | 2020 |
| An Environment for the ParTraP Trace Property Language (Tool Demonstration) A Ben Cheikh, Y Blein, S Chehida, G Vega, Y Ledru, L Du Bousquet Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 5 | 2018 |
| Asset-driven approach for security risk assessment in IoT systems S Chehida, A Baouya, DF Alonso, PE Brun, G Massot, M Bozga, ... Risks and Security of Internet and Systems: 15th International Conference …, 2021 | 4 | 2021 |
| Combining UML and B for the specification and validation of RBAC policies in business process activities S Chehida, A Idani, Y Ledru, MK Rahmouni 2016 IEEE Tenth International Conference on Research Challenges in …, 2016 | 4 | 2016 |
| Model-based Self-adaptive Management in a Smart Grid Substation S Chehida, K Fellah, E Rutten, G Giraud, S Mocanu 2023 IEEE 28th International Conference on Emerging Technologies and Factory …, 2023 | 3 | 2023 |
| Formal modeling and simulation of collaborative intelligent robots A Baouya, S Chehida, M Cantero, M Millet, S Bensalem, M Bozga Advances in Service-Oriented and Cloud Computing: International Workshops of …, 2021 | 3 | 2021 |
| Risk assessment in iot case study: Collaborative robots system S Chehida, A Baouya, PE Brun, G Massot, M Cantero 1st Eclipse Research International Conference on Security, Artificial …, 2020 | 3 | 2020 |
| Approche de spécification et validation formelles de politiques RBAC au niveau des processus métiers S CHEHIDA Approches Formelles dans l’Assistance au Developpement de Logiciels, 27, 2016 | 3 | 2016 |
| Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance A Baouya, S Chehida, S Bensalem, L Gürgen, R Nicholson, M Cantero, ... The Journal of Supercomputing 80 (1), 1206-1237, 2024 | 2 | 2024 |
| Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems X Tao, D Conzon, E Ferrera, L Maillet-Contoz, E Michel, M Diaz-Nava, ... 1st Eclipse Research International Conference on Security, Artificial …, 2020 | 2 | 2020 |
| Generation and verification of learned stochastic automata using k-NN and statistical model checking A Baouya, S Chehida, S Ouchani, S Bensalem, M Bozga Applied Intelligence, 1-21, 2022 | 1 | 2022 |
| BRAIN-IoT Architecture and Platform for Building IoT Systems. S Chehida, S Bensalem, D Conzon, E Ferrera, X Tao IoTBDS, 67-77, 2022 | 1 | 2022 |
| Analysis and prediction of viral infections using statistical model checking S Chehida, JCT Mfumu Proceedings of the 13th International Conference on Management of Digital …, 2021 | 1 | 2021 |
