Mohamed Elkamel HAMDANE
Details
| 5 recent publications |
|---|
|
Karima Berramla; El Abbassia Deba; Mohamed Elkamel Hamdane; Abou El Hassen Benyamina
Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. 2nd Int. Conf. on Networking, Information Systems & Security (NISS'19): 1-7 (2019) |
|
|
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui; Abou El Hasan Benyamina
A Semantic Framework to Improve Model-to-Model Transformations. Int. Conf. Europe Middle East & North Africa Information Systems and Technologies to Support Learning (EMENA-ISTL'18): 290-300 (2018) |
|
|
Mohamed Elkamel Hamdane; Karima Berramla; Allaoua Chaoui
Using MDA With Model Checking to Ensure the Development of Consistent AADL Models. Int. Conf. on Embedded & Distributed Systems (EDiS’17) (2017) |
|
|
Mohamed Elkamel Hamdane; A. Chaoui; M. Strecker
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models. J. of Software Engineering and Applications 6(3): 147-155 (2013) |
|
|
Mohamed Elkamel Hamdane; Allaoui Chaoui; Martin Strecker
From AADL to timed automaton- A verification approach. Int. J. of Software Engineering and its Applications (IJSEIA) 7(4): 115-126 (2013) |
| PhD thesis |
|---|
|
Mohamed Elkamel Hamdane
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. Université Constantine 2, Algérie (2018) |
| Title | Speciality | Level |
|---|---|---|
|
Advanced Databases
AD |
Computer science | Master 1 |
|
Mathematics’ logic
ML |
Computer science | Master 1 |
|
Information systems
IS |
Computer science | Licence 3 |
|
Automata & Formal Language
AFL |
Computer science | Licence 3 |
|
Servers’ Administration
SA |
Computer science | Licence 3 |
|
ITC for Education
ICTE |
Professor of Arabic Language Teaching | Licence 3 |
|
Algorithms and problem solving
DAA |
Technology science | Licence 1 |
|
Microsoft Operating systems fundamentals
MOSF |
Technology science | Licence 1 |
No PhD student to display.
| Theme | Viva defense | |
|---|---|---|
| Integration of the anti-covid19 vaccination record in the biometric passport | 2021 | |
| Using the AADL language to model a group of drones | 2021 | |
| Applying the theory of composition in the development of AADL system | 2020 | |
| Development of ProConcours: a desktop application for recruitment competition | 2017 | |
| Development of a distributed database for the technical control of vehicles | 2017 | |
| SvScA: a simulator for checking an automotive air conditioning system | 2016 | |
| Formal verification of AADL models through UPPAAL model checker, case study: temperature controller of an aircraf engine | 2014 | |
| Verification of AADL descriptions by a transformation approach | 2012 | |
| Automatic generation of the PNML code from Petri Net formalism | 2012 | |
| Implementation of an information system using Oracle DBMS: an MDA approach | 2010 | |
| Maintenance of a distributed database inside Oracle-DBMS | 2010 | |
| Automated trainee registration at the INSFP -Khenchela- using a dynamic website. | 2009 |
No software to display.