Abdelhakim Baouya

23 papers B 1C 4Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games.
J. Syst. Softw.
Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025 J jnl
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations.
Ad Hoc Networks
Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025 J jnl
Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games.
Soft Comput.
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
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 B conf
Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games.
SEAA
Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2024 J jnl
Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games.
Internet Things
Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem
2023 J jnl
Toward a context-driven deployment optimization for embedded systems: a product line approach.
J. Supercomput.
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani
2022 C conf
Formal Modelling and Security Analysis of Inter-Operable Systems.
IEA/AIE
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem
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 — conf
Component-Based Approach Combining UML and BIP for Rigorous System Design.
FACS
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem
2021 J jnl
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking.
Expert Syst. Appl.
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar
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
2019 J jnl
Safety analysis of train control system based on model-driven design methodology.
Comput. Ind.
Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani
2015 J jnl
A quantitative verification framework of SysML activity diagrams under time constraints.
Expert Syst. Appl.
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
2015 C conf
On the Probabilistic Verification of Time Constrained SysML State Machines.
SoMeT
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani