Salim Chehida

According to our database, Salim Chehida authored at least 24 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., January, 2024

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

Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem

Proceedings of the Advanced Information Networking and Applications, 2024

2023

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

Salim Chehida, Karim Fellah, Éric Rutten, Guillaume Giraud, Stéphane Mocanu

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

A Formal MDE Framework for Inter-DSL Collaboration.

Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega

Proceedings of the Coordination Models and Languages, 2023

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

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

BRAIN-IoT Architecture and Platform for Building IoT Systems.

Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao

Proceedings of the 7th International Conference on Internet of Things, 2022

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

Analysis and Prediction of Viral Infections using Statistical Model Checking.

Salim Chehida, Jean-Claude Tshilenge Mfumu

Proceedings of the MEDES '21: Proceedings of the 13th International Conference on Management of Digital EcoSystems, Virtual Event, Tunisia, November 1, 2021

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

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2020

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems.

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga

Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 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

Proceedings of the 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things, Virtual Event, September 17th - to, 2020

Risk Assessment in IoT Case Study: Collaborative Robots System.

Salim Chehida, Abdelhakim Baouya, Miquel Cantero, Paul-Emmanuel Brun, Guillemette Massot

Proceedings of the 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things, Virtual Event, September 17th - to, 2020

Applied Statistical Model Checking for a Sensor Behavior Analysis.

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga

Proceedings of the Quality of Information and Communications Technology, 2020

Exploration of Impactful Countermeasures on IoT Attacks.

Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

Fog Computing and Blockchain for Massive IoT Deployment.

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

Formal Modeling and Simulation of Collaborative Intelligent Robots.

Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2020

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

Proceedings of the Risks and Security of Internet and Systems, 2020

2018

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

Proceedings of the Runtime Verification - 18th International Conference, 2018

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

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

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

2015

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

Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni

Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015

2012

Security Requirements Analysis of Web Applications Using UML.

Salim Chehida, Mustapha Kamel Rahmouni

Proceedings of the 4th International conference on Web and Information Technologies, 2012

2009

Proposition d'un Processus de Développement pour la Modélisation Sécurisée des Systèmes d'Information.

Salim Chehida, Mustapha Kamel Rahmouni

Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009