Accès -- Contrôle  Adl  Allocation de ressources  Allocation de ressources  Analyse de traces  Analyse formelle de concepts  Architecture logicielle  Attaques internes  Atteignabilité  Aviation civile  Aéronautique -- Mesures de sécurité  B  B  Bases de données -- Conception  Cloud computing  Composant  Composants logiciels  Contrôle d'accès  Correction  Design patterns  Diagnosys  Dmp  Dossier médical personnel  Dsl  Débogage  Débogueurs  Europe  Evolution  Exigences  FPGA  Formal methods  Gestion d'entreprise  Gestion de processus métier  Gestion électronique de documents  Génie Logiciel  Imagerie multispectrale  Imagerie spectrale  Information systems  Informatique dans les nuages  Ingénierie des exigences  Ingénierie dirigée par les modèles  Intégration de méthodes  Langages formels  Liens  Linux  Linux, Pilotes de périphérique pour  Logiciels -- Développement  MPSoC  Model management  Model-Checking  Modèle Or-BAC  Modèle RBAC  Modèle descriptif  Modèle formel B  Modélisation  Modélisation UML/B  Multi-cœur  Multiprocesseurs  Médical  Méta-modélisation  Métamodélisation  Méthode  Méthodes formelles  Méthodes formelles  Méthodologie  Niveau d'abstraction  Ontologies  Outils  Pilotes de périphériques  Preuve  Processus  Protection de l'information  Règles d'exploitation ferroviaires  Réduction de tests  Réglementation  Réseaux logiques programmables par l'utilisateur  Résolution de contraintes  Rétro-ingénierie  SDL  SMT  Scpm  Services noyau  Spécification formelle  Synthd'architecturesèse  Système cyberphysiques médicaux  Systèmes d'exploitation  Systèmes d'exploitation  Systèmes de détection d'intrusion  Systèmes embarqués  Systèmes embarqués  Sécurité ferroviaire  Sémantique comportementale  Sémantique structurelle et descriptive  Sûreté de fonctionnement  Temps réel  Test basé sur le modèle  Test combinatoire  Tests  Thèses et écrits académiques  Traitement du signal -- Techniques numériques -- Appareils et matériel  Traitement du signal  Transport -- Systèmes d'information  Transports ferroviaires  UML  UML  Validation  Validation formelle  Vérification  Vérification formelle  Z  

Yves Ledru a dirigé les 10 thèses suivantes :

Informatique
Soutenue le 04-10-2013
Thèse soutenue


Yves Ledru a été président de jury des 5 thèses suivantes :

Automatique, Génie informatique, Traitement du Signal et des Images
Soutenue le 19-02-2016
Thèse soutenue

Yves Ledru a été rapporteur des 3 thèses suivantes :


Yves Ledru a été membre de jury des 2 thèses suivantes :

Réseaux, télécom, système et architecture
Soutenue le 19-12-2017
Thèse soutenue