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)Séminaires thématiques à venir
|
ALCOLOCO - Samuel Avril - ENS de Lyon - 8 juillet 2026 16:00 - Salle A104 The Snake Puzzle (Plane Spanning Path Reconfiguration) |
Dernières Publications
Antoine Dailly, Florent Foucaud, Anni Hakanen - 2 avril 2026
Algorithms and hardness for Metric Dimension on digraphs
Journal of Computer and System Sciences
Pascale Vicat-Blanc, Fahad Golra, Antoine Beugnard, Damien Lamy, Thierry Coupaye, Emmanuelle Abisset-Chavanne - 1 juin 2026
A cross-domain functional software architecture model for industrial digital twins.
Digital Twin
Hassan Maatouk, Didier Rullière, Xavier Bay - 19 mars 2026
Truncated multivariate normal distribution under linear and nonlinear constraints
Technometrics
Sébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal
Dipayan Chakraborty, Florent Foucaud, Michael Henning - 15 juin 2026
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Discrete Applied Mathematics
Algorithms and hardness for Metric Dimension on digraphs
Journal of Computer and System Sciences
Pascale Vicat-Blanc, Fahad Golra, Antoine Beugnard, Damien Lamy, Thierry Coupaye, Emmanuelle Abisset-Chavanne - 1 juin 2026
A cross-domain functional software architecture model for industrial digital twins.
Digital Twin
Hassan Maatouk, Didier Rullière, Xavier Bay - 19 mars 2026
Truncated multivariate normal distribution under linear and nonlinear constraints
Technometrics
Sébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal
Dipayan Chakraborty, Florent Foucaud, Michael Henning - 15 juin 2026
Identifying open codes in trees and 4-cycle-free graphs of given maximum degree
Discrete Applied Mathematics