Personal information

Activities

Employment (1)

Thales (France): Palaiseau, FR

2008 to present | Research Engineer (Embedded System Labs)
Employment
Source: Self-asserted source
Sylvain Girbal

Works (34)

Securing a RISC-V architecture: A dynamic approach

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)
2023-04 | Conference paper
Contributors: S. Pillement; M. MĂ©ndez Real; J. Pottier; T. Nieddu; B. Le Gal; S. Faucou; J.L. BĂ©chennec; M. Briday; S. Girbal; J. Le Rhun et al.
Source: Self-asserted source
Sylvain Girbal
grade
Preferred source (of 2)‎

Safety & Security monitoring convergence at the dawn of Open Hardware

11th European Congress on Embedded Real Time Software and Systems (ERTS 2022) , Toulouse, France, 01-02 June 2022 (Session Th.5.A.2)
2022-06-02 | Conference paper
Contributors: Sylvain Girbal; Jimmy Le Rhun; Daniel Gracia PĂ©rez; David Faura
Source: Self-asserted source
Sylvain Girbal

Dependable Integration Concepts for Human-Centric AI-Based Systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021 | Book
EID:

2-s2.0-85115181737

Part of ISSN: 16113349 03029743
Contributors: Macher, G.; Akarmazyan, S.; Armengaud, E.; Bacciu, D.; Calandra, C.; Danzinger, H.; Dazzi, P.; Davalas, C.; De Gennaro, M.C.; Dimitriou, A. et al.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

TEACHING - Trustworthy autonomous cyber-physical applications through human-centred intelligence

2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS)
2021-08-23 | Conference paper
Contributors: Davide Bacciu; Siranush Akarmazyan; Eric Armengaud; Manlio Bacco; George Bravos; Calogero Calandra; Emanuele Carlini; Antonio Carta; Pietro Cassara; Massimo Coppola et al.
Source: Self-asserted source
Sylvain Girbal
grade
Preferred source (of 2)‎

Tracing hardware monitors in the GR712RC multicore platform: Challenges and lessons learnt from a space case study

Leibniz International Proceedings in Informatics, LIPIcs
2020 | Conference paper
EID:

2-s2.0-85090267569

Part of ISSN: 18688969
Contributors: Palomo, X.; Girbal, S.; Abella, J.; Rioux, L.; Fernandez, M.; Mezzetti, E.; Cazorla, F.J.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Open Source Hardware: An Opportunity For Critical Systems

2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
2020-06 | Conference paper
Contributors: Jimmy Le Rhun; Sylvain Girbal; Daniel Gracia Perez
Source: Self-asserted source
Sylvain Girbal
grade
Preferred source (of 2)‎

Assessing Time Predictability Features of ARM Big. LITTLE Multicores

2018 30th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)
2018-09 | Conference paper
Contributors: Gabriel Fernandez; Francisco J. Cazorla; Jaume Abella; Sylvain Girbal
Source: Self-asserted source
Sylvain Girbal
grade
Preferred source (of 2)‎

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

Design Automation for Embedded Systems
2018-06 | Journal article
Part of ISSN: 0929-5585
Part of ISSN: 1572-8080
Contributors: Georgia Giannopoulou; Peter Poplavko; Dario Socci; Pengcheng Huang; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal et al.
Source: Self-asserted source
Sylvain Girbal
grade
Preferred source (of 2)‎

Low-level implementation of the SISC protocol for thread-level speculation on a multi-core architecture

Parallel Computing
2017 | Journal article
EID:

2-s2.0-85025645300

Part of ISSN: 01678191
Contributors: Radulović, M.B.; Girbal, S.; Tomašević, M.V.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

A complete tool-chain for an interference-free deployment of avionic applications on multi-core systems

AIAA/IEEE Digital Avionics Systems Conference - Proceedings
2015 | Conference paper
EID:

2-s2.0-85010047708

