ABV  Accélérateur matériel  Algorithme  Algèbre processus  Allocation ressource  Analyse  Analyse de traces d'applications  Analyse mathématique  Annotation  Approche synchrone  Architecture  Architecture ordinateur  Architecture parallèle  Architectures de communication  Automatic control  Automatic test  Bus terrain  Calcul symbolique  Cao  Circuit VLSI  Circuit analogique  Circuit combinatoire  Circuit integre  Circuit intégré  Circuit logique  Circuit numerique  Circuit numérique  Circuit sequentiel  Circuit électronique  Circuits asynchrones  Circuits d'horloge  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés numériques  Combinatorial method  Combinatory circuit  Commande automatique  Compilation  Computer aided design  Computer architecture  Conception assistee  Conception assistée  Conception assistée par ordinateur  Conception basée sur les assertions  Conception et validation formelle  Correction erreur  Detection erreur  Diagnostic erreur  Digital circuit  Electronic circuit  Electronique  Erreurs de conception  Error correction  Error detection  Error diagnostic  Essai automatique  Etude temps  Etude theorique  Etude théorique  Exploration de l'espace de conception  FPGA  Field bus  Finite state machine  Generation vecteur test  Graphe de dépendance  Hardware  Hdl  Informatique -- Recherche  Informatique  Informatique. Automatique theorique. Systemes  Integrated circuit  Intel 80386  Langage de description de matériel  Langage de description du matériel  Langage de description matériel  Langage description  Langage déclaratif  Langage evolue  Langage simulation  Langages de description de matériel  Langages de programmation -- Sémantique  Logic circuit  Logic simulation  Logique temporelle  Machine abstraite  Machine etat fini  Mathematical analysis  Matériel  Matériel  Methode combinatoire  Methode formelle  Methode sequentielle  Microprocesseur  Microprocesseurs  Microprocesseurs multi-coeurs  Microprocessor  Microélectronique  Modele  Modeling  Models  Module réactif  Modélisation  Modélisation de circuits  Multilevel system  Multiprocesseur  Méthodes formelles  Méthodes formelles  Nanoélectronique  Niveau transfert registre  NoC  Ordonnancement  Outil logiciel  PSL  Plateformes d'émulation  Porte logique  Process algebra  Processeur  Processor  Protocole basé sur SNMP  Protocole transmission  RTL  Raffinement  Reconnaissance de l'activité humaine  Relation equivalence  Réseaux logiques programmables par l'utilisateur  Réseaux sur puce du futur  Résolution  Sciences appliquees  Sciences appliquées  Sciences et techniques  Sequential circuit  Sequential method  Simulateur  Simulation  Simulation de pannes  Simulation fonctionnelle  Simulation logique  Simulation mixte  Simulation multi-niveaux  Simulation par ordinateur  Simulator  Software tool  Solveur  Synthèse automatique  Synthèse de contrôleurs discrets  SystemC  Système n niveaux  Système sur puce  Systèmes embarqués  Systèmes multi-Horloges  Systèmes sur Puce Multiprocesseurs Adaptatifs  Sémantique dénotationnelle  Sémantique synchrone  TLM  Temporal logic  Test fonctionnel  Test par identification d'automates  Test pattern generation  Test sequentiel  Theoretical study  Théorèmes -- Démonstration automatique  Time study  Transmission protocol  VLSI circuit  Validation functionnelle  Verification  Verification formelle  Verification materiel  Vhdl  Vidéo  Vision par ordinateur  Vlsi  Vovhdl  Vérification  Vérification de modèles  Vérification formelle  Vérification formelle de circuits digitaux  Vérification temporelle  Électronique numérique  Émulation  Évaluation de NoC  étude théorique  

Dominique Borrione a dirigé les 21 thèses suivantes :

Nano electronique et nano technologies
Soutenue le 28-03-2018
Thèse soutenue

Micro et nano-électronique
Soutenue en 2006
Thèse soutenue

Informatique
Soutenue en 1997
Thèse soutenue

Electronique
Soutenue en 1992
Thèse soutenue

Mathématiques appliquées. Informatique
Soutenue en 1990
Thèse soutenue


Dominique Borrione a été président de jury des 3 thèses suivantes :


Dominique Borrione a été membre de jury des 2 thèses suivantes :