Show Menu
Hide Menu
Laboratório de Ciência da Computação
Opinião do orientador
Organograma
Organisation
Orientadores
Serviços Administrativos
IT Service
Conselho
Conselho do Laboratório
Conselho
Teaching
Como vir ao LIP6
Pesquisa
Axes & Teams
Publicações
Projetos
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Relatório Anual
Avaliação
Our skills
Works with us
Software
Patentes
Start-ups
Empregos
Anuário
colóquio
🔒
📫
🇵🇹
🇫🇷
🇬🇧
🇵🇹
-
Computer Science Laboratory
Pesquisa
Publicações
Research reports
Current teams :
ALMASTY
ALSOC
APR
BD
CIAN
ComplexNetworks
DECISION
DELYS
LFI
MOCAH
MoVe
NPA
PEQUAN
PolSys
QI
RO
SMA
SYEL
Publicações MoVe
2021
2022
2023
2024
2025
Total
Livros
6
2
0
0
0
8
Livros Editados
0
0
0
1
0
1
Jornais
5
8
2
2
0
17
Capítulos de livros
0
1
0
0
0
1
Artigos de Conferencia
7
8
8
10
3
36
Habilitações (Livre Docência)
0
0
0
0
0
0
Teses
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]