Concepedia

Lazhar Hamel

LH

3

Publications

44

Citations

3

H-Index

2013

Active since

Affiliations

University of Monastir(Current)

Département d'Informatique

Telecom SudParis

Centre National de la Recherche Scientifique

Institut Polytechnique de Paris

Lazhar Hamel is an author at University of Monastir specializing in engineering, formal verification, and verification.

ORCID

Top concepts

Publications per year

2013–2023

3

Publications

3

Formal verification for security and attacks in IoT physical layer

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman et al. · Journal of Reliable Intelligent Environments · 2023 · 17 citations

, , +11

A verification and deployment approach for elastic component-based applications

Mohamed Graïet, Lazhar Hamel, Amel Mammar et al. · Formal Aspects of Computing · 2017 · 15 citations

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior

Mohamed Graïet, Imed Abbassi, Lazhar Hamel et al. · 2013 · 12 citations

, , +19

Rows per page

1–3 of 3