Daniel Gracia Pérez

33 papers A* 1A 4B 3C 2Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — ed.
Proceedings of the Rapid Simulation and Performance Evaluation for Design, RAPIDO 2026, Kraków, Poland, 27 January 2026
RAPIDO@HiPEAC
Lilia Zaourar, Morteza Biglari-Abhari, Daniel Chillet, Daniel Gracia Pérez, Réda Nouacer, Matthias Jung, Gianluca Palermo
2025 — conf
Aspycot: A Spike and Python Co-simulation Testbench for Hardware Monitoring IPs.
RAPIDO@HiPEAC
Téo Biton, Sébastien Pillement, Olivier Gilles, Nikolai Kosmatov, Daniel Gracia Pérez
2025 J jnl
Call Rewinding: Efficient Backward Edge Protection.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Téo Biton, Olivier Gilles, Daniel Gracia Pérez, Nikolai Kosmatov, Sébastien Pillement
2025 — ed.
Proceedings of the Rapid Simulation and Performance Evaluation for Design Workshop, RAPIDO 2025, Barcelona, Spain, 21 January 2025
RAPIDO@HiPEAC
Lilia Zaourar, Morteza Biglari-Abhari, Daniel Chillet, Daniel Gracia Pérez, Réda Nouacer, Matthias Jung, Gianluca Palermo
2025 J jnl
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities.
Formal Aspects Comput.
Yani Ziani, Téo Bernier, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez
2024 — ed.
Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design, RAPIDO 2024, Munich, Germany, 18 January 2024
RAPIDO@HiPEAC
Lilia Zaourar, Daniel Chillet, Daniel Gracia Pérez, Morteza Biglari-Abhari, Réda Nouacer, Matthias Jung, Gianluca Palermo
2024 C conf
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack.
TAP
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez
2023 — conf
Execution at RISC: Stealth JOP Attacks on RISC-V Applications.
ESORICS Workshops (2)
Loïc Buckwell, Olivier Gilles, Daniel Gracia Pérez, Nikolai Kosmatov
2023 J jnl
Execution at RISC: Stealth JOP Attacks on RISC-V Applications.
CoRR
Loïc Buckwell, Olivier Gilles, Daniel Gracia Pérez, Nikolai Kosmatov
2023 — conf
Securing Communication in the Field: Protecting Geo-distributed Computing in an Untrusted Environment.
C&ESAR
Olivier Gilles, David Faura, Daniel Gracia Pérez
2023 J jnl
Securing IIoT communications using OPC UA PubSub and Trusted Platform Modules.
J. Syst. Archit.
Olivier Gilles, Daniel Gracia Pérez, P.-A. Brameret, V. Lacroix
2023 A conf
Securing a RISC-V architecture: A dynamic approach.
DATE
Sébastien Pillement, Maria Mendez Real, J. Pottier, T. Nieddu, Bertrand Le Gal, Sébastien Faucou, Jean-Luc Béchennec, Mikaël Briday, Sylvain Girbal, Jimmy Le Rhun, Olivier Gilles, Daniel Gracia Pérez, André Sintzoff, Jean-Roch Coulon
2023 B conf
Towards Formal Verification of a TPM Software Stack.
iFM
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
2023 J jnl
Towards Formal Verification of a TPM Software Stack.
CoRR
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
2022 J jnl
Control-Flow Integrity at RISC: Attacking RISC-V by Jump-Oriented Programming.
CoRR
Olivier Gilles, Franck Viguier, Nikolai Kosmatov, Daniel Gracia Pérez
2020 — conf
Open Source Hardware: An Opportunity For Critical Systems.
DSN Workshops
Jimmy Le Rhun, Sylvain Girbal, Daniel Gracia Pérez
2019 A conf
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms.
RTSS
Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Pérez
2018 J jnl
Job-shifting: An algorithm for online admission of non-preemptive aperiodic tasks in safety critical systems.
J. Syst. Archit.
Ali Syed, Daniel Gracia Pérez, Gerhard Fohler
2017 A conf
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems.
MoDELS
Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère, Daniel Gracia Pérez
2017 B conf
Online admission of non-preemptive aperiodic mixed-critical tasks in hierarchic schedules.
RTCSA
Ali Syed, Gerhard Fohler, Daniel Gracia Pérez
2017 B conf
Schedulability analysis for global fixed-priority scheduling of the 3-phase task model.
RTCSA
Cláudio Maia, Geoffrey Nelissen, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
2016 C conf
A closer look into the AER Model.
ETFA
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
2015 — ed.
Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO@HiPEAC 2015, 21 January, 2015, Amsterdam, The Netherlands
RAPIDO@HiPEAC
Gianluca Palermo, Daniel Gracia Pérez, Morteza Biglari-Abhari, Daniel Chillet, Smaïl Niar, Adam Morawiec
2014 Misc conf
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems.
RTNS
Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez
2014 — ed.
Proceedings of the 2014 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO '14, 22 January, 2014, Vienna, Austria
RAPIDO
Daniel Gracia Pérez, Morteza Biglari-Abhari, Daniel Chillet, Gianluca Palermo
2012 — ed.
Proceedings of the 2012 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO '12, 23 January, 2012, Paris, France
RAPIDO
Daniel Gracia Pérez, Smaïl Niar, Cristina Silvano, Morteza Biglari-Abhari
2012 — ed.
Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO '13, 21 January, 2013, Berlin, Germany
RAPIDO
Daniel Gracia Pérez, Morteza Biglari-Abhari, Daniel Chillet, Gianluca Palermo
2010 — conf
Transparent sampling.
ICSAMOS
Taj Muhammad Khan, Daniel Gracia Pérez, Olivier Temam
2007 J jnl
UNISIM: An Open Simulation Environment and Library for Complex Architecture Design and Collaborative Development.
IEEE Comput. Archit. Lett.
David I. August, Jonathan Chang, Sylvain Girbal, Daniel Gracia Pérez, Gilles Mouchard, David A. Penry, Olivier Temam, Neil Vachharajani
2006 J jnl
A Sampling Method Focusing on Practicality.
IEEE Micro
Daniel Gracia Pérez, Hugues Berry, Olivier Temam
2005 J jnl
Chaos in computer performance
CoRR
Hugues Berry, Daniel Gracia Pérez, Olivier Temam
2004 A conf
A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling.
DATE
Daniel Gracia Pérez, Gilles Mouchard, Olivier Temam
2004 A* conf
MicroLib: A Case for the Quantitative Comparison of Micro-Architecture Mechanisms.
MICRO
Daniel Gracia Pérez, Gilles Mouchard, Olivier Temam