researcher / Claude Girault

Claude Girault

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Conception et mise en Œuvre d'un noyau transactionnel dans un environnement parallele

Directed Thesis:

La Vérification des Systèmes Concurrents : une Approche Fondée sur l'Exploitation des Symétries
Accélération de la génération des tests de protocoles par agrégation de méthodes hétérogènes
Un systeme cooperatif pour la localisation des miroirs sur le web
Objets distribues adaptables pour environnements mobiles
Observation et mise au point pour un calculateur distribue temps reel critique
Hobbes : un modele de liaison de references reparties
Modeles analytiques et reseaux de neurones pour l'evaluation des performances des systemes de bases de donnees
Gestion de ressources et repartition de charge dans les systemes heterogenes a grande echelle : application aux environnements mobiles et paralleles
Etude et prototypage en esterel de la gestion de processus d'un micro-noyau de systeme d'exploitation reparti avec garantie de service
Yooda : un système de gestion de base de données orienté objet adapté à la distribution
Placement statique de taches dans un calculateur temps reel tolerant les fautes
Generation automatique d'algorithmes de filtrage a partir de specifications declaratives : le systeme gap
Wea, un gerant d'objets persistants pour des environnements distribuees
Codage des ordres partiels : application aux executions reparties
Conception et mise en oeuvre d'une plate-forme logicielle de tolérance aux fautes pour le support d'applications reparties
Une methode a multi-formalismes pour la specification et la validation de systemes distribues
Masix : Un système d'exploitation multi-environnements utilisant le micro-noyau Mach : Conception et réalisation
Un évaluateur de coûts multi-environnement pour systèmes bases de données parallèles
Resolution parametree de systemes lineaires. Applications au calcul d'invariants dans les reseaux colores et a la generation de code parallele
Decomposition de reseaux de petri colores. Modelisation d'architectures paralleles. Application au prototypage sur des reseaux de transputers
Algorithmes paralleles de retropropagation des erreurs pour les reseaux de neurones
Methodes de specification et de verification des protocoles de communication
Méthodes et outils de partage de charge pour la conception et la mise en oeuvre d'applications parallèles
Specification d'un environnement et conception d'une architecture pour un systeme transactionnel multipoint et multinorme
Symetries dans les reseaux colores : definition, analyse et application a l'evaluation de performance
Methode et algorithme de tolerance aux pannes : application aux systemes en couches
Architecture d'une base de connaissances pour l'analyse des reseaux de petri
Conception et mise en oeuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques
Etude de la concordance de comportement de deux reseaux de petri : application a la validation des protocoles: detection automatique des erreurs de conception
Extension des methodes de calcul de flots pour les reseaux de petri de haut niveau. Application a la validation d'algorithmes distribues
Conception et mise en Œuvre d'un environnement systeme pour la modelisation, l'analyse et la realisation de systemes informatiques
Gestion d'objets et migration dans les systèmes répartis
Analyse des reseaux bipolaires pour la coherence et l'evaluation des systemes paralleles
Problemes d'optimisation de ressources dans les systemes de telecommunications par satellite utilisant l'amrt (acces multiple a repartition dans le temps)
Conception et specification de l'interface homme-machine d'un poste de travail de genie logiciel
Une categorie reguliere de reseau de petri de haut niveau : definition, proprietes et reductions, application a la validation de systemes distribues
Les reseaux de petri stochastiques colores : application a l'analyse des systemes repartis en temps reel
Definition de classes d'environnements reseaux pour la simulation d'algorithmes distribues
Etude et modélisation d'une architecture multi-processeur à hautes performances
Conception et spécification de systèmes d'information : analyse comparative de méthodes et utilisation du langage Ada