Analyse des temps de réponse  Arbres  Architecture des ordinateurs  CCSL  CPS  Communication asynchrone  Communication synchrone  Composants distribués  Conception assistée par ordinateur -- Logiciels  Concurrence  Consommation de puissance  Consommation pharmaceutique  Contraintes de temps  Coordination  Cycles  DCOM  DSMLs  Design patterns  Diagramme de séquence UML  Evénement  Exploration de l’espace des architectures  Hopital  Horloge logique  Hétérogénéité  IDM  IEEE-42010  Iatrogene, pathologie  Ingénierie dirigée par les modèles  Langages de coordination  Langages de programmation -- Sémantique  Logiciels -- Vérification  MARTE  Maladies iatrogéniques  MoC  Modèles hétérogènes  Modélisation  Multi-vue  Médicaments -- Effets secondaires  Optimisation  Ordinateurs -- Conception et construction -- Informatique  Personnes âgées  Programmation linéaire en nombres entiers  Propriétés temporelles  Périodicité  Relations d'ALLEN  Simulation  Simulation par ordinateur -- Logiciels  Simulation par ordinateur  Statistique -- Méthodes graphiques  Surveillance  Synchronie  Synchronisation  SysM  SysML  Systèmes distribués  Systèmes embarqués  Systèmes embarqués distribués  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Systèmes temps réel critiques distribués  Systèmes échantillonnés  Systèmes électroniques  Sémantique  Temps  Temps réel  Test  Tests fonctionnels  Traitement réparti  Transformation de modèles  UML  UML  Vieillard  Vérification  Événements discrets  

Frédéric Mallet a rédigé les 2 thèses suivantes :


Frédéric Mallet a dirigé les 3 thèses suivantes :


Frédéric Mallet a été président de jury des 2 thèses suivantes :


Frédéric Mallet a été rapporteur des 4 thèses suivantes :


Frédéric Mallet a été membre de jury des 2 thèses suivantes :