SIGNALER une erreur


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  Fourier, Transformations de  Fpu  GAJE  GPGPU  Graphes, Théorie des  IDM  Informatique  Ingénierie dirigée par les modèles  Intelligence artificielle  Internet des objets  Jeux de tests  LUSTRE  Langage flots de données  Langage impératif  Langage synchrone  Langages de programmation -- Sémantique  Langages de programmation fonctionnelle  Langages de programmation fonctionnels  Langages de programmation synchrones  Langages formels  Logiciels -- Vérification  Manipulation numérique des données  Many-Cœur  Microprocesseurs multi-coeurs  Modèle synchrone  Modèles d'entité  Modèles mathématiques  Modèles transactionnels  Modélisation multi-vues  Méta-modélisation  Niveau transactionnel  Niveaux d'abstraction  Non fourni  Normes  Normes de conception basse consommation  Objets actifs  Objets concurrents  OpenCL  Ordonnancement  Parallélisme  Preuve de programmes  Programmation en temps réel  Programmation heuristique  Programmation logique  Pré-conditions  SIMD  SIMT  Simulation compilé  Simulation native  Simulation par ordinateur  Soa  Solution de gestion d’énergie éfficace en énergie  Solveurs  Synchrone  Synchronisation  SystemC  Système binaire  Systèmes de types  Systèmes embarqués  Systèmes sur puce  Systèmes sur puce  Systèmes, Conception de  Systèmes-sur-puce  Sémantique  TLM  Temps réel  Temps réel  Tests fonctionnels  Traduction par validation  Transmission synchrone  Types comportementaux  Villes intelligentes  Web sémantique  

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 . - Côte d'Azur

Informatique
Soutenue le 27-02-2017
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

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
Thèse soutenue

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
Thèse soutenue

Distribution de programmes synchrones : le cas d'Esterel

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

Informatique
Soutenue en 2004
Thèse soutenue

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
Thèse soutenue

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
Thèse soutenue

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
Thèse soutenue


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 . - Côte d'Azur

Informatique
Soutenue le 15-12-2017
Thèse soutenue

Accéder en ligne

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 . - Grenoble Alpes

Informatique
Soutenue le 23-05-2016
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

Accéder en ligne

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
Thèse soutenue

Accéder en ligne

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
Thèse soutenue


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 . - Grenoble Alpes

Informatique
Soutenue le 16-11-2018
Thèse soutenue

Accéder en ligne

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 - Grenoble Alpes

Informatique
Soutenue le 06-06-2017
Thèse soutenue

Accéder en ligne

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

Informatique
Soutenue le 07-01-2016
Thèse soutenue

Accéder en ligne

Compilation certifiée de SCADE/LUSTRE

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

Informatique
Soutenue le 07-02-2013
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales