Walid Miloud Dahmane

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Formal Verification

Top Venues

Comput. Commun.

J. Ambient Intell. Humaniz. Comput.

Publications

Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Guaranteeing information integrity and access control in smart cities through blockchain. J. Ambient Intell. Humaniz. Comput. 14 (9) (2023)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Guaranteeing Information Integrity Through Blockchains for Smart Cities. MEDI (2021)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Towards a reliable smart city through formal verification and network analysis. Comput. Commun. 180 (2021)
Walid Miloud Dahmane, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani
A BIM-based framework for an Optimal WSN Deployment in Smart Building. NOF (2020)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Security Implementation and Verification in Smart Buildings. CITSC (2019)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
A Smart Living Framework: Towards Analyzing Security in Smart Rooms. MEDI (2019)