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
Sébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal
Florent Foucaud, Paras Vinubhai Maniya, Kaustav Paul, Dinabandhu Pradhan - 1 mars 2026
Locating-dominating partitions for some classes of graphs
Discrete Mathematics
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
Karim Terfasse, Ghassen Cherif, Marie-José Huguet - 23 février 2026
A path planning heuristic for automated guided vehicles in container terminals
RAIRO - Operations Research
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal
Florent Foucaud, Paras Vinubhai Maniya, Kaustav Paul, Dinabandhu Pradhan - 1 mars 2026
Locating-dominating partitions for some classes of graphs
Discrete Mathematics
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
Karim Terfasse, Ghassen Cherif, Marie-José Huguet - 23 février 2026
A path planning heuristic for automated guided vehicles in container terminals
RAIRO - Operations Research