Accès -- Contrôle  Allocation de ressources  Allocation de ressources  Analyse formelle de concepts  Attaques internes  Atteignabilité  Aviation civile  Aéronautique -- Mesures de sécurité  B  B  Bases de données -- Conception  Cloud computing  Contrôle d'accès  Correction  Diagnosys  Dmp  Dossier médical personnel  Débogage  Débogueurs  Europe  FPGA  Formal methods  Gestion d'entreprise  Gestion de processus métier  Gestion électronique de documents  Génie Logiciel  Imagerie spectrale  Information systems  Informatique dans les nuages  Ingénierie dirigée par les modèles  Intégration de méthodes  Linux  Linux, Pilotes de périphérique pour  MPSoC  Model management  Model-Checking  Modèle Or-BAC  Modèle RBAC  Modèle descriptif  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  Ontologies  Photographie multibande  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  Services noyau  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  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 formelle  Vérification  Vérification formelle  Z  

Yves Ledru a dirigé les 9 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 2 thèses suivantes :