Abstraction de modèles  Abstraction de systèmes  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  Constraint  Contrainte  Contrôle d'accès  Correction  Couplage  Coupling  Couverture structurelle  Design patterns  Diagnosys  Dmp  Dossier médical personnel  Dsl  Débogage  Débogueurs  Europe  Evolution  Exigences  FPGA  Formal methods  Formal specification  Gestion d'entreprise  Gestion de processus métier  Gestion électronique de documents  Génie Logiciel  Génération de tests  Génération de tests pertinents  Imagerie multispectrale  Imagerie spectrale  Information system  Information systems  Informatique dans les nuages  Informatique, automatique théorique, systèmes  Ingénierie des exigences  Ingénierie dirigée par les modèles  Intégration de méthodes  Langage modélisation unifié  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  Objet Z  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  Sciences et techniques  Scpm  Semi formal specification  Services noyau  Specification semi formelle  Spécification formelle  Synthd'architecturesèse  Systemes reactifs  Système cyberphysiques médicaux  Système information  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é  Sûreté de fonctionnement  Temps réel  Test basé sur le modèle  Test combinatoire  Test logiciel  Test àpartir de modèles  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  Unified modelling language  Validation  Validation formelle  Vérification  Vérification formelle  Z  Z object  

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 4 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