AADL  Algorithmes  Algorithmes et techniques de réduction de la consommation énergétique  Analyse en temps réel  Analyse probaliste  Analyse temporelle  Approche synchrone  Architectures matérielles  Arithmétique en virgule flottante  Automobiles -- Équipement multimédias  Autosar os  Avionique  Backtrack  Basse consommation  CAN  CAN  Certification  Circuits intégrés à faible consommation  Co-simulation  Composants logiciels  Conception système  Consommation d'énergie  Contraintes  Controller Area Network  Couverture de l’espace d’états  Criticité mixte  Cycle Accurate Simulation  Cycles thermiques  Délai de communication de bout en bout  Efficacité énergétique  Fiabilité  GAJE  Génie logiciel  Hyperviseur  Ingénierie dirigée par les modèles  Jeux de tests  Langage de description d'architecture matérielle  Langage de modélisation dédiée  Logiciels -- Vérification  Manipulation numérique des données  Maîtrise des surcoûts  Microcontrôleurs  Mils  Modèle de plate-forme  Modèle synchrone  Modélisation AADL  Modélisation thermique  Multiprocesseur  Multiprocesseurs  Mécanisme de protection temporelle  Mémoire transactionnelle  Métamodèle de plate-forme  Ordonnancement  Ordonnancement  Ordonnancement  Ordonnancement temps réel  Passerelles  Petri, Réseaux de  Plate-forme d'exécution  Processeur  Programmation par contraintes  Pré-conditions  Reconfiguration  Reconfiguration  Robustesse temporelle  Réseau AFDX  Réseaux de capteurs  Réseaux logiques programmables par l'utilisateur  Simulateur de jeu d'instructions  Simulateur précis au cycle près  Simulation  Simulation compilée  Simulation par ordinateur -- Logiciels  Sureté de fonctionnement  Système de communication temps réel  Système sur puce  Système à base de composants  Systèmes d'exploitation  Systèmes d'exploitation embarqués  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Mise en oeuvre  Systèmes sur puce  Systèmes temps réel embarqués  Systèmes virtuels  Systèmes à paramètres répartis  Systèmes à évènements discrets  Systèmes, Conception de  Sécurité  Sûreté de fonctionnement  Temps réel  Temps réel  Temps réel dur  Tests fonctionnels  Traitement réparti  Transformation de modèles  UML  Uml-marte  Validation temporelle  Virtualisation  Vérification des contraintes  Vérification en ligne formelle  Vétronique  Économies d'énergie  

Yvon Trinquet a dirigé les 12 thèses suivantes :

Informatique et applications
Soutenue en 2014
Thèse soutenue
Informatique, automatique et traitement du signal
Soutenue en 2013
Thèse soutenue

Automatique et informatique appliquée
Soutenue en 2004
Thèse soutenue

Automatique et informatique appliquée
Soutenue en 2004
Thèse soutenue


Yvon Trinquet a été président de jury des 3 thèses suivantes :


Yvon Trinquet a été rapporteur des 3 thèses suivantes :


Yvon Trinquet a été membre de jury des 2 thèses suivantes :