Bensalem, Saddek (19..-.... ; informaticien)

Bensalem, Saddek (19..-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 124445454

URI de l'entité : http://www.idref.fr/124445454/id

Notice de type Personne

Point d'accès autorisé

Bensalem, Saddek (19..-.... ; informaticien)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 19XX

Date de début d'activité : 1985

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse de 3e cycle- en informatique (Grenoble INPG, 1985). - Professeur en informatique à l'université Grenoble Alpes. - Directeur de thèse à l'Université Grenoble Alpes

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/306105071

Identifiant ORCID : 0000-0002-5753-2126

Identifiant SCOPUS : 13606975800

Identifiant HAL : saddek-bensalem

Identifiant ISNI : 0000000072007210

Source

Algèbre de programmes dans un univers type / Saddek Bensalem ; sous la direction de Didier Bert, 1985. - Thèse de 3e cycle- : Informatique : Grenoble INPG : 1985

Aspects bio-Mathemiques de la plasticité structurale des protéines / Mahieddine Dellabani ; sous la direction de Saddek Bensalem et co-encadrée par Jacques Combaz. These de doctorat : Informatique : Grenoble Alpes : 2018

Information trouvée : Professeur à l'Université Grenoble Alpes

Correct-by-Construction Design of Hybrid Systems Based on Refinementand Proof. Guillaume Dupont / Sous la direction de Yamine Aït-Ameur et Neeraj K. Singh. Thèse de doctorat en informatique : Toulouse INP : 2021.

Modeling Sel-configuration in Architecture-based Self-adaptative systems / Rim El Ballouli ; sous la direction de Saddek Bensalem. Thèse de doctorat : Informatique : Grenoble Alpes : 2019

Information trouvée : Directeur de la thèse

Test de systèmes temps-réel à base de modèle [Thèse 2007]/Moez Krichen

... Références liées : ...