ABV  Accélérateur matériel  Algorithme  Algèbre processus  Analyse  Analyse de traces d'applications  Analyse mathématique  Annotation  Approche synchrone  Architecture  Architecture ordinateur  Architecture parallèle  Architectures de communication  Automatic control  Bus terrain  Cao  Circuit VLSI  Circuit analogique  Circuit intégré  Circuit numérique  Circuit électronique  Circuits asynchrones  Circuits d'horloge  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés numériques  Commande automatique  Compilation  Computer aided design  Computer architecture  Conception assistée  Conception assistée par ordinateur  Conception basée sur les assertions  Conception et validation formelle  Electronic circuit  Etude temps  Etude théorique  Exploration de l'espace de conception  FPGA  Field bus  Graphe de dépendance  Hardware  Hdl  Informatique -- Recherche  Informatique  Integrated circuit  Intel 80386  Langage de description de matériel  Langage de description du matériel  Langage de description matériel  Langage déclaratif  Langage simulation  Langages de description de matériel  Langages de programmation -- Sémantique  Logic simulation  Mathematical analysis  Matériel  Matériel  Microprocesseur  Microprocesseurs  Microprocesseurs multi-coeurs  Microprocessor  Microélectronique  Modeling  Module réactif  Modélisation  Modélisation de circuits  Multilevel system  Multiprocesseur  Méthodes formelles  Méthodes formelles  Nanoélectronique  NoC  PSL  Plateformes d'émulation  Process algebra  Protocole basé sur SNMP  Protocole transmission  RTL  Raffinement  Reconnaissance de l'activité humaine  Réseaux logiques programmables par l'utilisateur  Réseaux sur puce du futur  Résolution  Sciences appliquées  Simulateur  Simulation  Simulation de pannes  Simulation fonctionnelle  Simulation logique  Simulation mixte  Simulation multi-niveaux  Simulation par ordinateur  Simulator  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  Test fonctionnel  Test par identification d'automates  Theoretical study  Thèses et écrits académiques  Théorèmes -- Démonstration automatique  Time study  Transmission protocol  VLSI circuit  Validation functionnelle  Verification  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 :