SIGNALER une erreur


Acquisition automatique des données  Acquisition des connaissances  Algorithmes  Analyse combinatoire  Appareillage electrique  Apprentissage automatique  Approche heuristique  Arbres  Automates cellulaires  Automates mathématiques, Théorie des  Automatismes séquentiels  Bases de données -- Conception  Bases de données -- Gestion  Calcul d'erreur  Calcul formel  Cartes à mémoire  Circuit breaker  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés numériques  Circuits intégrés à grande échelle  Circuits intégrés à très grande échelle  Circuits logiques  Combinatorial analysis  Commande, Théorie de la  Compilation  Complex system  Complexité de calcul  Computer aided design  Computer algebra  Conception assistee  Conception assistée par ordinateur  Conception orientée objets  Conception systeme  Connexionnisme  Contrainte electrique  Contrainte mecanique  Critere optimalite  Critere performance  Critere quadratique  Diagnostic de fautes  Disjoncteur  Données sensorielles  Electric device  Electric stress  Electrotechnique, electroenergetique  Ensemble flou  Ensembles flous  Essais  Expert system  Fastest  Formalisme  Frames  Fuzzy set  Generateur equation  Generateur programme  Graphes, Théorie des  Groupe machine convertisseur statique commande  Génie logiciel  Générateurs  Heuristic approach  Informatique -- Aspect cognitif  Intelligence artificielle  Interaction homme-ordinateur  Langages de programmation -- Sémantique  Logiciels -- Essais  Logiciels -- Vérification  Logique mathématique  Machines logiques  Machines séquentielles, Théorie des  Markov, Processus de  Mechanical stress  Methodologie  Methodology  Model-based testing  Modeling  Modelisation  Modèles mathématiques  Neurones  Numerical simulation  Optimality criterion  Optimisation mathématique  Parallélisme  Performance requirement  Petri, Réseaux de  Possibilités, Théorie des  Productique  Program generator  Programmation orientée objets  Programme simulation  Quadratic cost  Recherche sur Internet  Recuit simulé  Relations clients-fournisseurs  Réseaux de Petri  Réseaux de Petri synchronisés  Réseaux de petri étiquetés  Réseaux neuronaux  Sciences appliquees  Sciences du comportement  Simulation numerique  Simulation par ordinateur  Simulation program  Simulation, Méthodes de  Sonar  Structure logique  Structures de données  System design  Systeme complexe  Systeme expert  Systèmes auto-organisés  Systèmes d'aide à la décision  Systèmes dynamiques hybrides  Systèmes experts  Systèmes holonomes  Systèmes à paramètres répartis  Systèmes à événement discret  Systèmes échantillonnés  Technique de la production  Temps entre défaillances, Analyse des  Temps réel  Test  Test template framework  Théorie de la démonstration  Traitement réparti  VHDL  Vision par ordinateur  Vérification  Z  Z notation  Électronique numérique  

Norbert Giambiasi a dirigé les 35 thèses suivantes :

Test and diagnosis of discrete event systems using Petri nets

par Marco Pocci sous la direction de Isabel Demongodin , Alessandro Giua et de Norbert Giambiasi . - Aix-Marseille

Informatique
Soutenue le 23-09-2013
Thèse soutenue

Accéder en ligne

Modélisation et simulation d’opérateur humain dans une tâche de recherche d’information par navigation

par Ali Mroué sous la direction de Norbert Giambiasi et de Jean Caussanel . - Aix-Marseille 3

Modélisation et conception des processus assistés par ordinateur
Soutenue en 2009
Thèse soutenue

Modelisation des structures variables avec DEVS : application aux CGFs

par Lassaad Baati sous la direction de Claudia Frydman et de Norbert Giambiasi . - Aix-Marseille 3

Mathématiques et informatique. Modélisation et conception des processus assistés par ordinateur
Soutenue en 2008
Thèse soutenue

Pilotage holonique auto-organisé de réseaux logistiques : validation par modélisation et simulation distribuée

par Lynda Mekaouche sous la direction de Norbert Giambiasi et de Fouzia Ounnar . - Aix-Marseille 3

Modélisation et conception des processus assistés par ordinateur
Soutenue en 2007
Thèse soutenue

