Get started
Author

Mohamed Elkamel Hamdane

Observed names: Hamdane Mohamed Elkamel, Hamdane, Mohamed Elkamel, Mohamed El-Kamel Hamdane
ORCID: 0000-0002-7502-6964
Observed ORCID: 0000-0002-7502-6964
OpenAlex ID: A5072024543
Improving consistency of AADL models: A composition approach
2023 · Mohamed Elkamel Hamdane, Saad Harous, et al. · Systems Engineering · 6
PDF
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
2013 · Mohamed El-Kamel Hamdane, Allaoui Chaoui, et al. · Journal of Software Engineering and Applications · 4
PDF
A Semantic Framework to Improve Model-to-Model Transformations
2018 · Mohamed Elkamel Hamdane, Karima Berramla, et al. · Smart innovation, systems and technologies · 2
Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking
2023 · Nabil Messaoudi, Haouassi Hicham, et al. · Ingénierie des systèmes d information · 1
PDF
Specification and verification of timed automaton using meta-modeling and graph grammars
2011 · Mohamed El-Kamel Hamdane, Allaoui Chaoui · International Conference on the Applications of Digital Information and Web Technologies (ICADIWT) · 1
BoostSecurityDB: a new vulnerability scanning tool for online SQL databases
2026 · Mohamed Elkamel Hamdane, Nabil Messaoudi, et al. · International Journal of Informatics and Applied Mathematics
PDF
Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata
2019 · Karima Berramla, El Abbassia Deba, et al. · International Conference on Networking, Information Systems & Security (NISS)
Une approche basée sur l’ingénierie dirigée par les modèles pour la vérification des descriptions AADL.
2018 · Hamdane, Mohamed Elkamel · HAL
Implementation of Multi-Agents System to Control Adaptability in Workflow Environment.
2009 · Mohamed Elkamel Hamdane, Fouzi Lezzar, et al.
Works count: 11
Citation count: 15
H-index: 2
I10-index:
Year
Topic
Type