Salim Chehida
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2016–2024
Best venue rank
National
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AINA | Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. | Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem |
| 2024 | QUATIC | A User-Centric Privacy Control Framework for Decentralized IoT Platforms. | Xu Tao, Rui Zhao, Salim Chehida, Davide Conzon, Enrico Ferrera, Saddek Bensalem |
| 2023 | Coordination | A Formal MDE Framework for Inter-DSL Collaboration. | Salim Chehida, Akram Idani, Mario Cortes Cornax, Germn Vega |
| 2023 | ETFA | Model-based Self-adaptive Management in a Smart Grid Substation. | Salim Chehida, Karim Fellah, ric Rutten, Guillaume Giraud, Stphane Mocanu |
| 2021 | MEDES | Analysis and Prediction of Viral Infections using Statistical Model Checking. | Salim Chehida, Jean-Claude Tshilenge Mfumu |
| 2020 | CRiSIS | Asset-Driven Approach for Security Risk Assessment in IoT Systems. | Salim Chehida, Abdelhakim Baouya, Diego Fernndez Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem |
| 2020 | QUATIC | Applied Statistical Model Checking for a Sensor Behavior Analysis. | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga |
| 2020 | SoMeT | Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. | Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga |
| 2018 | RV | An Environment for the ParTraP Trace Property Language (Tool Demonstration). | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germn Vega, Yves Ledru, Lydie du Bousquet |
| 2016 | RCIS | 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 |