researcher / Guy Vidal-Naquet

Guy Vidal-Naquet

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques
Intégration de systèmes hétérogènes en termes de niveaux de sécurité
Etude de l'analyse automatique des règles de conception des systèmes multitâches temps réel
Etude, conception et mise en oeuvre d'un protocole de communication synchrone tolérant aux fautes et prédictible sur des composants réseaux standards
Etude des méthodes de conception de composants domaine-polymorphes
Modélisation hétérogène non-hiérarchique
Analyse comportementale de systemes complexes critiques par produit synchronise d'abstractions en reseaux de petri ordinaires d'agents temps-reel
Un MODELE DES SYSTEMES DE CONTROLE DE SECURITE CONTRIBUTION A UNE THEORIE DU CALCUL BRUITE
Semantique et validation des langages d'acteurs a l'aide des reseaux de petri colores
Integration de modules syndhrones dans la programmation par objets
Conception et realisation d'outils d'aide a la programmation sur reseaux de transputers
Modelisation et validation d'applications temps reel distribuees
Gestion dynamique des processus sur un reseau de processeurs
Utilisation du paradigme acteur pour le calcul parallele
Reseaux et logique
Introduction du parallélisme dans les langages à objets
Les protocoles de communication dans un système d'exploitation réparti
Algorithmique et complexité distribuées : applications à quelques problèmes fondamentaux de complexité, protocoles distribués à consensus, information globale, problèmes distribués d'élection et de routage
Le problème de l'accessibilité dans les réseaux de Pétri
Inde : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances
Structuration des systèmes de transitions-applications au contrôle du parallélisme par Files Fifo
Les ensembles partiellement ordonnés et la sémantique des systèmes parallèles
Contrôle de sérialisabilité dans des systèmes de transactions parallèles