Abdelhakim Baouya

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 16

Top Topics

Formal Specification

Safety Analysis

Embedded Systems

Top Venues

Expert Syst. Appl.

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)
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani
Toward a context-driven deployment optimization for embedded systems: a product line approach. J. Supercomput. 79 (2) (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)
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem
Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE (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)
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. 174 (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)
Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani
Safety analysis of train control system based on model-driven design methodology. Comput. Ind. 105 (2019)
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT (2015)
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl. 42 (21) (2015)