Accès -- Contrôle  Actifs  Adaptation  Algorithmes  Algèbre de processus  Analyse de risques  Analyse dysfonctionnelle  Analyse fonctionnelle  Annotation  Anonymisation  Approche guidée par les modèles  Architecture  Architecture des ordinateurs  Architecture orientée services  Assistance  Assistance à la sécurité  Astd  Automates hybrides  Automatisation  B  B  B System  Bases de données -- Conception  Bases de données -- Interrogation  But non-fonctionnel  Certification  Certification de Preuve  Commande de processus  Comparaison  Composants  Confidentialité des données  Contexte  Contrôle d'accès  Contrôle d\'accès  Contrôle d’accès  Coévolution  Dmp  Domaines critiques  Données  Dossier médical personnel  Déduction Automatique  Déduction Modulo Théorie  Eb3  Electrum  Entreprises -- Systèmes d'information  Event-B  EventB  Exigences de sécurité  Filtres  Formalismes logiques  Formel  Framework  Gestion électronique de documents  Guidage  Génie Logiciel  Génie logiciel  IDM  Identification des biens  Idm  Informatique  Ingénierie d'exigences  Ingénierie de modèles  Ingénierie des exigences  Ingénierie des exigences dirigée par les buts  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  Logique du premier ordre  Logique du premier ordre  Logique temporelle lineaire  Mesures de sécurité  Mesures de sûreté  Model management  Model-Checking  Modèle Or-BAC  Modèles de données  Modèles mathématiques  Modélisation  Modélisation conceptuelle  Modélisation des données  Modélisation des menaces  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éthode des tableaux  Méthode formelle  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Normes  OWL  Ontologie  Ontologies  Ontologies  OpenAPI 3.0  Ordinateurs -- Accès -- Contrôle  Ordinateurs -- Conception et construction  Patrons d’attaques  Politiques de sécurité  Preuve  Preuve formelle  ProB  Processus  Programmation par contraintes  Propriétés temporelle  Protection de l'information  Protection de la vie privée  Protocole de recherche distribuée Chord  Qualité -- Contrôle  RELAX  Raffinement  Raisonnement ontologique  Reconfiguration  Reconfiguration dynamique  Représentation des connaissances  Règles de contrôle d'accès  Règles de correspondance  Réseau peer-To-Peer  Rétro-ingénierie  Rétro-ingénierie  Réécriture de requêtes  Réécriture, Systèmes de  SOA  Satisfiability Modulo Theories  Services Web  Smalltalk  Spécification et Vérification Formelle  Spécification formelle B et Event-B  Spécifications  Superposition  Synthèse de contrôleurs  SysML  SysML/KAOS  Système Ferroviaire  Système d'information  Systèmes adaptatifs  Systèmes auto-adaptatifs  Systèmes cyber-physiques  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  Systèmes, Conception de  Sécurité  Sécurité ferroviaire  Sémantique comportementale  Sémantique structurelle et descriptive  Sûreté  Techniques d'Abstraction  Temps réel  Test  Test d'intrusion  Test à base de modèle  Théorèmes -- Démonstration automatique  Traces numériques  Traduction automatique  Transformation  Transformation de graphe  Transformation de modèles  Transformation de modèles à modèles  Transformation de spécifications  Transports ferroviaires  Triplet de Hoare  UFO  UML  Unification  Vues d'autorisations  Vues matérialisées  Vérification  Vérification de code intermédiaire  Vérification de modèles  Vérification formelle  Électrum  Évolution  

Régine Laleau dirige actuellement les 3 thèses suivantes :

Informatique
En préparation depuis le 15-10-2020
Thèse en préparation

Informatique et applications
En préparation depuis le 02-05-2019
Thèse en préparation


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


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


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

Informatique et Télécommunication
Soutenue le 12-06-2020
Thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 06-03-2018
Thèse soutenue


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

Automatique, génie informatique, traitement du signal et des images
Soutenue le 14-10-2019
Thèse soutenue