Aadl  Adaptation  Arbre régulier  Arbres  Architecture -- Informatique  Architecture  Architecture des ordinateurs  Architecture des réseaux d'ordinateurs  Assistant de preuve  Automates d'interface  Automates mathématiques, Théorie des  Automates temporisés  B  BIP  Co-induction  Composants logiciels  Composition  Contraintes  DSL  Diagrammes de block  Décomposition formelle  Event-B  Exigences  Génie logicie  Génération de code  IDM  Ingénierie Dirigée par les Modéles IDM  Interopérabilité  Langage Fiacre  Langage de description d'architecture  Langages d'architecture  Langages de description d'architecture  Langages de programmation  Logiciels -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Logique déontique  Logique informatique  Logique temporelle  Logiques temporelles et temporisées  Model checking  Model-Checking  Model-checking  Méta-modélisation  Méthode B  Méthode des tableaux temporisés  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Ordonnancement  Ordonnancement  Pipeline  Politique de sécurité  Programmation par aspects  Promela/SPIN  Propriété de sûreté  Propriétés LTL  Protocoles comportementaux  Raffinement  Raffinement automatique  Réutilisabilité  STATE tool  Services Web  Simulation  Spécification  Spécification formelle  Spéciications SysML  Synthèse du contrôleur  SystemC  Systèmes autonomes distribués  Systèmes complexes  Systèmes distribués  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Évaluation  Systèmes informatiques  Systèmes temporisés  Sémantique  Sémentique  Temps d'exécution pire-cas  Temps réel  Temps réel  Temps-réel  Terme cyclique  Thèses et écrits académiques  Transducteur d'arbres  Transducteurs  Transformation de modèle  Uppaal  Vérification  Web Services  

Mamoun Filali a dirigé les 10 thèses suivantes :

Réseaux, télécoms, systèmes et architecture
Soutenue en 2014
Thèse soutenue
Systèmes informatiques et systèmes ambarqués
Soutenue en 2010
Thèse soutenue


Mamoun Filali a été membre de jury des 2 thèses suivantes :