Salim Chehida

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