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ébastien Salva - 22 juin 2026
Reliable execution of natural language test cases for GUI applications using LLM agents
Software Quality Journal

Lucas Brunel, Mathieu Balesdent, Loïc Brevault, Rodolphe Le Riche, Bruno Sudret - 1 janvier 2027
Active learning strategy for excursion-set confidence regions of functional simulator outputs
Computer Methods in Applied Mechanics and Engineering

Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini, Dhekra Mahmoud, Jannik Dreier, Pascal Lafourcade - 27 août 2026
Secure and verifiable coercion-resistant electronic exam
Journal of Cybersecurity

François D’assise Sanou, Hamadoun Tall, Gérard Chalhoub, Tiguiane Yelemou - 15 août 2026
LoRaFlexSim: a modular simulator for large-scale LoRa/LoRaWAN network performance evaluation
Annals of Telecommunications - annales des télécommunications

Zhifei Zheng, Sami Cherif, Matthieu Py, Rui Shibasaki, Chu-Min Li, Laurent Deroussi, Nathalie Grangeon - 1 août 2026
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
Computers and Operations Research