Abdelhakim Baouya

According to our database, Abdelhakim Baouya authored at least 19 papers between 2015 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

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games.

Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem

Internet Things, 2024

2023

Toward a context-driven deployment optimization for embedded systems: a product line approach.

Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani

J. Supercomput., 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

Formal Modelling and Security Analysis of Inter-Operable Systems.

Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022

2021

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking.

Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar

Expert Syst. Appl., 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

2019

Safety analysis of train control system based on model-driven design methodology.

Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani

Comput. Ind., 2019

2015

A quantitative verification framework of SysML activity diagrams under time constraints.

Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani

Expert Syst. Appl., 2015

On the Probabilistic Verification of Time Constrained SysML State Machines.

Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015