Salim Chehida

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 22

Top Topics

Temporal Properties

Comparative Study

Top Venues

J. Syst. Archit.

Publications

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera
Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. J. Supercomput. 80 (1) (2024)
Salim Chehida, Éric Rutten, Guillaume Giraud, Stéphane Mocanu
A model-based approach for self-adaptive security in CPS: Application to smart grids. J. Syst. Archit. 150 (2024)
Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem
Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. AINA (4) (2024)
Salim Chehida, Karim Fellah, Éric Rutten, Guillaume Giraud, Stéphane Mocanu
Model-based Self-adaptive Management in a Smart Grid Substation. ETFA (2023)
Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega
A Formal MDE Framework for Inter-DSL Collaboration. COORDINATION (2023)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. 30 (2) (2022)
Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao
BRAIN-IoT Architecture and Platform for Building IoT Systems. IoTBDS (2022)
Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52 (8) (2022)
Salim Chehida, Yves Ledru, Yoann Blein, Germán Vega
An SMT-based approach for generating trace examples and counter-examples of parametric properties. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Salim Chehida, Jean-Claude Tshilenge Mfumu
Analysis and Prediction of Viral Infections using Statistical Model Checking. MEDES (2021)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem
Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS (2021)
Salim Chehida, Abdelhakim Baouya, Miquel Cantero, Paul-Emmanuel Brun, Guillemette Massot
Risk Assessment in IoT Case Study: Collaborative Robots System. SAM IoT (2020)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC (2020)
Xu Tao, Davide Conzon, Enrico Ferrera, Shuai Li, Jürgen Götz, Laurent Maillet-Contoz, Emmanuel Michel, Mario Diaz-Nava, Abdelhakim Baouya, Salim Chehida
Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems. SAM IoT (2020)
Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
Exploration of Impactful Countermeasures on IoT Attacks. MECO (2020)
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
Fog Computing and Blockchain for Massive IoT Deployment. MECO (2020)
Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem
Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS (2020)
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT (2020)
Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga
Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops (2020)
Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet
An Environment for the ParTraP Trace Property Language (Tool Demonstration). RV (2018)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Combining UML and B for the specification and validation of RBAC policies in business process activities. RCIS (2016)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Extensions du diagramme d'activité pour la spécification de politiques RBAC. Ingénierie des Systèmes d Inf. 21 (2) (2016)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Extensions du diagramme d'activité pour contrôler l'accès au SI. INFORSID (2015)
Salim Chehida, Mustapha Kamel Rahmouni
Security Requirements Analysis of Web Applications Using UML. ICWIT (2012)
Salim Chehida, Mustapha Kamel Rahmouni
Proposition d'un Processus de Développement pour la Modélisation Sécurisée des Systèmes d'Information. CIIA (2009)