Knowledge Tree

researcher / Jean-Pierre Talpin

Jean-Pierre Talpin

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

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

Directed Thesis:

Parallelism and modular proof in differential dynamic logic

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

Real-time scheduling of dataflow graphs

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

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

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

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