Nom prénom : BAOUYA Abdelhakim

Dernier  Diplôme : Doctorat

Spécialité : Informatique

Email : baouya.abdelhakim@gmail.com

 

1- Activités Scientifiques

 

Production Scientifique

Publications internationales

Titre de l’article

Position de l’auteur

Titre de la revue ou nom du journal

Année

Adresse URL

A quantitative verification framework of SysML Activity diagrams under time constraints

01 

Journal of Expert systems with Applications,

 2015

https://doi.org/10.

1016/j.eswa.2015.

05.049

Publications nationale avec acte

Titre de l’article

Position de l’autre

Titre de la revue ou nom du journal

Année

Adresse URL

Communication internationale avec acte

Titre de la communication

Position de l’auteur

Intitulé de la manifestation et lieu

Année

Adresse URL

On the Probabilistic verification oftime constrained SysMl State Machines 1 SoMet 2015. Italy 2015

Communication nationale avec acte

Titre de la communication

Position de l’auteur

Intitulé de la manifestation et lieu

Année

Adresse URL

 A Formal approach for maintainability and availability assessment using probabilistic model checking

 1

 MISC, Constantine

 2016

A probabilistic and timed verification approach of sysML state machine diagram 1 ISPS, Alger 2015  
         

 

2- Autres activités :

Responsable ou membre d’un projet de la recherche

Type de projet

(CNEPRU, PNR,…)

(Qualité responsable ou membre)

Titre  du projet

Année

 CNEPRU

 Membre  Towards a software product lines for cyber-physical and E Government systems

 2015-2017

Animation Scientifique

Colloque, séminaire, journée d’étude,

Lieu et date

Qualité (membre du comité d’organisation comité scientifique président autre)

 Année

 Trainer in E-learning spring school

 Blida, 2013  Trainer  2013

Expertise, membre de comité de lecture

Décrire le contexte de l’expertise

Structure ou organisme demandeur

Année

 Evalution des candidats pour                      CFPA-Sidi ghiles-Tipaza                                                    2017

recrutement en tant qu'enseignant

au CFPA

 

Encadrement :

Mémoires de Magistère

Nom et prénom du candidat

Titre du mémoire

Date de soutenance

 

 

 

Mémoires de Master

Nom et Prénom du candidat

Titre du mémoire

Date de soutenance

 

 

 

 

 

 

 

 

 

Thèses de Doctorat

Nom et prénom du candidat

Titre de la thèse

Date de soutenance