Daniel Gracia Prez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
11
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TAP | Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack. | Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez |
| 2023 | DATE | Securing a RISC-V architecture: A dynamic approach. | Sbastien Pillement, Maria Mendez Real, J. Pottier, T. Nieddu, Bertrand Le Gal, Sbastien Faucou, Jean-Luc Bchennec, Mikal Briday, Sylvain Girbal, Jimmy Le Rhun, Olivier Gilles, Daniel Gracia Prez, Andr Sintzoff, Jean-Roch Coulon |
| 2023 | ESORICS | Execution at RISC: Stealth JOP Attacks on RISC-V Applications. | Loc Buckwell, Olivier Gilles, Daniel Gracia Prez, Nikolai Kosmatov |
| 2023 | IFM | Towards Formal Verification of a TPM Software Stack. | Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez, To Bernier |
| 2020 | DSN | Open Source Hardware: An Opportunity For Critical Systems. | Jimmy Le Rhun, Sylvain Girbal, Daniel Gracia Prez |
| 2019 | RTSS | Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. | Cdric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Prez |
| 2017 | MODELS | DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. | Simon Barner, Alexander Diewald, Jrn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugre, Daniel Gracia Prez |
| 2017 | RTCSA | Schedulability analysis for global fixed-priority scheduling of the 3-phase task model. | Cludio Maia, Geoffrey Nelissen, Lus Nogueira, Lus Miguel Pinho, Daniel Gracia Prez |
| 2017 | RTCSA | Online admission of non-preemptive aperiodic mixed-critical tasks in hierarchic schedules. | Ali Syed, Gerhard Fohler, Daniel Gracia Prez |
| 2016 | ETFA | A closer look into the AER Model. | Cludio Maia, Lus Nogueira, Lus Miguel Pinho, Daniel Gracia Prez |
| 2014 | RTNS | Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. | Angeliki Kritikakou, Christine Rochange, Madeleine Faugre, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Prez |
| 2004 | DATE | A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling. | Daniel Gracia Prez, Gilles Mouchard, Olivier Temam |
| 2004 | MICRO | MicroLib: A Case for the Quantitative Comparison of Micro-Architecture Mechanisms. | Daniel Gracia Prez, Gilles Mouchard, Olivier Temam |