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  Composant  Composants électroniques  Compositionnel  Conception de systèmes  Concurrence  Conformité  Correct-by-construction  Correcte par construction  Correctness Testing  Couverture  Des circuits analogiques  Design  Distribué  Domotique  Dsl  Dynamique  Evaluation de Performance  Evaluation des performances  Expressions rationnelles  Fault Recovery  Flux d'information  Framework BIP  Génie logiciel  Génération d'invariants  Génération de code  Habitats intelligents  Identification  Inference Statistique  Inspection  Invariant  L'auteur n'a pas fourni de mots-clés en français  Langages de programmation  Langages temporisés  Logiciel  Logiciels -- Vérification  Logiciels  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  Multiple levels of criticality  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  Propriétés temporelles  Protection de l'information  Raffinement  Reconfiguration  Robotique  Réduction  Réseaux d'ordinateurs -- Mesures de sûreté  SDL  Scpm  Security  Simulation Based Testing  Spécifications décentralisées  Statistical model-checking  Surveillance  Synthèse quantitative  Systems Design  Système cyberphysiques médicaux  Système distribué  Systèmes Embarqués  Systèmes Stochastiques  Systèmes adaptatifs  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  Sûreté  Temps réel  Temps réel  Temps-Réel  Temps-réel  Test  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 3 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 . - 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 . - Grenoble Alpes

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

Informatique
Soutenue le 26-06-2019
Thèse en préparation


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

Informatique
Soutenue le 28-06-2018
Thèse soutenue
Informatique
Soutenue le 09-03-2016
Thèse soutenue
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é 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