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 d'horloge  Circuits intégrés numériques -- Conception et construction -- Informatique  Circuits intégrés numériques  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ème sur puce  Systèmes GALS  Systèmes critiques  Systèmes embarqués  Systèmes embarqués  Systèmes enfouis  Systèmes multi-Horloges  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  Validation functionnelle  Verification basée sur les modèles  Vérification de modèles  Vérification formelle  Électronique numérique  

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 4 thèses suivantes :

Nano electronique et nano technologies
Soutenue le 28-03-2018
Thèse soutenue

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