Analyse de transformations de modèles  Architecture big.LITTLE  Architecture des réseaux d'ordinateurs  Automates de modes  Automates programmables  Avionique  CFAO, Systèmes de  Circuits intégrés numériques -- Conception et construction -- Informatique  Code source  Compilateur validé  Compilateurs  Compilation  Compilation  Concurrence  Détection des blocages  Graphes de fluence  Graphes imbriqués  Graphique réécriture.  Graphiques de dépendance  Génération automatique de code  IDM  Ingénierie dirigée par les modèles  Java  Langage ATL  Langages de description de matériel informatique  Langages de programmation -- Sémantique  Langages de programmation  Logiciels -- Validation  Logiciels -- Vérification  Modèles mathématiques  Modèles polychrones  Modélisation multi-vues  Méta-modélisation  Méthodes formelles  Méthodes formelles  OCL  Oracles de tests model-to-text  Ordonnancement  Plus faible précondition  Polychrony  Programmation en temps réel  Programmation extrême  Programmation linéaire  Programmation logique  Programmation logique contrainte  Programmes synchrones  SMT solving  Simulation par ordinateur  Systèmes GALS  Systèmes critiques  Systèmes embarqués  Systèmes embarqués  Systèmes enfouis  Systèmes réactifs sychrones  Sémantique opérationnelle  Techniques de descriptions formelles  Temps réel  Test  Transformation algébrique de graphe  Valeur-graphiques  Validation de la traduction  Verification basée sur les modèles  Vérification formelle  

Jean-Pierre Talpin a rédigé la thèse suivante :


Jean-Pierre Talpin a dirigé les 6 thèses suivantes :

Informatique
Soutenue le 27-11-2013
Thèse soutenue


Jean-Pierre Talpin a été rapporteur des 3 thèses suivantes :


Jean-Pierre Talpin a été membre de jury de la thèse suivante :