Allocation  Alphabets de grandes tailles  Alphabets infinis  Analyse de performances  Appareils électroniques -- Alimentation en énergie  Application data parallèles  Apprentissage automatique  Approximation, Théorie de l'  Assertions  Atteignabilite  Augmentation des ressources  Automate  Automate temporisé  Automates  Automates sur les mots infinis  Automates temporisés  Calcul de l'ensemble d'états atteignables  Causalité  Circuits intégrés analogiques numériques  Circuits électroniques  Clock gating  Commande, Théorie de la  Commutation  Conception assistée par ordinateur  Conception de hardware  Conception electronique assistée par ordinateur  DMA  Des circuits analogiques  Diagnostic  Expressions rationnelles  Fonctions Support  Graphes de jeux  Heuristique  Hiérarchie  Hybride  Informatique -- Procédures de secours  Langages de spécification matériel  Langages formels  Langages rationnels  Langages reguliers  Langages temporisés  Linéarisation  Localisation de fautes  Logique temporelle  Microprocesseurs multi-coeurs  Motifs  Mpsoc  Multi-coeur processeurs  Méthodes formelles  Optimisation  Optimisation multi-Objectifs  Optimisation multi-critère  Ordonnancement  Ordonnancement avec incertitude conditionnelle  Ordres partiels  Plus court chemin  Polyhèdre  Programmation dynamique  RTL  Recherche stochastique locale  Réduction SAT  Réduction de consommation  SAT  Satisfiabilité  Simulation numerique  Simulation par ordinateur  Simulation stochastique  Solveurs  Solveurs SMT  Spécifications  Stabilisation  Surveillance  Synthèse  Synthèse de contrôleur  Systemes embarques  Systemes hybrides  Systemes multiprocesseurs sur puce  Systemes temps-réel  Systemes à base de composants  Systèmes EDO  Systèmes dynamiques continus  Systèmes dynamiques hybrides  Systèmes hybrides  Systèmes multi-processeur  Systèmes non linéaires  Systèmes non-linéaires  Systèmes sur puce  Systèmes échantillonnés  Sûreté de fonctionnement  Template  Test basé sur les modèles  Thèses et écrits académiques  Théorie des jeux  Verification  Vérification  Vérification formelle  Équations différentielles linéaires  

Oded Maler a dirigé les 23 thèses suivantes :

Mathématiques et Informatique
Soutenue le 15-01-2018
Thèse soutenue
Mathématiques et Informatique
Soutenue le 10-10-2017
Thèse soutenue
Mathématiques et Informatique
Soutenue le 28-10-2016
Thèse soutenue

Informatique
Soutenue le 16-06-2016
Thèse soutenue
Informatique
Soutenue en 2009
Thèse soutenue

Informatique et mathématiques appliquées
Soutenue en 2009
Thèse soutenue

Mathématiques. Informatique
Soutenue en 2008
Thèse soutenue

Micro et nano électronique
Soutenue en 2007
Thèse soutenue

Test des Systèmes hybrides

par Tarik Nahhal sous la direction de Oded Maler - Grenoble 1

Informatique
Soutenue en 2007
Thèse soutenue

Automatique, Productique
Soutenue en 2000
Thèse soutenue

Oded Maler a été président de jury de la thèse suivante :


Oded Maler a été rapporteur de la thèse suivante :