( en | de | ru )

 

Disambiguation of "Baouya, Abdelhakim"

Author of the publication

copydeleteadd this publication to your clipboard
Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems.

, , , , , , , , , and . SAM IoT, volume 2739 of CEUR Workshop Proceedings, page 80-90. CEUR-WS.org, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Abdelhakim Youcef

Abdelhakim Bekkali

Abdelhakim Dahany

Abdelhakim Azaouagh

Abdelhakim Laghmouchi

 

Other publications of authors with the same name

Component-Based Approach Combining UML and BIP for Rigorous System Design., , and . FACS, volume 13077 of Lecture Notes in Computer Science, page 27-43. Springer, (2021)Exploration of Impactful Countermeasures on IoT Attacks., , , and . MECO, page 1-4. IEEE, (2020)Risk Assessment in IoT Case Study: Collaborative Robots System., , , , and . SAM IoT, volume 2739 of CEUR Workshop Proceedings, page 3-10. CEUR-WS.org, (2020)Fog Computing and Blockchain for Massive IoT Deployment., , , and . MECO, page 1-4. IEEE, (2020)Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems., , , , , , , , , and . SAM IoT, volume 2739 of CEUR Workshop Proceedings, page 80-90. CEUR-WS.org, (2020)Formal Modeling and Simulation of Collaborative Intelligent Robots., , , , , and . ESOCC Workshops, volume 1360 of Communications in Computer and Information Science, page 41-52. Springer, (2020)Applied Statistical Model Checking for a Sensor Behavior Analysis., , , and . QUATIC, volume 1266 of Communications in Computer and Information Science, page 399-411. Springer, (2020)Asset-Driven Approach for Security Risk Assessment in IoT Systems., , , , , , and . CRiSIS, volume 12528 of Lecture Notes in Computer Science, page 149-163. Springer, (2020)Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games., , , and . Internet Things, (2024)Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems., , , and . SoMeT, volume 327 of Frontiers in Artificial Intelligence and Applications, page 330-342. IOS Press, (2020)