Méthode, formalisme et outil pour le recueil, la modélisation et la simulation de scénarios de comportement. Application au domaine des CGF

par Karine Andrien sous la direction de Norbert Giambiasi et de Jean Caussanel . - Aix-Marseille 3

Mathématique et informatique. Modélisation et conception des processus assistés par ordinateur
Soutenue en 2007
Thèse soutenue

Une approche stochastique de modélisation de séquences d'événements discrets pour le diagnostic des systèmes dynamiques

par Philippe Bouché sous la direction de Norbert Giambiasi et de Marc Le Goc . - Aix-Marseille 3

Génie informatique et automatique
Soutenue en 2005
Thèse soutenue

Modélisation et simulation à évenements discrets de systèmes hybrides

par Bruno Escude sous la direction de Norbert Giambiasi - Aix-Marseille 3

Productique et informatique
Soutenue en 2000
Thèse soutenue

Simulation à évènement discrets de modèles Bond Graph

par Armand Damiba sous la direction de Norbert Giambiasi et de Aziz Naamane . - Aix-Marseille 3

Productique et informatique
Soutenue en 2000
Thèse soutenue

Contribution à l'élaboration d'un langage de simulation à événements discrets pour modèles continus

par Aristide Boyarm sous la direction de Norbert Giambiasi - Aix-Marseille 3

Productique et informatique
Soutenue en 1999
Thèse soutenue

Contribution a la construction automatique des fonctions de renforcement

par JUAN MIGUEL SANTOS sous la direction de Norbert Giambiasi - Aix-Marseille 3

Productique et informatiqueProductique et informatique
Soutenue en 1999
Thèse soutenue

Modèles cellulaires à événements discrets avec retards explicites

par Gabriel A. Wainer sous la direction de Norbert Giambiasi et de Claudia Frydman . - Aix-Marseille 3

Productique et informatiqueProductique et informatique
Soutenue en 1998
Thèse soutenue

Contribution à la validation et à la vérification des modèles conceptuels d'expertise : application au projet SACHEM

par Laurent Santos sous la direction de Norbert Giambiasi - Aix-Marseille 3

Productique et informatique
Soutenue en 1998
Thèse soutenue

Reconfiguration de sonar passif comportant des hydrophones en panne : approche connexionniste

par Philippe Drouot sous la direction de Norbert Giambiasi - Aix-Marseille 3

Productique et informatique
Soutenue en 1997
Thèse soutenue

Contribution à l'étude et au développement de modèles connexionnistes à apprentissage par renforcement : application à l'acquisition de comportement adaptatifs

par Samira Sehad sous la direction de Norbert Giambiasi - Montpellier 2

Automatique, traitement du signal et génie informatique
Soutenue en 1996
Thèse soutenue

Un système pour la description et la gestion de méthodologies et de données en conception

par Gabriel Schmitt sous la direction de Norbert Giambiasi - Montpellier 2

Automatique, traitement du signal et génie informatique
Soutenue en 1996
Thèse soutenue

Une approche mixte réseaux de Pétri et modélisation orientée-objet : le formalisme OPenRT pour la modélisation de systèmes distribués temps réel

par Marcello Peixoto Bax sous la direction de Norbert Giambiasi - Montpellier 2

Automatique, traitement du signal et génie informatique
Soutenue en 1995
Thèse soutenue

Modélisation à retards flous de circuits logiques en vue de leur simulation

par Mohamed Smaili sous la direction de Norbert Giambiasi - Montpellier 2

Génie informatique, automatique et traitement de signal
Soutenue en 1994
Thèse soutenue

Contribution à l'étude et au développement de systèmes connexionnistes modulaires

par Olivier Sarzeaud sous la direction de Norbert Giambiasi - Montpellier 2

Automatique, traitement du signal et génie informatique
Soutenue en 1993
Thèse soutenue

Vérification temporelle de descriptions comportementales en VHDL

par Djamel Boussebha sous la direction de Norbert Giambiasi - Montpellier 2

Automatique, traitement du signal et génie informatique
Soutenue en 1993
Thèse soutenue

Principes généraux d'aide à la conception et au développement d'un système expert temps réel : application à la fusion multi-sensorielle

par Gang Wang sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1992
Thèse soutenue

