Abstraction  Algorithmes  Analyse d'atteignabilité  Analyse de performances  Applications temps réel  Approche à base de modèles  Automate temporisé  Automates  Automates mathématiques, Théorie des  Automates programmables  Automates temporisés  Automates temporisés paramétrés  Automates temporisés probabilistes  Code temporisé  Commande robuste  Commutation, Théorie de la  Complexité de Kolmogorov  Complexité de calcul  Conception de systèmes  Controllabilité  Correcte par construction  Determinisation  Diagnostic  Distribué  Données massives  Dynamique holomorphe  Dynamique symbolique  Décidabilité  Ensembles invariants  Entropie  Entropie volumétrique  Evaluation des performances  Foncteur  Fonction génératrice  Framework BIP  Fraude Bancaire  Fraude bancaire  Hiérarchie  Inclusions différentielles  Information, Théorie de l'  Ingénierie des Connaissances  Jeux de parité  Jeux de priorité  Kolmogorov, Équation de  Logiciels -- Vérification  Machines séquentielles, Théorie des  Maintenance automatisée  Markov, Processus de  Model checking statistique  Modèle haut niveau  Modèle à base de composants  Modélisation des données  Morphisme  Mpsoc  Optimisation  Ordonnancement  Ordres partiels  Paradigme time-triggered  Partage de Secret  Portrait de phase  Processus Dynamiques  Processus stochastique  Propriété de Wazewski  Protection de l'information  Protocoles de c ommunication  Robustesse  Réduction SAT  Réification  Réseaux d'ordinateurs -- Mesures de sûreté  Simulation stochastique  Spdi  Stabilisation  Synthèse de contrôleur  Synthèse de paramètres  Systèmes EDO  Systèmes complexes  Systèmes continus  Systèmes dynamiques  Systèmes embaqués  Systèmes embarqués  Systèmes hybrides  Systèmes non linéaires  Systèmes stochastiques  Systèmes stochastiques et temps réel  Systèmes sur puce  Systèmes temps-réel  Systèmes à commutations  Systèmes échantillonnés  Sécurité informatique  Temps réel  Temps-Réel  Théorie de l'Information  Théorie de l'indice de Conley  Théorie des Catégories  Théorie des jeux  Transformations source-à-source  Verification  Viabilité  Vérification  Vérification de circuits  Vérification de modèles  

Eugène Asarin a dirigé les 4 thèses suivantes :


Eugène Asarin a été président de jury des 3 thèses suivantes :


Eugène Asarin a été rapporteur des 4 thèses suivantes :


Eugène Asarin a été membre de jury des 6 thèses suivantes :

Informatique
Soutenue le 05-12-2013
Thèse soutenue