Knowledge Tree

researcher / Paul Le Guernic

Paul Le Guernic

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Modélisation polychrone et évaluation de systèmes temps réel

Orientation objet d'un calcul de processus synchrones

Réactions synchrones : spécification et analyse

Simulation et synthèse de circuits s'appuyant sur le modèle synchrone

UML et technologie synchrone pour les systèmes réactifs distribués

Spécification et preuve de systèmes réactifs

Modélisation de STATECHARTS en SIGNAL pour la conception de systèmes critiques temps-réel

Transformations affines d'horloges : application au codesign de systemes temps-reel en utilisant les langages signal et alpha

Outils pour la validation temporelle et l'optimisation de programmes synchrones

Mises en oeuvre distribuees de programmes synchrones

Methodes de synthese d'automatismes decrits par des systemes a evenements discrets finis

Forme canonique arborescente des horloges de signal

Ordonnancement de graphes de flots synchrones : application a la mise en oeuvre de signal

Compilation de SIGNAL : horloges, dépendances, environnement

Specification et preuve de systemes dynamiques

Transformations syntaxiques de programmes signal

Environnement de programmation synchrone en reconnaissance de la parole

Inférence de contrôle hiérarchique : application au temps réel