Knowledge Tree

researcher / Frédéric Peschanski

Frédéric Peschanski

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Composition et adaptation dynamiques de systèmes distribués : une approche à base de composants asynchrones typés

Directed Thesis:

Programmation impérative par raffinements avec l'assistant de preuve Coq

Processus concurrents et combinatoire des structures croissantes : analyse quantitative et algorithmes de génération aléatoire

Analyse de ressources pour les systèmes concurrents dynamiques

Modelling and analysing open reconfigurable systems