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  Component based modeling  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  Heterogeneous systems  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  Lithium  Model  Model checking statistique  Model-checking  Modelisation  Modélisation  Modélisation des systèmes  Modélisation à base de composants  Mpsoc  Méthodes Formelles  Non-Interference  Operational semantics  Optimisation  Ordonnancement  Ordonnancement avec incertitude conditionnelle  Plus court chemin  Priorités  Protection de l'information  Protocoles  Protocols  Prototypage virtuel  Real time  Reconfiguration  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de communication  Sciences et techniques  Sdl  Security  Simulation  Simulation par ordinateur  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 hétérogènes  Systèmes informatiques hétérogènes  Systèmes stochastiques  Systèmes stochastiques et temps réel  Systèmes sur puce  Systèmes synchrones  Systèmes, Conception de  Systémique  Sémantique opérationnelle  Temps réel  Temps réel  Traitement réparti  Validation  Verification  Voltamétrie non linéaire  Vérification  Vérification de modèles  Vérification formelle  

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


Marius Bozga dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 01-09-2021
Thèse en préparation


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

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

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