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)

PR 0841 Institut d’Informatique ISIMA
MCF 0719 Institut d’Informatique ISIMA
MCF 0005 IUT Aubière
MCF 0909 IUT Aubière
MCF 1077 IUT d’Allier
Thèse : Design and Verification of Security Protocols for Heteregeneous 5G IoT Devices

Eric PIETTE, Post-doctorant - DKE, Maastricht University - 7 mars 2019 13:00 - Salle du conseil Une nouvelle approche au General Game Playing dirigée par les contraintes stochastiques

Pierre MARQUIS, Professeur - CRIL, Lens - 7 mars 2019 14:00 - Salle du conseil Top-Down Knowledge Compilation of Decision-DNNF Representations

15th TAROT Summer School 2019 on Software Testing, Verification & Validation

ZHOU Peng - 23 mars 2019 00:00 - HUAT, Wuhan - Chine Research on architecture and self-management strategies design for dependable cyber physical system

Elyes Lamine, Rémi Bastide, Marinette Bouet, Paul Gaborit, Didier Gourc, François Marmier, Hervé Pingaud, Michel Schneider, Farouk Toumani - 1 janvier 2019
Plas'O'Soins: An Interactive ICT Platform to Support Care Planning and Coordination within Home-Based Care
IRBM

Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch - 13 décembre 2018
Formally and Practically Verifying Flow Integrity Properties in Industrial Systems
Computers and Security

Chafik Samir, Ines Adouani - 1 mai 2019
Smooth Paths on Riemannian Manifolds with Applications to 3D Shape Space
Computational and Applied Mathematics

Henri-Alex Esbelin, Marin Gutan - 1 janvier 2019
Solving the membership problem for parabolic möbius monoids
Semigroup Forum

Sébastien Salva, Loukmen Regainia - 1 janvier 2019
An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases
Software Quality Journal