Contribution à l'étude et au développement d'un générateur de séquences de test comportemental

par Anne-Lise Courbis sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1991
Thèse soutenue

DeBuMaII : un système "Centré moniteur/Base de données" pour la description, la construction et l'exécution d'applications en CAO [Conception Assistée par Ordinateur]

par Marta Fernandez Gatumel sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1991
Thèse soutenue

Contribution à l'étude et au développement de techniques d'analyse de testabilité de descriptions comportementales de circuits

par Marc Boumedine sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1991
Thèse soutenue

Modélisation en vue du test des flux de contrôle et des flux de données des descriptions comportementales de circuits digitaux

par Mustapha-Kamel Djafari sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1991
Thèse soutenue

Une méthode de résolution des conflits d'héritage multiple

par Lucile Torres sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1991
Thèse soutenue

DeBuMA : système pour la description : la construction et l'exécution d'applications en CAO

par Claudia Frydman sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1990
Thèse soutenue

Représentation symbolique et vérification formelle de machines séquentielles

par Janine Magnier sous la direction de Norbert Giambiasi - Montpellier 2

Sciences
Soutenue en 1990
Thèse soutenue

Contribution à l'étude et au développement de modèles connexionnistes séquentiels

par Claude Touzet sous la direction de Norbert Giambiasi - Montpellier 2

Composants, signaux et systèmes
Soutenue en 1990
Thèse soutenue

Accéder en ligne

Simulateur fondé sur la connaissance pour le pilotage de systèmes de production

par Eric Chappaz sous la direction de Norbert Giambiasi - Aix-Marseille 3

Automatique et informatique
Soutenue en 1989
Thèse soutenue

Contribution à l'élaboration de THESEE, un système à base de connaissance d'aide à la génération de séquences de test pour les cartes digitales

par Jean-François Santucci sous la direction de Norbert Giambiasi - Aix-Marseille 3

Automatique et informatique
Soutenue en 1989
Thèse soutenue

Contribution à l'élaboration d'une méthodologie de conception en intelligence artificielle

par Rémi Charroppin sous la direction de Norbert Giambiasi - Aix-Marseille 3

Automatique et informatique
Soutenue en 1989
Thèse soutenue

Modèles hierarchisés / multi-vues pour le support de raisonnement dans les domaines techniques

par Chabane Oussalah sous la direction de Norbert Giambiasi - Aix-Marseille 3

Automatique et informatique
Soutenue en 1988
Thèse soutenue

Etude et développement d'un simulateur symbolique comportemental de circuits digitaux

par Larbi Hassouni sous la direction de Norbert Giambiasi - Aix-Marseille 3

Automatique et informatique
Soutenue en 1987
Thèse soutenue

Contribution à l'élaboration de THESEE, un sytème expert d'aide à la génération de séquences de test de systèmes digitaux

par Rédouane Lbath sous la direction de Norbert Giambiasi - Aix-Marseille 3

Automatique et informatique
Soutenue en 1987
Thèse soutenue

Contribution à l'étude et au développement d'un logiciel de dessin de schémas de principe : prose

par Bertrand Combes sous la direction de Norbert Giambiasi - Université Paul Cézanne (Aix-Marseille). Faculté des sciences et techniques de Saint-Jérôme

Automatique
Soutenue en 1986
Thèse soutenue


Norbert Giambiasi a été président de jury de la thèse suivante :

Méthodologie et modélisation floues des connaissances dans l'activité de conception en électrotechnique : application à la réalisation d'un système expert d'aide à la conception de l'appareillage électrique

par Serge Brassard sous la direction de Jean-Claude Sabonnadière - Grenoble INPG

Génie électrique
Soutenue en 1989
Thèse soutenue


Norbert Giambiasi a été membre de jury des 2 thèses suivantes :

Fastest : improving and supporting the Test Template Framework

par Maximiliano Cristia sous la direction de Claudia Frydman - Aix-Marseille

Informatique
Soutenue le 13-04-2012
Thèse soutenue

Aide à la conception des ensembles machine-convertisseur-commande : apport d'une démarche système expert

par Laurent Gerbaud sous la direction de Gérard Champenois - Grenoble INPG

Génie électrique
Soutenue en 1993
Thèse soutenue

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