Analyse de transformations de modèles  Approche par composants  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  Contrats  Correct par construction  Cyberstratégie  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  Interprétation abstraite  Java  Langages de programmation -- Sémantique  Logiciels -- Validation  Logiciels -- Vérification  Méthodes formelles  Méthodes formelles  Systèmes embarqués  

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

Aspects theoriques et pratiques de l'inference de type et d'effets

par Jean-Pierre Talpin sous la direction de Christian Queinnec - Paris 6

Sciences appliquées

Soutenue en 1993

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

Verified Programming at the Intersection of Dependent Types and Static Analysis

par Lucas Franceschino sous la direction de Jean-Pierre Talpin et de David Pichardie . - Rennes, École normale supérieure

Informatique

Soutenue le 10-12-2021

Parallelism and modular proof in differential dynamic logic

par Simon Lunel sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique

Soutenue le 28-01-2019

Formal verification of a synchronous data-flow compiler : from Signal to C

par Van Chan Ngô sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique

Soutenue le 01-07-2014

Real-time scheduling of dataflow graphs

par Adnan Bouakaz sous la direction de Jean-Pierre Talpin et de Jan Vitek . - Rennes 1

Informatique

Soutenue le 27-11-2013

Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of computation

par Yue Ma sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique

Soutenue en 2010

Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception de systèmes embarqués

par Yann Glouche sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique

Soutenue en 2009

Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS

par Julien Ouy sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique

Soutenue en 2008

Utilisation de méthodes formelles dans la conception conjointe de systèmes embarqués

par David Berner sous la direction de Jean-Pierre Talpin - Rennes 1

Informatique

Soutenue en 2006

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

Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof

par Guillaume Dupont sous la direction de Yamine Aït-Ameur et de Neeraj Kumar Singh . - Toulouse, INPT

Informatique et Télécommunication

Soutenue le 14-01-2021

Conclusive formal verification of clock domain crossing properties

par Guillaume Plassan sous la direction de Dominique Borrione et de Katell Morin-Allory . - Université Grenoble Alpes (ComUE)

Nano electronique et nano technologies

Soutenue le 28-03-2018

MuVArch : une approche de méta-modélisation pour la représentation multi-vues des architectures hétérogènes embarqués

par Amani Khecharem sous la direction de Robert de Simone - Nice

Informatique

Soutenue le 03-05-2016

Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles

par Elie Richa sous la direction de Laurent Pautet et de Etienne Borde . - Paris, ENST

Informatique et réseaux

Soutenue le 15-12-2015

Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,

par Christophe Junke sous la direction de Pascale Le Gall - Châtenay-Malabry, Ecole centrale de Paris

Informatique

Soutenue le 09-01-2012

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

Formal framework for modelling and verifying globally asynchronous locally synchronous systems

par Fatma Jebali sous la direction de Radu Mateescu et de Frédéric Lang . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 12-09-2016