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 ALSOC
2021
2022
2023
2024
2025
Total
Livros
0
0
0
0
0
0
Livros Editados
0
0
0
0
0
0
Jornais
4
4
7
1
1
17
Capítulos de livros
0
0
0
0
0
0
Artigos de Conferencia
15
11
9
7
1
43
Habilitações (Livre Docência)
0
0
0
0
0
0
Teses
2
2
3
2
0
9
LIP6
Th. Barry, D. Couroussé, B. Robisson, K. Heydemann
: “
Automated Combination of Tolerance and Control Flow Integrity Countermeasures against Multiple Fault Attacks
”, European LLVM Developers Meeting, Saarbrücken, Germany [Barry 2017]
H. Bel Hadj Amor, A. Sheibanyrad, F. Pétrot
: “
A Distributed NUCA Architecture Using an Efficient NoC Multicasting Support
”, Euromicro Conference on Digital System Design (DSD 2017), Vienne, Austria, pp. 184-191, (IEEE) [Bel Hadj Amor 2017a]
H. Bel Hadj Amor, A. Sheibanyrad, F. Pétrot
: “
A Meta-Routing Method to Create Multiple Virtual Logical Networks on a Single Hardware NoC
”, 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Bochum, Germany, pp. 200-205, (IEEE) [Bel Hadj Amor 2017b]
N. Belleville, Th. Barry, A. Seriai, D. Couroussé, K. Heydemann, B. Robisson, H.‑P. Charles
: “
The Multiple Ways to Automate the Application of Software Countermeasures against Physical Attacks : Pitfalls and Guidelines
”, Cyber-Physical Security Education Workshop, Paris, France [Belleville 2017]
I. Ben El Ouahma, Quentin L. Meunier, K. Heydemann, E. Encrenaz
: “
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes
”, Security Proofs for Embedded Systems, Taipei, China [Ben El Ouahma 2017]
L. Cabaret, L. Lacassagne, D. Etiemble
: “
Distanceless Label Propagation: an Efficient Direct Connected Component Labeling Algorithm for GPUs
”, 2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), Montreal, QC, Canada, pp. 1-6, (IEEE), (ISBN: 978-1-5386-1842-4) [Cabaret 2017]
H. Deroui, K. Desnos, J.‑F. Nezan, A. Munier‑Kordon
: “
Relaxed Subgraph Execution Model for the Throughput Evaluation of IBSDF Graphs
”, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), SAMOS, Greece [Deroui 2017a]
H. Deroui, K. Desnos, J.‑F. Nezan, A. Munier‑Kordon
: “
Throughput Evaluation of DSP Applications based on Hierarchical Dataflow Models
”, International Symposium on Circuits and Systems (ISCAS), Baltimore, United States [Deroui 2017b]
D. Genius, L. Apvrille
: “
System-Level Design for Communication-Centric Task Farm Applications
”, 12
th
International Symposium on Reconfigurable Communication-centric Systems-on-Chip, Madrid, Spain [Genius 2017a]
D. Genius, L. Li, L. Apvrille
: “
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
”, Modeling Languages, Tools and Architectures, Methodologies, Processes and Platforms, Applications and Software Development (MODELSWARD), Porto, Portugal [Genius 2017b]
H. Liu, Quentin L. Meunier, A. Greiner
: “
Decoupling Translation Lookaside Buffer Coherence from Cache Coherence
”, IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2017), Bochum, Germany, pp. 92-97, (IEEE) [Liu 2017]