AADL  Adaptabilité  Adaptation  Adaptation de contraintes temporelles  Agilité  Alf  Algorithmes  Analyse d'impact  Analyse de fiabilité  Analyse d’ordonnancement  Analyse temporelle  Application automobiles  Architecture système  Automates  Cadre architectural  Canevas  Certification  Cohérence  Cohérence  Cohérence temporelle  Communication  Composition  Conclusions à choix multiples  Construction d'automates  Contraintes de variabilité  Description d'architecture  Design patterns  Diagramme de structure composite d’UML  Développement dirigé par les modèles  Evaluation de la qualité  Exécution  Exécution multitâche  FUML  Fiabilité  Fonctionnement multitâche  Formalisation  Formalisation  Graphes de transitions symboliques avec affectations  Génie logiciel  HIS Automotive SPICE  ISO26262  ISO42010  Implementation  Informatique  Ingénierie Dirigée par les Modèles  Ingénierie des exigences  Ingénierie des processus  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,  Langage de modélisation  Langage spécialisé  Langages de modélisation  Linguistique mathématique  Logique trivalente  MARTE  Modèle de Plate-forme  Modèle d’exécution  Modèles de lignes de produits logiciels  Modélisation UML  Moteur d'interférence  Mémoire partagée répartie  Métamodélisation  Méthodes formelles  Ordonnancement  Outils d’analyse d’ordonnancement  PSCS  Points de vue  Processus d’analyse temporelle dirigé par les modèles  Profil UML pour TLM  Profiles UML  Profils UML  Reconfiguration  Simulation  Stga  Support à la certification  Système de diagnostic  Système sur puce  Systèmes adaptatifs  Systèmes automobiles  Systèmes embarqués  Systèmes sur puce  Systèmes temps réel  Systèmes temps-réel embarqué  Systèmes électroniques  Sécurité fonctionelle  Sémantique  Temps réel  Thèses et écrits académiques  Théorie des catégories,  Traducteur de règles  Traitement automatique du langage naturel  Transformation de modèle  Traçabilité  Trigger  UML  UML  Variabilité  

François Terrier a rédigé la thèse suivante :


François Terrier a dirigé les 21 thèses suivantes :