Part of ISSN: 21557209 21557195
Contributors: Girbal, S.; Pérez, D.G.; Le Rhun, J.; Faugère, M.; Pagetti, C.; Durrieu, G.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

A complete toolchain for an interference-free deployment of avionic applications on multi-core systems

AIAA/IEEE Digital Avionics Systems Conference - Proceedings
2015 | Conference paper
EID:

2-s2.0-85010064982

Part of ISSN: 21557209 21557195
Contributors: Girbal, S.; Pérez, D.G.; Le Rhun, J.; Faugère, M.; Pagetti, C.; Durrieu, G.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Deterministic platform software for hard real-time systems using multi-core COTS

AIAA/IEEE Digital Avionics Systems Conference - Proceedings
2015 | Conference paper
EID:

2-s2.0-84996568537

Part of ISSN: 21557209 21557195
Contributors: Girbal, S.; Jean, X.; Le Rhun, J.; PĂ©rez, D.G.; Gatti, M.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Deterministic platform software for hard real-time systems using multi-core COTS

AIAA/IEEE Digital Avionics Systems Conference - Proceedings
2015 | Conference paper
EID:

2-s2.0-85010041814

Part of ISSN: 21557209 21557195
Contributors: Girbal, S.; Jean, X.; Le Rhun, J.; PĂ©rez, D.G.; Gatti, M.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Safety considerations for WCET evaluation methods in avionic equipment

AIAA/IEEE Digital Avionics Systems Conference - Proceedings
2015 | Conference paper
EID:

2-s2.0-85010032261

Part of ISSN: 21557209 21557195
Contributors: Jean, X.; Girbal, S.; Brindejonc, V.; Megel, T.; Roger, A.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Safety considerations for WCET evaluation methods in avionic equipment

AIAA/IEEE Digital Avionics Systems Conference - Proceedings
2015 | Conference paper
EID:

2-s2.0-85010058339

Part of ISSN: 21557209 21557195
Contributors: Jean, X.; Girbal, S.; Roger, A.; Megel, T.; Brindejonc, V.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems

ACM International Conference Proceeding Series
2014 | Conference paper
EID:

2-s2.0-84985930394

Contributors: Kritikakou, A.; Pagetti, C.; Rochange, C.; Roy, M.; Faugère, M.; Girbal, S.; Pérez, D.G.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

TERAFLUX: Harnessing dataflow in next generation teradevices

Microprocessors and Microsystems
2014 | Journal article
EID:

2-s2.0-84912558447

Part of ISSN: 01419331
Contributors: Giorgi, R.; Badia, R.M.; Bodin, F.; Cohen, A.; Evripidou, P.; Faraboschi, P.; Fechner, B.; Gao, G.R.; Garbade, A.; Gayatri, R. et al.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

On the convergence of mainstream and mission-critical markets

Proceedings - Design Automation Conference
2013 | Conference paper
EID:

2-s2.0-84879861147

Part of ISSN: 0738100X
Contributors: Girbal, S.; Moretó, M.; Grasset, A.; Abella, J.; Quiñones, E.; Cazorla, F.J.; Yehia, S.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

The TERAFLUX project: Exploiting the dataflow paradigm in next generation teradevices

Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013
2013 | Conference paper
EID:

2-s2.0-84890041280

Contributors: Solinas, M.; Badia, R.M.; Bodin, F.; Cohen, A.; Evripidou, P.; Faraboschi, P.; Fechner, B.; Gao, G.R.; Garbade, A.; Girbal, S. et al.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

On the evaluation of the impact of shared resources in multithreaded COTS processors in time-critical environments

Transactions on Architecture and Code Optimization
2012 | Journal article
EID:

2-s2.0-84857888419

Part of ISSN: 15443566 15443973
Contributors: Radojković, P.; Girbal, S.; Grasset, A.; Quiñones, E.; Yehia, S.; Cazorla, F.J.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

A memory interface for multi-purpose multi-stream accelerators

