SIGNALER une erreur


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  Atteignabilité  Augmentation des ressources  Automate  Automate temporisé  Automates  Automates sur les mots infinis  Automates temporisés  Automaton  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  Control synthesis  DMA  Des circuits analogiques  Diagnostic  Differential equation  Equation différentielle  Expressions rationnelles  Fonctions Support  Formal verification  Graphes de jeux  Génie chimique  Heuristique  Hiérarchie  Hybrid system  Hybride  Informatique -- Procédures de secours  Informatique, automatique théorique, systèmes  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  Multiprocesseurs  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  Reachability  Recherche stochastique locale  Réduction SAT  Réduction de consommation  SAT  Satisfiabilité  Sciences et techniques  Simulation numerique  Simulation par ordinateur  Simulation stochastique  Solveurs  Solveurs SMT  Spécifications  Stabilisation  Surveillance  Synthèse  Synthèse commande  Synthèse de contrôleur  Systemes embarques  Systemes hybrides  Systemes multiprocesseurs sur puce  Systemes temps-réel  Systemes à base de composants  Système hybride  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éorie des jeux  Verification  Vérification  Vérification formelle  Équations différentielles linéaires  

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

Pattern Matching with Time : Theory and Applications

par Dogan Ulus sous la direction de Oded Maler - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique
Soutenue le 15-01-2018
Thèse soutenue

Accéder en ligne

Learning regular languages over large alphabets

par Irini-Eleftheria Mens sous la direction de Oded Maler - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique
Soutenue le 10-10-2017
Thèse soutenue

Accéder en ligne

Sur les aspects théoriques et pratiques des compromis dans les problèmes d'allocation des ressources

par Abhinav Srivastav sous la direction de Oded Maler et de Denis Trystram . - Université Grenoble Alpes (ComUE)

Informatique
Soutenue le 16-02-2017
Thèse soutenue

Accéder en ligne

Assertions and measurements for mixed-signal simulation

par Thomas Ferrere sous la direction de Oded Maler et de Ernst Christen . - Université Grenoble Alpes (ComUE)

Mathématiques et Informatique
Soutenue le 28-10-2016
Thèse soutenue

La réduction de consommation dans les circuits digitaux

par Jan Láník sous la direction de Oded Maler et de Fahim Rahim . - Université Grenoble Alpes (ComUE)

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

Accéder en ligne

Mapping and scheduling on multi-core processors using SMT solvers

par Pranav Tendulkar sous la direction de Oded Maler et de Petro Poplavko . - Grenoble

Informatique
Soutenue le 13-10-2014
Thèse soutenue

Accéder en ligne

Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires

par Romain Testylier sous la direction de Thao Dang et de Oded Maler . - Grenoble

Informatique
Soutenue le 07-12-2012
Thèse soutenue

Accéder en ligne

On computer-aided design-space exploration for multi-cores

par Jean-Francois Kempf sous la direction de Oded Maler et de Dorel Marius Bozga . - Grenoble

Informatique
Soutenue le 29-10-2012
Thèse soutenue

Accéder en ligne

Optimisation des transferts de données sur systèmes multiprocesseurs sur puce

par Selma Saidi sous la direction de Oded Maler et de Thao Dang . - Grenoble

Informatique
Soutenue le 24-10-2012
Thèse soutenue

Accéder en ligne

Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support

par Rajarshi Ray sous la direction de Oded Maler et de Goran Frehse . - Grenoble

Informatique
Soutenue le 29-05-2012
Thèse soutenue

Accéder en ligne

Optimisation multicritères et applications aux systèmes multi-processeurs embarqués

par Julien Legriel sous la direction de Oded Maler - Grenoble

Informatique
Soutenue le 04-10-2011
Thèse soutenue

Accéder en ligne

Sur quelques problèmes de la satisfiabilité

par Scott Cotton sous la direction de Oded Maler - Université Joseph Fourier (Grenoble ; 1971-2015)

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

Langages formels : quelques aspects quantitatifs

par Aldric Degorre sous la direction de Oded Maler - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique
Soutenue en 2009
Thèse soutenue

Accéder en ligne

Calcul d'atteignabilité des systèmes hybrides à partie continue linéaire

par Colas Le Guernic sous la direction de Oded Maler et de Antoine Girard . - Université Joseph Fourier (Grenoble ; 1971-2015)

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

Accéder en ligne

Vérification de propriétés temporisées : théorie et applications

par Dejan Nickovic sous la direction de Oded Maler - Université Joseph Fourier (Grenoble ; 1971-2015)

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

Accéder en ligne

Sur l'analyse temporisée de systèmes de grande taille

par Ramzi Ben Salah sous la direction de Oded Maler - Grenoble INPG

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

Trajectoires pour la vérification et la commande de systémes continus et hybrides

par Alexandre Donzé sous la direction de Thao Dang et de Oded Maler . - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique et mathématiques
Soutenue en 2007
Thèse soutenue

Accéder en ligne

Test des Systèmes hybrides

par Tarik Nahhal sous la direction de Oded Maler - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique
Soutenue en 2007
Thèse soutenue

Accéder en ligne

Stratégies d'ordonnancement conditionnelles utilisant des automates temporisés

par Abdelkarim Aziz Kerbaa sous la direction de Oded Maler et de Dorel Marius Bozga . - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique
Soutenue en 2006
Thèse soutenue

Accéder en ligne

Sur la vérification de la satisfaction pour la logique des différences

par Moez Mahfoudh sous la direction de Oded Maler - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique
Soutenue en 2003
Thèse soutenue

Modélisation et résolution de problèmes d'ordonnancement à l'aide d'automates temporisés

par Yasmina Abdeddaïm sous la direction de Oded Maler - Grenoble INPG

Automatique. Productique
Soutenue en 2002
Thèse soutenue

Théorie algébrique des langages formels temps réel

par Catalin Dima sous la direction de Eugène Asarin et de Oded Maler . - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique
Soutenue en 2001
Thèse soutenue

Accéder en ligne

Vérification et synthèse des systèmes hybrides

par Thi Xuan Thao Dang sous la direction de Oded Maler - Grenoble INPG

Automatique, Productique
Soutenue en 2000
Thèse soutenue

Accéder en ligne

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

Un cadre général de causalité basé sur les traces pour des systèmes à composants

par Yoann Geoffroy sous la direction de Gregor Gössler - Université Grenoble Alpes (ComUE)

Informatique
Soutenue le 07-12-2016
Thèse soutenue

Accéder en ligne

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

Algorithmes pour la synthèse et le model checking

par Janusz Malinowski sous la direction de Peter Niebert - Aix-Marseille

Informatique
Soutenue le 10-12-2012
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique