Analyse  Analyse de performances  Analyse statique  Approche par Composants  Approche à base de modèles  Architecture  Asynchronous systems  Auto-Adaptatif  Auto-Configuration  Automates  Automates temporisés  BIP  Batteries  Chargement rapide  Composant  Composants  Compositionnel  Conception de systèmes  Correct-par-construction  Dynamique  Evaluation de Performance  Evaluation de la performance  Evaluation des performances  Flux d'information  Framework BIP  Graphes de jeux  Génie logiciel  Heuristique  Inference Statistique  Informatique, automatique théorique, systèmes  Ingénierie des exigences  Ingénierie des systèmes  Ingénierie système à base de modèles  Intégration  Invariant  Model  Model checking statistique  Model-checking  Modelisation  Modélisation  Modélisation des systèmes  Mpsoc  Méthodes Formelles  Non-Interference  Optimisation  Ordonnancement  Ordonnancement avec incertitude conditionnelle  Plus court chemin  Priorités  Protection de l'information  Protocoles  Protocols  Prototypage virtuel  Reconfiguration  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de communication  Sciences et techniques  Sdl  Security  Simulation  Simulation stochastique  Static analysis  Système de logiciel  Système distribué  Systèmes Embarqués  Systèmes Stochastiques  Systèmes asynchrones  Systèmes complexes  Systèmes distribués  Systèmes embarqués  Systèmes embarqués  Systèmes stochastiques  Systèmes stochastiques et temps réel  Systèmes sur puce  Systèmes synchrones  Systèmes, Conception de  Systémique  Temps réel  Temps réel  Traitement réparti  Validation  Verification  Voltamétrie non linéaire  Vérification  Vérification de modèles  

Dorel Marius Bozga a rédigé la thèse suivante :


Dorel Marius Bozga a dirigé les 10 thèses suivantes :

Informatique
Soutenue le 21-06-2011
Thèse soutenue


Dorel Marius Bozga a été membre de jury des 3 thèses suivantes :