Author

Salim Chehida

Observed names: Chehida Salim, Chehida, Salim

Institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Centre Inria de l'Université Grenoble Alpes, Verimag, CTRL-A: Commande pour systèmes informatiques autonomiques, Université Grenoble Alpes

Observed institutions: Institut polytechnique de Grenoble, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université Oran 1 Ahmed Ben Bella, Centre Inria de l'Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble, Verimag, CTRL-A: Commande pour systèmes informatiques autonomiques, Université Grenoble Alpes

ORCID: 0000-0002-5070-2591

Observed ORCID: 0000-0002-5070-2591

OpenAlex ID: A5076889358

A Model-Based Approach for Self-Adaptive Security in CPS: Application to Smart Grids

2023 · Salim Chehida, Eric Rutten, et al. · Journal of Systems Architecture · 17

PDF

Fog Computing and Blockchain for Massive IoT Deployment

2020 · Abdelhakim Baouya, Salim Chehida, et al. · Mediterranean Conference on Embedded Computing (MECO) · 12

Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance

2023 · Abdelhakim Baouya, Salim Chehida, et al. · The Journal of Supercomputing · 10

Exploration of Impactful Countermeasures on IoT Attacks

2020 · Salim Chehida, Abdelhakim Baouya, et al. · Mediterranean Conference on Embedded Computing (MECO) · 10

Learning and analysis of sensors behavior in IoT systems using statistical model checking

2021 · Salim Chehida, Abdelhakim Baouya, et al. · Software Quality Journal · 7

Component-Based Approach Combining UML and BIP for Rigorous System Design

2021 · Salim Chehida, Abdelhakim Baouya, et al. · Lecture notes in computer science · 7

Generation and verification of learned stochastic automata using k-NN and statistical model checking

2021 · Abdelhakim Baouya, Salim Chehida, et al. · Applied Intelligence · 5

Asset-Driven Approach for Security Risk Assessment in IoT Systems

2021 · Salim Chehida, Abdelhakim Baouya, et al. · Lecture notes in computer science · 5

Formal Modeling and Simulation of Collaborative Intelligent Robots

2021 · Abdelhakim Baouya, Salim Chehida, et al. · Communications in computer and information science · 5

Applied Statistical Model Checking for a Sensor Behavior Analysis

2020 · Salim Chehida, Abdelhakim Baouya, et al. · Communications in computer and information science · 5

Security Requirements Analysis of Web Applications using UML

2012 · Salim Chehida, Mustapha Kamel Rahmouni · 5

Neural Network Innovations in Image-Based Malware Classification: A Comparative Study

2024 · Hamzah Al-Qadasi, Djafer Yahia M. Benchadi, et al. · Lecture notes on data engineering and communications technologies · 4

BRAIN-IoT Architecture and Platform for Building IoT Systems

2022 · Salim Chehida, Saddek Bensalem, et al. · International Conference on Internet of Things, Big Data and Security (IoTBDS) · 4

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems

2020 · Abdelhakim Baouya, Salim Chehida, et al. · Frontiers in artificial intelligence and applications · 4

An Environment for the ParTraP Trace Property Language (Tool Demonstration)

2018 · Ansem Ben Cheikh, Yoann Blein, et al. · Lecture notes in computer science · 3

Combining UML and B for the specification and validation of RBAC policies in business process activities

2016 · Salim Chehida, Akram Idani, et al. · International Conference on Research Challenges in Information Science (RCIS) · 3

Model-based Self-adaptive Management in a Smart Grid Substation

2023 · Salim Chehida, Karim Fellah, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 2

PDF

Analysis and Prediction of Viral Infections using Statistical Model Checking

2021 · Salim Chehida, Jean-Claude Tshilenge Mfumu · International Conference on Management of Emergent Digital EcoSystems (MEDES) · 2

Extensions du diagramme d’activité pour contrôler l’accès au SI

2015 · Chehida, Salim, Idani, Akram, et al. · HAL · 2

Risk Assessment in IoT Case Study: Collaborative Robots System

2020 · Chehida, Salim · HAL · 1

Extensions du diagramme d’activité pour la spécification de politiques RBAC

2016 · Chehida Salim, Idani Akram, et al. · Ingénierie des systèmes d information · 1

Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques: Application to smart grids

2024 · Chehida, Salim, Rutten, Eric, et al. · HAL

PDF

A User-Centric Privacy Control Framework for Decentralized IoT Platforms

2024 · Xu Tao, Rui Zhao, et al. · Communications in computer and information science

A Formal MDE Framework for Inter-DSL Collaboration

2023 · Salim Chehida, Akram Idani, et al. · Lecture notes in computer science

PDF

An SMT-based approach for generating trace examples and counter-examples of parametric properties

2021 · German Vega, Yoann Blein, et al. · International Journal of Critical Computer-Based Systems

Works count: 28

Citation count: 114

H-index: 6

I10-index: 4