Accès -- Contrôle  Actifs  Adaptation  Algorithmes  Algèbre de processus  Analyse de risques  Annotation  Anonymisation  Approche guidée par les modèles  Architecture orientée services  Astd  Automatisation  B  B  Bases de données -- Conception  Bases de données -- Interrogation  But non-fonctionnel  Certification  Certification de Preuve  Commande de processus  Composants  Confidentialité des données  Contexte  Contrôle d'accès  Contrôle d\'accès  Contrôle d’accès  Dmp  Domaines critiques  Dossier médical personnel  Déduction Automatique  Déduction Modulo Théorie  Eb3  Entreprises -- Systèmes d'information  Event-B  EventB  Exigences de sécurité  Filtres  Formel  Framework  Gestion électronique de documents  Guidage  Génie Logiciel  Génie logiciel  IDM  Informatique  Ingénierie de modèles  Ingénierie des exigences  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Interprétation de spécifications  Java Card  Java Card  Justification  Langages de programmation  Langages formels  Logiciels -- Développement  Logiciels  Mesures de sûreté  Model management  Model-Checking  Modèles mathématiques  Modélisation  Modélisation des données  Modélisation des exigences  Modélisation du domaine  Multi-cœur  Multivue  Mutation de spécification  Médical  Métamodélisation  Méthode  Méthode B  Méthode de spécification formelle  Méthode des Tableaux  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Normalisation  Ontologie  Ontologies  Ontologies  OpenAPI 3.0  Ordinateurs -- Accès -- Contrôle  Politiques de sécurité  ProB  Processus  Propriétés temporelle  Protection de l'information  Protection de la vie privée  Qualité -- Contrôle  RELAX  Raffinement  Reconfiguration  Reconfiguration dynamique  Règles de contrôle d'accès  Règles de correspondance  Rétro-ingénierie  Rétro-ingénierie  Réécriture de requêtes  SOA  Services Web  Spécification des exigences  Spécification formelle B et Event-B  Spécifications  SysML  SysML/KAOS  Système Ferroviaire  Système d'information  Systèmes adaptatifs  Systèmes auto-adaptatifs  Systèmes d'information  Systèmes de sécurité  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Sécurité  Sémantique comportementale  Sémantique structurelle et descriptive  Sûreté  Techniques d'Abstraction  Temps réel  Test d'intrusion  Test à base de modèle  Thèses et écrits académiques  Traces numériques  Traduction automatique  Transformation de modèles à modèles  Transformation de spécifications  Transports ferroviaires  UML  Vues d'autorisations  Vues matérialisées  Vérification  Vérification de code intermédiaire  Vérification de modèles  

Régine Laleau dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 01-11-2016
Thèse en préparation


Régine Laleau a dirigé les 7 thèses suivantes :


Régine Laleau a été président de jury des 4 thèses suivantes :


Régine Laleau a été rapporteur des 7 thèses suivantes :

Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-03-2018
Thèse soutenue


Régine Laleau a été membre de jury des 3 thèses suivantes :