Journal Articles

• Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga (2022) “Learning and Analysis of Sensors Behavior in IoT Systems using Statistical Model Checking”. Software Quality Journal - Springer Journal. (selected paper QUATIC 2022) URL

• Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga (2022) “Generation and Verification of Learned Stochastic Automata using k-NN and Statistical Model Checking”. Applied Intelligence - Springer Journal. URL

• Salim Chehida, Yves Ledru, Yoann Blein, German Vega (2021) “An SMT-Based Approach for Generating Trace Examples and Counter-examples of Parametric Properties”. International Journal of Critical Computer-Based Systems - Inderscience Publishers. URL

• Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni (2016) “Extensions of activity diagram for specification of RBAC policy”. ISI journal , vol 21, n 2/2016. URL

Conference Papers

• Salim Chehida, Akram Idani, Mario Cortes-Cornax, German Vega (2023). A Formal MDE Framework for Inter-DSL Collaboration. In International Conference on Coordination Languages and Models (pp. 232-249). Cham: Springer Nature Switzerland. URL

• Salim Chehida, Bensalem, S.; Conzon, D.; Ferrera, E. and Tao, X. (2022). “BRAIN-IoT Architecture and Platform for Building IoT Systems”. In Proceedings of the seventh International Conference on Internet of Things, Big Data and Security - IoTBDS, ISBN 978-989-758-564-7; ISSN 2184-4976, pages 67-77. URL

• Salim Chehida, Abdelhakim Baouya, Saddek Bensalem. (2021) “Component-Based Approach Combining UML and BIP for Rigorous System Design”. In Formal Aspects of Component Software. FACS 2021. Lecture Notes in Computer Science, vol 13077. Springer, Cham. URL

• Salim Chehida and Jean-Claude Tshilenge Mfumu. (2021) “Analysis and Prediction of Viral Infections using Statistical Model Checking”. In Proceedings of the 13th International Conference on Management of Digital EcoSystems (MEDES ‘21). Association for Computing Machinery, New York, NY, USA, 43–48. URL

• Salim Chehida, Abdelhakim Baouya, Diego Fernandez Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem (2020) “Asset-Driven Approach for Security Risk Assessment in IoT Systems”. In: Garcia-Alfaro J., Leneutre J., Cuppens N., Yaich R. (eds) Risks and Security of Internet and Systems. CRiSIS 2020. Lecture Notes in Computer Science, vol 12528. Springer, Cham. URL

• Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga (2020) “Applied Statistical Model Checking for a Sensor Behavior Analysis”. In: Shepperd M., Brito e Abreu F., Rodrigues da Silva A., Perez-Castillo R. (eds) Quality of Information and Communications Technology. QUATIC 2020. Communications in Computer and Information Science, vol 1266. Springer, Cham. URL

• Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem (2020) “Exploration of Impactful Countermeasures on IoT Attacks”. In 9th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro, pp. 1-4. URL

• Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga (2020) “Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems”. Frontiers in Artificial Intelligence and Applications, volume 327: Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques. URL

• Baouya A., Chehida S., Cantero M., Millet M., Bensalem S., Bozga M. (2020) “Formal Modeling and Simulation of Collaborative Intelligent Robots”. In: Zirpins C. et al. (eds) Advances in Service-Oriented and Cloud Computing. ESOCC 2020. Communications in Computer and Information Science, vol 1360. Springer, Cham. URL

• Chehida, S., Baouya, A., Cantero, M., Brun, P., & Massot, G. (2020) “Risk Assessment in IoT Case Study: Collaborative Robots System”. In Eclipse SAM IoT conference. URL

• Tao, X., Conzon, D., Ferrera, E., Li, S., Gotz, J., Maillet-Contoz, L., Michel, E., Diaz-Nava, M., Baouya, A., & Chehida, S. (2020) “Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems”. In Eclipse SAM IoT conference. URL

• Ben Cheikh A., Blein Y., Chehida S., Vega G., Ledru Y., du Bousquet L. (2018) “An Environment for the ParTraP Trace Property Language (Tool Demonstration)”. In: Colombo C., Leucker M. (eds) Runtime Verification. RV 2018. Lecture Notes in Computer Science, vol 11237. Springer, Cham. URL

• Salim Chehida, Akram Idani, Yves Ledru, M.K Rahmouni (2016) “Combining UML and B for the specification and validation of RBAC policies in Business Process activities”. In IEEE Tenth International Conference on Research Challenges in Information Science (RCIS), Grenoble, France. URL

• Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni (2015) “Extensions of activity diagram for access control to Information Systems”. In INFORSID15, Biarritz, France. URL

• Salim Chehida, Mustapha Kamel Rahmouni (2012) “Security Requirements Analysis of Web Applications using UML”. In ICWIT 2012, University of Sidi Bel Abbes, Algeria. URL

• Salim Chehida, Mustapha Kamel Rahmouni (2009) “Proposal of a Development Process for Secure Modeling of Information Systems”. In CIIA09, University of Tahar Moulay de Saida, Algeria. URL