AAA  Alimentation en énergie  Analyse de synchronisation  Applications  Approche synchrone  Architecture big.LITTLE  Architecture des réseaux d'ordinateurs  Backtrack  CPU  Calcul  Calcul symbolique  Certification  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés à faible consommation  Circuits numériques synchrones  Circuits électroniques -- Calcul  Compilation  Compilation  Complexité de calcul  Composants  Conception et vérification de faible consommation  Couverture de l’espace d’états  Criticalité  Domaines d’alimentation  Données -- Transmission  Esterel  FFT  Langages de programmation -- Sémantique  Microprocesseurs multi-coeurs  Modèles mathématiques  Ordonnancement  Parallélisme  Systèmes embarqués  Systèmes sur puce  Sémantique  Transmission synchrone  

Robert de Simone a dirigé les 10 thèses suivantes :

Adéquation algorithme architecture automatisée par solveur SMT

par Émilien Kofman sous la direction de Robert de Simone et de François Verdier . - Université Côte d'Azur (ComUE)

Informatique

Soutenue le 27-02-2017

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

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

par Mohamed Amine Bergach sous la direction de Robert de Simone - Nice

Informatique

Soutenue le 02-10-2015

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

par Anthony Coadou sous la direction de Robert de Simone - Nice

Informatique

Soutenue en 2010

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

par Jean-Vivien Millo sous la direction de Robert de Simone - Nice

Informatique

Soutenue en 2008

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

par Julien Boucaron sous la direction de Robert de Simone - Nice

Informatique

Soutenue en 2007

Distribution de programmes synchrones : le cas d'Esterel

par Fabrice Peix sous la direction de Robert de Simone - Nice

Informatique

Soutenue en 2004

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

par Eric Vecchié sous la direction de Robert de Simone - Nice

Informatique

Soutenue en 2004

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

par NICOLAS TURRO sous la direction de Robert de Simone - Nice

Sciences et techniques

Soutenue en 1999

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

par Michel Bourdellès sous la direction de Robert de Simone - ENSMP

Informatique

Soutenue en 1999

Robert de Simone a été président de jury des 5 thèses suivantes :

Analyse de synchronisation dans les objets actifs basée sur les types comportementaux

par Vicenzo Mastandrea sous la direction de Ludovic Henrio et de Cosimo Laneve . - Université Côte d'Azur (ComUE)

Informatique

Soutenue le 15-12-2017

Simulation fonctionnelle native pour des systèmes many-cœurs

par Guillaume Sarrazin sous la direction de Frédéric Pétrot et de Nicolas Fournel . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 23-05-2016

Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués

par Mariem Abdelmoula sous la direction de Michel Auguin et de Daniel Gaffé . - Nice

Informatique

Soutenue le 18-12-2014

Une approche de modélisation au niveau système pour la conception et la vérification de systèmes sur puce à faible consommation

par Ons Mbarek sous la direction de Michel Auguin - Nice

Informatique

Soutenue le 29-05-2013

Contributions to the Transaction-Level Modeling of Systems-on-a-Chip

par Giovanni Funchal sous la direction de Florence Maraninchi et de Matthieu Moy . - Grenoble

Informatique

Soutenue le 18-11-2011

Robert de Simone a été rapporteur des 4 thèses suivantes :

Génération de code pour un many-core avec des contraintes temps réel fortes

par Amaury Graillat sous la direction de Pascal Raymond et de Matthieu Moy . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 16-11-2018

Modèles partagés et infrastructures ouverte pour l'internet des objets de la ville Intelligente

par Laurent Lemke sous la direction de Didier Donsez - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 06-06-2017

A synchronous functional language with integer clocks

par Adrien Guatto sous la direction de Albert Henri Cohen et de Marc Pouzet . - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 07-01-2016

Compilation certifiée de SCADE/LUSTRE

par Cédric Auger sous la direction de Marc Pouzet - Paris 11

Informatique

Soutenue le 07-02-2013

Robert de Simone a été membre de jury de la thèse suivante :

Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines

par Ivan Llopard sous la direction de Albert Cohen et de Christian Fabre . - Paris 6

Informatique

Soutenue le 26-04-2016