Embedded Systems Week 2010 - Proceedings of the 2010 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES'10
2010 | Conference paper
EID:

2-s2.0-78650650237

Contributors: Girbal, S.; Temam, O.; Yehia, S.; Berry, H.; Li, Z.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

ArchExplorer for automatic design space exploration

IEEE Micro
2010 | Journal article
EID:

2-s2.0-78649525304

Part of ISSN: 02721732
Contributors: Desmet, V.; Girbal, S.; Ramirez, A.; Temam, O.; Vega, A.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

ArchExplorer.org: A methodology for facilitating a fair comparison of research ideas

ISPASS 2010 - IEEE International Symposium on Performance Analysis of Systems and Software
2010 | Conference paper
EID:

2-s2.0-77952571804

Contributors: Desmet, V.; Girbal, S.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

CMA: Chip Multi-Accelerator

Proceedings of the 2010 IEEE 8th Symposium on Application Specific Processors, SASP'10
2010 | Conference paper
EID:

2-s2.0-77955733178

Contributors: Auras, D.; Girbal, S.; Berry, H.; Temam, O.; Yehia, S.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Structural simulation for architecture exploration

Processor and System-on-Chip Simulation
2010 | Book chapter
EID:

2-s2.0-84891966885

Contributors: August, D.; Desmet, V.; Girbal, S.; PĂ©rez, D.G.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Reconciling specialization and flexibility through compound circuits

Proceedings - International Symposium on High-Performance Computer Architecture
2009 | Conference paper
EID:

2-s2.0-64949084227

Part of ISSN: 15300897
Contributors: Yehia, S.; Girbal, S.; Berry, H.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

UNISIM: An open simulation environment and library for complex architecture design and collaborative development

IEEE Computer Architecture Letters
2007 | Journal article
EID:

2-s2.0-36749086936

Part of ISSN: 15566056
Contributors: August, D.; Chang, J.; Girbal, S.; Gracia-Perez, D.; Mouchard, G.; Penry, D.; Temam, O.; Vachharajani, N.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

GRAPHITE: Polyhedral analyses and optimizations for GCC

Proceedings of the GCC Developers' Summit 2006
2006 | Conference paper
EID:

2-s2.0-84871295761

Contributors: Pop, S.; Cohen, A.; Bastoul, C.; Girbal, S.; Silber, G.-A.; Vasilache, N.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies

International Journal of Parallel Programming
2006 | Journal article
EID:

2-s2.0-33746593747

Part of ISSN: 08857458
Contributors: Girbal, S.; Vasilache, N.; Bastoul, C.; Cohen, A.; Parello, D.; Sigler, M.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Violated dependence analysis

Proceedings of the International Conference on Supercomputing
2006 | Conference paper
EID:

2-s2.0-34547449727

Contributors: Vasilache, N.; Bastoul, C.; Cohen, A.; Girbal, S.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Facilitating the search for compositions of program transformations

Proceedings of the International Conference on Supercomputing
2005 | Conference paper
EID:

2-s2.0-32844473507

Contributors: Cohen, A.; Girbal, S.; Parello, D.; Sigler, M.; Temam, O.; Vasilache, N.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

A polyhedral approach to ease the composition of program transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-35048850130

Part of ISSN: 16113349 03029743
Contributors: Cohen, A.; Girbal, S.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

Putting polyhedral loop transformations to work

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-35048899223

Part of ISSN: 16113349 03029743
Contributors: Bastoul, C.; Cohen, A.; Girbal, S.; Sharma, S.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier

DIST: A simple, reliable and scalable method to significantly reduce processor architecture simulation time

Performance Evaluation Review
2003 | Conference paper
EID:

2-s2.0-33646184191

Part of ISSN: 01635999 01635999
Contributors: Girbal, S.; Mouchard, G.; Cohen, A.; Temam, O.
Source: Self-asserted source
Sylvain Girbal via Scopus - Elsevier