LACL - Laboratoire d'Algorithmique, Complexité et Logique
13 thèses en cours de préparation ayant pour partenaire de recherche Laboratoire d'algorithmique, complexité et logique (Créteil)Extrait des plus récentes :
Propriétés arithmétiques de théorèmes combinatoires.
par Ahmed Mimouni sous la direction de Julien Cervelle - Paris 12
Informatique
En préparation depuis le 01-09-2022
Accélérations systématiques et portables pour une exécution efficace de réseaux de neurones sur machines massivement parallèles à mémoires hiérarchiques
par Zixi Chen sous la direction de Frédéric Gava - Paris 12
Informatique
En préparation depuis le 01-12-2021
Définition d'une architecture pilotée par un système de propriétés temporelles pour la gestion de modèle IA avec renforcement learning.
par Mohamed El kharroubi sous la direction de Fabrice Mourlin - Paris 12
Informatique
En préparation depuis le 01-11-2021
Définition d'architectures logicielles évolutives pour le Big Data basée sur un système de propriétés temporelles
par Ali Esserhir sous la direction de Fabrice Mourlin - Paris 12
Informatique
En préparation depuis le 01-10-2021
Analyse calculatoire des théorèmes de type Ramsey
par William Gaudelier sous la direction de Benoit Monin, Julien Cervelle et de Ludovic Patey. - Paris 12
Informatique
En préparation depuis le 01-10-2021
Algorithmes pour la synthèse rationnelle dans les systèmes multi-agents
par Madalina Jitaru sous la direction de Catalin Dima et de Rodica Condurache. - Paris 12
Informatique
En préparation depuis le 01-10-2021
Sécurité et vérification fonctionnelle des protocoles de communication dans l'Internet des objets
par Mi Chen sous la direction de Lynda Mokdad - Paris 12
Informatique
En préparation depuis le 20-11-2020
Abstraction et raffinement formels de systèmes hybrides
par Mariem Hammami sous la direction de Catalin Dima et de Régine Laleau . - Paris 12
Informatique
En préparation depuis le 15-10-2020
Application de méthodes formelles à la détection de logiciels malveillants.
par Dumitru-bogdan Prelipcean sous la direction de Catalin Dima - Paris 12
Informatique
En préparation depuis le 01-09-2020
La décidabilité dans les jeux à informations partielles
par Léo Tible sous la direction de Daniele Varacca - Paris 12
Informatique
En préparation depuis le 01-10-2019
Performance et fiabilité des systèmes de grande taille par les méthodes de bornes stochastiques.
par Ismaël Aouled Idriss sous la direction de Nihal Pekergin - Paris Est
Informatique
Soutenue le 18-12-2012
Théorie et pratique des Transformations Globales
par Alexandre Fernandez sous la direction de Pierre Valarcher - Paris 12
Informatique
Soutenue le 08-12-2022
Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B.
par Meryem Afendi sous la direction de Régine Laleau et de Amel Mammar . - Paris 12
Informatique
Soutenue le 12-12-2022
31 thèses soutenues ayant pour partenaire de recherche LACL - Laboratoire d'Algorithmique, Complexité et LogiqueExtrait des plus récentes :
Bridging the gap between high-level and low-level spatial algorithms
par Tien Thao Nguyen sous la direction de Pierre Valarcher et de Luidnel Maignan . - Paris Est
Informatique
Soutenue le 15-12-2021
Hardware implementation of cell-inspired computational models
par Zeyi Shang sous la direction de Serghei Verlan et de Gexiang Zhang . - Paris Est
Informatique
Soutenue le 16-12-2020
Native support for parallel and distributed computing by the network
par Junior Dongo sous la direction de Fabrice Mourlin et de Charif Mahmoudi . - Paris Est
Informatique
Soutenue le 22-05-2020
Évaluation de performances de solutions pour la découverte et la composition des services web
par Walid Serrai sous la direction de Lynda Mokdad et de Abdelkrim Abdelli . - Paris Est
Informatique
Soutenue le 22-01-2020
Infinite Computations in Algorithmic Randomness and Reverse Mathematics
par Paul-Elliot Anglès d'Auriac sous la direction de Pierre Valarcher et de Benoît Monin . - Paris Est
Logique mathématique
Soutenue le 22-11-2019
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée
par Steve Jeffrey Tueno Fotso sous la direction de Régine Laleau , Marc Frappier et de Amel Mammar . - Paris Est
Informatique
Soutenue le 22-10-2019
Data centers energy optimization
par Léa Bayati sous la direction de Nihal Pekergin - Paris Est
Informatique
Soutenue le 20-09-2019
La mobilité du code dans les systèmes embarqués
par Guy Lahlou Djiken sous la direction de Fabrice Mourlin et de Laure Pauline Fotso . - Paris Est
Informatique
Soutenue le 14-12-2018
Défense contre les attaques de logiciels
par El Habib Boudjema sous la direction de Nadia Lynda Mokdad - Paris Est
Informatique
Soutenue le 04-05-2018
Abstraction fonctionnelle pour la programmation d’architecture multi-niveaux : formalisation et implantation
par Victor Allombert sous la direction de Frédéric Gava - Paris Est
Informatique
Soutenue le 07-07-2017
Un cadre théorique pour l'intégration des niveaux d'organisation dans les modèles : Applications à l'activité spatiale et à la simulation de grandes populations de bactéries
par Martin Potier sous la direction de Olivier Michel - Paris Est
Informatique
Soutenue le 06-07-2017
Combinaison de méthodes formelles pour la spécification de systèmes industriels
par Thomas Fayolle sous la direction de Régine Laleau et de Marc Frappier . - Paris Est
Informatique
Soutenue le 27-06-2017
Synthesis of Interactive Reactive Systems
par Rodica Bozianu sous la direction de Catalin Dima - Paris Est
Informatique
Soutenue le 12-12-2016
Vérification et validation de politiques de contrôle d'accès dans le domaine médical
par Nghi Huynh sous la direction de Régine Laleau , Marc Frappier et de Amel Mammar . - Paris Est
Informatique
Soutenue le 06-12-2016
Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial
par Yoann Marquer sous la direction de Pierre Valarcher - Paris Est
Informatique
Soutenue le 09-10-2015
Modèles et mécanismes pour la protection contre les attaques par déni de service dans les réseaux de capteurs sans fil
par Quentin Monnet sous la direction de Nadia Lynda Mokdad - Paris Est
Informatique
Soutenue le 17-07-2015
On the Power and Universality of Biologically-inspired Models of Computation
par Sergiu Ivanov sous la direction de Serghei Verlan - Paris Est
Informatique
Soutenue le 23-06-2015
Vérification de spécifications EB-3 à l'aide de techniques de model-checking
par Dimitrios Vekris sous la direction de Catalin Dima - Paris Est
Informatique
Soutenue le 10-12-2014
Orchestration d'agents mobiles en communauté
par Charif Mahmoudi sous la direction de Fabrice Mourlin - Paris Est
Signal, Image, Automatique
Soutenue le 29-11-2014
Quelques contributions en logique mathématique et en théorie des automates
par Mohamed Dahmoune sous la direction de Patrick Cegielski - Paris Est
Informatique
Soutenue le 23-06-2014
Système d'agents mobiles pour les architectures de calculs auto-adaptatifs
par Cyril Dumont sous la direction de Fabrice Mourlin - Paris Est
Informatique
Soutenue le 28-05-2014
Représentations symboliques musicales et calcul spatial
par Louis Bigo sous la direction de Olivier Michel - Paris Est
Informatique
Soutenue le 13-12-2013
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
par Jean Fortin sous la direction de Frédéric Gava - Paris Est
Informatique
Soutenue le 14-10-2013
Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle
par Chong Li sous la direction de Gaétan Hains - Paris Est
Informatique
Soutenue le 03-07-2013
Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services
par Michel Embe Jiague sous la direction de Régine Laleau - Paris Est
Informatique
Soutenue le 12-12-2012
BSP algorithms for LTL & CTL model checking of security protocols
par Michaël Guedj sous la direction de Gaétan Hains et de Frédéric Gava . - Paris Est
Informatique
Soutenue le 11-10-2012
Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles
par Pierre Konopacki sous la direction de Régine Laleau - Paris Est
Informatique
Soutenue le 04-05-2012
Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information
par Jérémy Milhau sous la direction de Régine Laleau - Paris Est
Informatique
Soutenue le 12-12-2011
Construction de spécifications formelles abstraites dirigée par les buts
par Abderrahman Matoussi sous la direction de Régine Laleau - Paris Est
Informatique
Soutenue le 09-12-2011
Algorithms for XML stream processing : massive data, external memory and scalable performance
par Muath Alrammal sous la direction de Gaétan Hains - Paris Est
Informatique
Soutenue le 16-05-2011
