Algorithme de planification  Analyse de performance  Analyse de traces  Applications temps réel  Approche par Composants  Approche à base de modèles  Architecture  Atomicité  Auto-Adaptatif  Auto-Configuration  Automate temporisé  Automates  Automates temporisés  Commande en temps réel  Communication  Compilation  Compilation  Composant  Composants électroniques  Compositionnel  Conception de systèmes  Concurrence  Conformité  Correct-by-construction  Correcte par construction  Couverture  Des circuits analogiques  Design  Distribué  Domotique  Dsl  Dynamique  Evaluation de Performance  Evaluation des performances  Expressions rationnelles  Flux d'information  Framework BIP  Génie logiciel  Génération d'invariants  Génération de code  Habitats intelligents  Identification  Inference Statistique  Ingénierie guidée par les modèles  Inspection  Invariant  L'auteur n'a pas fourni de mots-clés en français  Langage d'action  Langages de programmation -- Sémantique  Langages de programmation  Langages parallèles  Langages temporisés  Logiciel  Logiciels -- Vérification  Logiciels -- vérification  Logique informatique  Logique temporelle des actions  Manycore  Microprocesseurs multi-coeurs  Model  Model checking  Model checking statistique  Model-checking  Modeling  Modèle formel  Modèle haut niveau  Modèle à base de composants  Modélisation rigoureuse  Monitoring décentralisé  Motifs  Méthode de projection aléatoire  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Network  Non-Interference  Ordonnancement  Paradigme time-triggered  Programmes C  Programmes parallèles  Programming  Propriétés temporelles  Protection de l'information  Raffinement  Reconfiguration  Robotique  Réduction  Réseaux d'ordinateurs -- Mesures de sûreté  SDL  Scpm  Security  Spécifications décentralisées  Statecharts  Statistical model-checking  Surveillance  Synthèse quantitative  Système cyberphysiques médicaux  Système distribué  Systèmes Embarqués  Systèmes Stochastiques  Systèmes adaptatifs  Systèmes avec différents niveaux de criticités  Systèmes complexes  Systèmes distribués  Systèmes embaqués  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Évaluation  Systèmes informatiques  Systèmes mixtes materiel/logiciel  Systèmes ouverts  Systèmes stochastiques  Systèmes stochastiques et temps réel  Systèmes temps-réel  Sémantique formelle  Sûreté  Temps entre défaillances, Analyse des  Temps réel  Temps réel  Temps-Réel  Temps-réel  Test  Tests basés sur la simulation  Tests de correction  Transformations source-à-source  Ttg  Validation  Verification  Vulnerabilité  Vérification  Vérification de modèles  Vérification de modèles  Vérification de programmes  Vérification formelle  Vérification quantitative  Vérification à l’exécution  Études probabilistes de sûreté dynamiques  

Saddek Bensalem a rédigé la thèse suivante :

Informatique
Soutenue en 1985
Thèse soutenue

Saddek Bensalem dirige actuellement les 2 thèses suivantes :

Conception rigoureuse des systèmes socio-cyber-physiques

par Déborah Durok (Fontaine) sous la direction de Saddek Bensalem et de Tesnim Abdellatif . - Université Grenoble Alpes

Mathématiques et Informatique
En préparation depuis le 15-05-2018
Thèse en préparation

NETWORK MODELING DESIGN AND VERIFICATION

par Siham Khoussi sous la direction de Saddek Bensalem et de Abdella Battou . - Université Grenoble Alpes

Informatique
En préparation depuis le 01-03-2017
Thèse en préparation


Saddek Bensalem a dirigé les 17 thèses suivantes :

Informatique
Soutenue le 28-04-2014
Thèse soutenue


Saddek Bensalem a été président de jury des 2 thèses suivantes :


Saddek Bensalem a été rapporteur de la thèse suivante :


Saddek Bensalem a été membre de jury des 3 thèses suivantes :

Mathématiques et Informatique
Soutenue le 15-01-2018
Thèse soutenue
Robotique et Informatique
Soutenue le 29-04-2016
Thèse soutenue