Laboratoire d'Informatique, de Mod¨¦lisation et d'Optimisation des Syst¨¨mes
![](http://ent.uca.fr/graal_data/prod/1/4/961.png)
UMR 6158 CNRS / UCA ENSMSE
- Adresse :
- Campus Universitaire des C¨¦zeaux
TSA 60125 - CS 60026
1, Rue de la Chebarde
63178 AUBIERE
- T¨¦l :
- + 33 4 73 40 50 04
- Sur Internet :
- limos.fr
Responsables
- Directeur de laboratoire
- Mourad BAIOU
- Directeur Adjoint
- Vincent BARRA
- Gestionnaire d'unit¨¦
- Beatrice BOURDIEU beatrice.bourdieu@uca.fr
Composition ¨¦quipe ( effectif total : 225 )
- ABSI Nabil -
- AH PINE Julien -
- ANTOINE Violaine -
- ATIGHEHCHI Kevin -
- AUGUSTO Vincent -
- BACHELET Bruno -
- BALBO Flavien -
- BARRA Vincent -
- BATTON HUBERT Mireille -
- BAY Xavier -
- BEAUDOU Laurent -
- BENDALI AMOR Fatiha -
- BERGE Pierre -
- BOISSIER Olivier -
- BORODIN Valeria -
- BOUCHER Xavier -
- BOUET Marinette -
- BOUHOURS Cedric -
- BOURINET Jean Marc -
- BU Gewu -
- BURON Maxime -
- CERQUEUS Audrey -
- CHALHOUB Gerard -
- CHARPENAY Victor -
- CHICOISNE Renaud -
- COLARES BORGES DE OLIVEIRA Rafael -
- COUE Edith -
- DALMAS Benjamin -
- DAUZERE PERES Stephane -
- DE VAULX Christophe -
- DELOBEL Francois -
- DELORME Xavier -
- DEROUSSI Laurent -
- DURAND Anais -
- EL FAROUQ Naima -
- EL RACHKIDY Nancy -
- FALIH Issam -
- FARIAS DE ARAUJO Katyanne -
- FEILLET Dominique -
- FESCHET Fabien -
- FOUCAUD Florent -
- FREITAS Antonio -
- GARAIX Thierry -
- GAYON Jean Philippe -
- GERARD Yan -
- GIANESSI Paolo -
- GRANGEON Nathalie -
- GRIMAUD Frederic -
- GUILLON Bruno -
- GUINALDO Olivier -
- GUITTON Alexandre -
- HABACHI Oussama -
- HILL David -
- HOAYEK Anis -
- JACQUET Frederique -
- KANG Myoung Ah -
- KANTE Mamadou -
- KERIVIN Herve -
- KOKO Jonas -
- KRAMER Arthur -
- LACOMME Philippe -
- LAFOREST Christian -
- LAFOURCADE Pascal -
- LAMY Damien -
- LAURENCOT Patrice -
- LEFRANCOIS Maxime -
- LI Jian Jin -
- LIMA FLECK Julia -
- LIMOUZY Vincent -
- LOISEAU Yannick -
- MAHEY Philippe -
- MAILFERT Jean -
- MAZEL Claude -
- MEDINA Raoul -
- MEDINI Khaled -
- MEPHU NGUIFO Engelbert -
- MESNARD Emmanuel -
- MIGDAL Denis -
- MISSON Michel -
- MORE Malika -
- NARDIN Luis -
- NGUYEN Viet Hung -
- NORRE Sylvie -
- NOURINE Lhouari -
- PAILLOUX Marie -
- PASTOR Lucas -
- PIERREVAL Henri -
- PROVOT Laurent -
- PUYS Maxime -
- PY Matthieu -
- RAYNAUD Olivier -
- REY Christophe -
- ROUSSY Agnes -
- RULLIERE Didier -
- SALVA Sebastien -
- SAMIR Chafik -
- SUZANNE Elodie -
- TAGUELMIMT Redha -
- TCHERNEV Nikolay -
- TOUMANI Farouk -
- TOUSSAINT Joel -
- VASLIN Philippe -
- WAGLER Annegret -
- XIE Xiaolan -
- YON Loic -
- YUGMA Galliam -
- ZIMMERMANN Antoine -
- BAIOU Mourad -
- HUIBERTS Sophie -
- LE RICHE Rodolphe -
- RAYMOND Jean Florent -
- CHERNYSHEV Vsevolod -
- GHOLAMI Hamed -
- MASCARO Axel -
- MOMBELLI Aurelien -
- PHAN Rak Smey -
- TOUBOUL Eric -
- TOUSSAINT Helene -
- BERTRAND Timothe -
- CAUCHEPIN Yann -
- DUCROS Theo -
- GUILLET Stephane -
- GUYOT LENAT William -
- ISSARD Remy -
- LECOUBLET Theo -
- MAZENOD Vincent -
- BENAMOR Amani -
- BERTHELIER Anthony -
- DAILLY Antoine -
- DUBLOIS Louis -
- FARZANEH Solmaz -
- FLORES GOMEZ Mario -
- HADHBI Youssouf -
- HAFIENE Nesrine -
- MAYAKI Mansour -
- MEKHALDI Rachda Naila -
- PASAGUAYO BAEZ Liseth Victoria -
- PENG Zhihao -
- SALMAN Youssef -
- SANOU Isaac -
- TAURINES Kevin -
- WARTELLE Adrien -
- YADEGARI Ehsan -
- BARNEOUD Marie -
- BOURDIEU Beatrice -
- CACCIOPPOLI Martine -
- KHEIRALLAH Rida -
- LONJON Boris -
- AALLAOUI Soufiane -
- ADJE Karidja Dominique -
- ANTHOUARD Benjamin -
- ANTUNES Benjamin -
- APPRIOU Tanguy -
- ATOCHE BRAVO Maria Jacqueline -
- BAKALI EL KASSIM Ahmed -
- BEN ZINA Saber -
- BERNARD Romain -
- BERTRAND Anthony -
- BRUNEL Lucas -
- CANCELLIERE Francesco -
- CHAGNON Dorine -
- CHAKRABORTY Dipayan -
- CHARTRAIN Alexis -
- CHEBBI Samar -
- DAOUADI Moulay Idris -
- DURBET Axel -
- EL CHEIKH Rim -
- FELLOUSSI Marouane -
- FEUNTEUN Yann -
- GASMI Asma -
- GUIEN Valentin -
- HADEF Mahdi -
- HASSAN Md Shahriar -
- HAYEK Frederic -
- HENDALI Naoufal -
- IFERROUDJENE Mouloud -
- JODEAU Jean -
- JOUSEAU Roxane -
- KALSRON Jeremy -
- KAMGA NGUIFO Durande Berluskoni -
- KOCAK Duru -
- LAPEYRADE Sylvain -
- LEBESE Thabang Doreen -
- LIU Chijia -
- MA Rui -
- MAHMOUD Dhekra -
- MALIQI Mariza -
- MARCADET Gael -
- MARTIN Mathis -
- MESSABIS Mohamed El Habib -
- MEUNIER Anthony -
- MOELEVOU Alhadiri -
- MOMBELLI Aurelien -
- NAMA NYAM Guy -
- NGUYEN Thanh Loan -
- NGUYEN Chi Thao -
- OLIVIER ANCLIN Charles -
- OUSSAMA Amine -
- PERDIGAO MARTINO Diego -
- QUINTIN Anthony -
- RAVEENDRAN NAIR SHEELA Arun -
- ROJAS VARELA Nicolas -
- SAUZEAT Nicolas -
- SERHAL ABOU NADER Diana -
- SOUBEIGA Armel -
- SOW Babacar -
- SPIGA Radia -
- SUE Jarod -
- TAGHZOUTI Yousouf -
- TAGUEMOUNT Sara -
- TAHERI KHORRAM ABADI Seyed Mohammad Javad -
- TORBA Rahman -
- TRAN Helene -
- TRAN Thi Thuy An -
- TULA Ana Lucia -
- WANG Jingyao -
- WANG Yiyu -
- YAN Elena -
- ZAHOUANI Zineddine -
- ZAWADI MUCHIKA Miriam -
- BASIRATI Mohadese -
- CELIK Hiba -
- COLOMB Pierre -
- MEECHANG Kunruthai -
- NACHABE Lina -
Equipes
- Axe ODPS : Outils D¨¦cisionnels pour la Production et les Services , Dominique FEILLET , Alain QUILLIOT
- Axe MAAD : Mod¨¨les et Algorithmes de l'Aide ¨¤ la D¨¦cision , Mourad BAIOU
- Axe SIC : Syst¨¨mes d'Information et de Communication , Michel MISSON , Farouk TOUMANI
Th¨¨mes de Recherche
Le Laboratoire d¡¯Informatique, de Mod¨¦lisation et d¡¯Optimisation des Syst¨¨mes (LIMOS, http://limos.isima.fr/) 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).Le LIMOS est principalement rattach¨¦e ¨¤ l¡¯Institut des Sciences de l¡¯Information et de leurs Interactions (INS2I) du CNRS, et de fa?on secondaire ¨¤ l¡¯Institut des Sciences de l¡¯Ing¨¦nierie et des Syst¨¨mes (INSIS). Il a pour tutelles acad¨¦miques l¡¯Universit¨¦ Clermont Auvergne (UCA) et l¡¯Ecole Nationale Sup¨¦rieure des Mines de Saint-Etienne (EMSE), et comme ¨¦tablissement partenaire SIGMA Clermont. Le LIMOS est membre des labex IMOBS3 et ClercVolc et de la f¨¦d¨¦ration de recherche en Environnement FR 3467. Il est membre associ¨¦ de la f¨¦d¨¦ration MODMAD (MOD¨¦lisation Math¨¦matique et Aide ¨¤ la D¨¦cision, FED 4169) port¨¦e par Universit¨¦ Jean Monnet de Saint-Etienne. Le positionnement scientifique du LIMOS est centr¨¦ autour de l¡¯Informatique, la Mod¨¦lisation et l¡¯Optimisation des Syst¨¨mes Organisationnels et Vivants.
Les principaux th¨¨mes de recherche d¨¦velopp¨¦s au sein du laboratoire sont :
- Optimisation combinatoire et continue,
- Recherche op¨¦rationnelle,
- Syst¨¨mes de production,
- Logistique,
- Algorithmique des graphes et des treillis,
- Images et apprentissage,
- Mod¨¦lisation et simulation,
-Grandes masses de donn¨¦es,
- Fouille de donn¨¦es,
- Interop¨¦rabilit¨¦ des syst¨¨mes d¡¯information,
- R¨¦seaux de Capteurs,
- Confiance num¨¦rique.
Les effectifs du LIMOS au 1er janvier 2017 sont de 200 membres au total dont 102 permanents, dont 30 PR/DR, 59 MCF et 13 ITA, 98 doctorants et 9 postdoctorants et ing¨¦nieurs.
Le LIMOS est structur¨¦ autour de 3 axes scientifiques :
- Axe MAAD : Mod¨¨les et Algorithmes de l¡¯Aide ¨¤ la D¨¦cision. L¡¯axe MAAD s'int¨¦resse ¨¤ des aspects fondamentaux et appliqu¨¦s de probl¨¨mes de d¨¦cisions r¨¦els issus de divers domaines applicatifs. Les travaux men¨¦s dans cet axe portent sur la mod¨¦lisation, l'algorithmique et l'analyse math¨¦matique de probl¨¨mes d'optimisation, de diagnostics et d'apprentissage.
- Axe SIC : Syst¨¨mes d¡¯Information et de Communication. L¡¯axe SIC s¡¯int¨¦resse ¨¤ des probl¨¨mes de communication et d¡¯acquisition de donn¨¦es ¨¤ travers les r¨¦seaux de capteurs sans fil, ¨¤ la gestion et ¨¤ l¡¯analyse de grandes masses de donn¨¦es ainsi qu¡¯¨¤ l¡¯interop¨¦rabilit¨¦ des applications (donn¨¦es et programmes).
- Axe ODPL : Outils D¨¦cisionnels pour la Production et la Logistique. Les activit¨¦s d¡¯ODPL visent ¨¤ exporter les outils et m¨¦thodes de l¡¯Optimisation Combinatoire et de la Simulation ¨¤ Ev¨¨nements Discrets en direction de syst¨¨mes organisationnels r¨¦els, li¨¦s ¨¤ la production de biens, ¨¤ la logistique, aux syst¨¨mes hospitaliers ou aux transports.
Publications ( HAL )
- Algorithms and Machine Learning for fair and classical combinatorial optimization
Thi Quynh Trang Vo - Toward Agile Interaction Model based ontology development Methodology (AIME) for FAIR European data spaces
Lina Nachabe , Fatma-Zohra Hannou , Maxime Lefran?ois , Marie Jubault - Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Quentin Bramas , Pascal Lafourcade , St¨¦phane Devismes - On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Karine Altisen , St¨¦phane Devismes , Ana?s Durand , Colette Johnen , Franck Petit - Better Sooner Rather Than Later
Ana?s Durand , Michel Raynal , Gadi Taubenfeld - Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun
Samuel Hand , Alexander Koch , Pascal Lafourcade , Daiki Miyahara , L¨¦o Robert - Performance and reproducibility assessment of quantum dissipative dynamics framework: a comparative study of Fortran compilers, MKL, and FFTW
Benjamin A. Antunes , Claude Mazel , David R.C. Hill - Computing the D-base and D-relation in finite closure systems
Kira Adaricheva , Lhouari Nourine , Simon Vilmin - Towards declarative comparabilities: Application to functional dependencies
Lhouari Nourine , Jean-Marc Petit , Simon Vilmin - Half-space separation in monophonic convexity
Mohammed Elaroussi , Lhouari Nourine , Simon Vilmin