Présentation

Le Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) est une Unité Mixte de Recherche (UMR 6158) en informatique, et plus généralement en Sciences et Technologies de l'Information et de la Communication (STIC).

(lire la suite)

Soutenances de thèses


Jarod SUE - 4 décembre 2025 11:00 - Amphi 2 - Pôle commun
Analyse et automatisation dans les systèmes bases sur les services: génération de tests et healing pour la non-regression et la sécurité

Frédéric HAYEK - 18 décembre 2025 14:00 - Amphi 9010/9110 Pôle Physique
Analyse de sécurité des registres distribués

Dernières Publications

Alessio Conte, Roberto Grossi, Mamadou Moustapha Kanté, Andrea Marino, Takeaki Uno - 1 décembre 2025
Listing Maximal H-Free Subgraphs
Discrete Applied Mathematics

Dibyayan Chakraborty, Jérémie Chalopin, Florent Foucaud, Yann Vaxès - 1 janvier 2026
Isometric path complexity of graphs
Discrete Mathematics

Olga Battaïa, Xavier Delorme, Alexandre Dolgui, Hichem Haddou-Benderbal - 1 septembre 2025
New trends in line balancing and model sequencing in assembly, disassembly and machining environments
Computers & Industrial Engineering

Subhadeep Dev, Sanjana Dey, Florent Foucaud, Krishna Narayanan, Lekshmi Ramasubramony Sulochana - 31 décembre 2025
Monitoring edge-geodetic sets in graphs
Discrete Applied Mathematics

Hassan Maatouk, Didier Rullière, Xavier Bay - 23 septembre 2025
Efficient constrained Gaussian process approximation using elliptical slice sampling
Bayesian Analysis