Show Menu
Hide Menu
Laboratorio de Ciencias de la Computación
Discurso del Director
Organigrama
organización del LIP6
Dirección
Servicios Administrativos
IT Service
Comité científico
Comité para el laboratorio
Consejo de dirección
Teaching
Cómo llegar
Búsqueda
Axes & Teams
Publicaciones
Proyectos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Memoria Anual
Valuación
Our skills
Works with us
Softwares
Patentes
Start-ups
Empleos
Directorio de personal
coloquio
🔒
📫
🇪🇸
🇫🇷
🇬🇧
🇪🇸
-
Computer Science Laboratory
Búsqueda
Publicaciones
Research reports
equipos actuales :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
Publicaciones MoVe
2021
2022
2023
2024
2025
Total
Libros
6
2
0
0
0
8
Libros editados
0
0
0
1
0
1
Artículos de revistas
5
8
2
2
0
17
Capítulos de libros
0
1
0
0
0
1
Documentos de conferencias
7
8
8
10
3
36
Habilitaciones
0
0
0
0
0
0
Tesis
2
0
3
3
1
9
LIP6
Th. Berger, J.‑Ph. Steghöfer, T. Ziadi, J. Robin, J. Martinez
: “
The State of Adoption and the Challenges of Systematic Variability Management in Industry
”, Empirical Software Engineering, vol. 25, pp. 1755-1797, (Springer Verlag) [Berger 2020]
Ah. Chaouche, J.‑M. Ilié, F. Pêcheux
: “
Dealing with Failures for Execution Consistency in Context-aware Systems
”, Procedia Computer Science, vol. 177, pp. 212-219, (Elsevier) [Chaouche 2020]
V. Grollemund, G. Chat, M.‑S. Secchi‑Buhour, F. Delbot, J.‑F. Pradat‑Peyre, P. Bede, P.‑F. Pradat
: “
Development and validation of a 1-year survival prognosis estimation model for Amyotrophic Lateral Sclerosis using manifold learning algorithm UMAP
”, Scientific Reports, vol. 10 (1), pp. 13378, (Nature Publishing Group) [Grollemund 2020b]
J.‑M. Ilié, Ah. Chaouche, F. Pêcheux
: “
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles
”, Procedia Computer Science, vol. 170, pp. 530-538, (Elsevier) [Ilié 2020a]
J.‑M. Ilié, K. Lahiani, Ah. Chaouche, F. Pêcheux
: “
An Efficient Learning Assistant for a Contextual Road Navigation
”, Procedia Computer Science, vol. 170, pp. 522-529, (Elsevier) [Ilié 2020b]
A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil
: “
Parameterized verification of algorithms for oblivious robots on a ring
”, Formal Methods in System Design, vol. 56, pp. 55-89, (Springer Verlag) [Sangnier 2020]
A. Shatnawi, A.‑D. Seriai, H. Sahraoui, T. Ziadi, A. Seriai
: “
ReSIde: Reusable Service Identification from Software Families
”, Journal of Systems and Software, vol. 170, pp. 110748, (Elsevier) [Shatnawi 2020]