Analyse des temps de réponse  Analyse temporelle pire cas  Approche synchrone  Arbres  Architecture des ordinateurs  Architecture pluri-œurs  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  Critères de couverture  Cycles  DCOM  DSMLs  Design patterns  Diagramme de séquence UML  Evénement  Exploration d'architectures  Exploration de l’espace des architectures  Génération de cas de test  Hopital  Horloge logique  Hétérogénéité  IDM  IEEE-42010  Iatrogene, pathologie  Industrie 4.0  Ingénierie dirigée par les modèles  Internet des objets  Langage de description d’activités  Langages de coordination  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logiciels  MARTE  Maladies iatrogéniques  Microprocesseurs multi-coeurs  MoC  Modèle d'activité  Modèles hétérogènes  Modélisation  Multi-vue  Médicaments -- Effets secondaires  Méthodes formelles  Optimisation  Ordinateurs -- Conception et construction -- Informatique  Personnes âgées  Programmation linéaire en nombres entiers  Propriétés temporelles  Protocole MPL  Périodicité  Reconnaissance de l'activité humaine  Reconnaissance d’activités  Relations d'ALLEN  Réseau sur puce  Réseaux d'ordinateurs  Résolution de problème -- Informatique  Simulation  Simulation par ordinateur  Statistique -- Méthodes graphiques  Surveillance  Synchronie  Synchronisation  Synchroniseur  SysM  SysML  Systèmes de Transition Symbolique Temporisé avec des Entrées et Sorties  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  Systèmes temps réel critiques distribués  Systèmes échantillonnés  Systèmes électroniques  Sémantique  Sémantiques  Temps  Temps réel  Test  Test à base de modèles  Tests fonctionnels  Traitement réparti  Transformation de modèles  UML  UML  Validation  Vieillard  Vérification  Vérification formelle  É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 3 thèses suivantes :


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


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