Knowledge Tree

researcher / Robert de Simone

Robert de Simone

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Adéquation algorithme architecture automatisée par solveur SMT

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

Adaptation du calcul de la Transformée de Fourier Rapide sur une architecture mixte CPU/GPU intégrée

Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués

Ordonnancements périodiques dans les réseaux de processus : application à la conception insensible aux latences

Modélisation formelle de systèmes insensibles à la latence et ordonnancement

Calcul des états atteignables de programmes ESTEREL partitionné selon la syntaxe

Analyse de systèmes réactifs synchrones à des fins de vérification : Application au langage ESTEREL

Maestro : une approche formelle pour la programmation d'applications robotiques