Proposition d'un Processus de Développement pour la Modélisation Sécurisée des Systèmes d'Information. - Salim Chehida; Mustapha Kamel Rahmouni (CIIA, 2009)

Security Requirements Analysis of Web Applications Using UML. - Salim Chehida; Mustapha Kamel Rahmouni (ICWIT, 2012)

Extensions du diagramme d'activité pour contrôler l'accès au SI. - Salim Chehida; Akram Idani; Yves Ledru; Mustapha Kamel Rahmouni (INFORSID, 2015)

Combining UML and B for the specification and validation of RBAC policies in business process activities. - Salim Chehida; Akram Idani; Yves Ledru; Mustapha Kamel Rahmouni (RCIS, 2016)

Extensions du diagramme d'activité pour la spécification de politiques RBAC. - Salim Chehida; Akram Idani; Yves Ledru; Mustapha Kamel Rahmouni (Ingénierie des Systèmes d Inf., 2016)

An Environment for the ParTraP Trace Property Language (Tool Demonstration). - Ansem Ben Cheikh; Yoann Blein; Salim Chehida; Germán Vega; Yves Ledru; Lydie du Bousquet (RV, 2018)

Asset-Driven Approach for Security Risk Assessment in IoT Systems. - Salim Chehida; Abdelhakim Baouya; Diego Fernández Alonso; Paul-Emmanuel Brun; Guillemette Massot; Marius Bozga; Saddek Bensalem (CRiSIS, 2020)

Formal Modeling and Simulation of Collaborative Intelligent Robots. - Abdelhakim Baouya; Salim Chehida; Miquel Cantero; Marta Millet; Saddek Bensalem; Marius Bozga (ESOCC Workshops, 2020)

Fog Computing and Blockchain for Massive IoT Deployment. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (MECO, 2020)

Exploration of Impactful Countermeasures on IoT Attacks. - Salim Chehida; Abdelhakim Baouya; Marius Bozga; Saddek Bensalem (MECO, 2020)

Applied Statistical Model Checking for a Sensor Behavior Analysis. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (QUATIC, 2020)

Risk Assessment in IoT Case Study: Collaborative Robots System. - Salim Chehida; Abdelhakim Baouya; Miquel Cantero; Paul-Emmanuel Brun; Guillemette Massot (SAM IoT, 2020)

Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems. - Xu Tao; Davide Conzon; Enrico Ferrera; Shuai Li; Jürgen Götz; Laurent Maillet-Contoz; Emmanuel Michel; Mario Diaz-Nava; Abdelhakim Baouya; Salim Chehida (SAM IoT, 2020)

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (SoMeT, 2020)

Component-Based Approach Combining UML and BIP for Rigorous System Design. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem (FACS, 2021)

Analysis and Prediction of Viral Infections using Statistical Model Checking. - Salim Chehida; Jean-Claude Tshilenge Mfumu (MEDES, 2021)

An SMT-based approach for generating trace examples and counter-examples of parametric properties. - Salim Chehida; Yves Ledru; Yoann Blein; Germán Vega (Int. J. Crit. Comput. Based Syst., 2021)

BRAIN-IoT Architecture and Platform for Building IoT Systems. - Salim Chehida; Saddek Bensalem; Davide Conzon; Enrico Ferrera; Xu Tao (IoTBDS, 2022)

Generation and verification of learned stochastic automata using k-NN and statistical model checking. - Abdelhakim Baouya; Salim Chehida; Samir Ouchani; Saddek Bensalem; Marius Bozga (Appl. Intell., 2022)

Learning and analysis of sensors behavior in IoT systems using statistical model checking. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (Softw. Qual. J., 2022)

A Formal MDE Framework for Inter-DSL Collaboration. - Salim Chehida; Akram Idani; Mario Cortes Cornax; Germán Vega (COORDINATION, 2023)

Model-based Self-adaptive Management in a Smart Grid Substation. - Salim Chehida; Karim Fellah; Éric Rutten; Guillaume Giraud; Stéphane Mocanu (ETFA, 2023)

Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. - Hamzah Al-Qadasi; Djafer Yahia Messaoud Benchadi; Salim Chehida; Kazuhiro Fukui; Saddek Bensalem (AINA (4), 2024)

A User-Centric Privacy Control Framework for Decentralized IoT Platforms. - Xu Tao; Rui Zhao; Salim Chehida; Davide Conzon; Enrico Ferrera; Saddek Bensalem (QUATIC, 2024)

A model-based approach for self-adaptive security in CPS: Application to smart grids. - Salim Chehida; Éric Rutten; Guillaume Giraud; Stéphane Mocanu (J. Syst. Archit., 2024)

Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Levent Gürgen; Richard Nicholson; Miquel Cantero; Mario Diaz-Nava; Enrico Ferrera (J. Supercomput., 2024)