Daniel Gracia Pérez

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 15

Top Topics

Oriented Programming

Amazon Mechanical Turk

Formal Verification

Safety Critical

Top Venues

J. Syst. Archit.

Publications

Sébastien Pillement, Maria Mendez Real, J. Pottier, T. Nieddu, B. Le Gal, Sébastien Faucou, Jean-Luc Béchennec, Mikaël Briday, Sylvain Girbal, Jimmy Le Rhun, Olivier Gilles, Daniel Gracia Pérez, A. Sintzoff, J. R. Coulon
Securing a RISC-V architecture: A dynamic approach. DATE (2023)
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
Towards Formal Verification of a TPM Software Stack. iFM (2023)
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
Towards Formal Verification of a TPM Software Stack. CoRR (2023)
Loïc Buckwell, Olivier Gilles, Daniel Gracia Pérez, Nikolai Kosmatov
Execution at RISC: Stealth JOP Attacks on RISC-V Applications. CoRR (2023)
Olivier Gilles, Daniel Gracia Pérez, P.-A. Brameret, V. Lacroix
Securing IIoT communications using OPC UA PubSub and Trusted Platform Modules. J. Syst. Archit. 134 (2023)
Loïc Buckwell, Olivier Gilles, Daniel Gracia Pérez, Nikolai Kosmatov
Execution at RISC: Stealth JOP Attacks on RISC-V Applications. ESORICS Workshops (2) (2023)
Olivier Gilles, David Faura, Daniel Gracia Pérez
Securing Communication in the Field: Protecting Geo-distributed Computing in an Untrusted Environment. C&ESAR (2023)
Olivier Gilles, Franck Viguier, Nikolai Kosmatov, Daniel Gracia Pérez
Control-Flow Integrity at RISC: Attacking RISC-V by Jump-Oriented Programming. CoRR (2022)
Jimmy Le Rhun, Sylvain Girbal, Daniel Gracia Pérez
Open Source Hardware: An Opportunity For Critical Systems. DSN Workshops (2020)
Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Pérez
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS (2019)
Ali Syed, Daniel Gracia Pérez, Gerhard Fohler
Job-shifting: An algorithm for online admission of non-preemptive aperiodic tasks in safety critical systems. J. Syst. Archit. (2018)
Cláudio Maia, Geoffrey Nelissen, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
Schedulability analysis for global fixed-priority scheduling of the 3-phase task model. RTCSA (2017)
Ali Syed, Gerhard Fohler, Daniel Gracia Pérez
Online admission of non-preemptive aperiodic mixed-critical tasks in hierarchic schedules. RTCSA (2017)
Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère, Daniel Gracia Pérez
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. MoDELS (2017)
Cláudio Maia, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez
A closer look into the AER Model. ETFA (2016)
Angeliki Kritikakou, Christine Rochange, Madeleine Faugère, Claire Pagetti, Matthieu Roy, Sylvain Girbal, Daniel Gracia Pérez
Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. RTNS (2014)
Taj Muhammad Khan, Daniel Gracia Pérez, Olivier Temam
Transparent sampling. ICSAMOS (2010)
David I. August, Jonathan Chang, Sylvain Girbal, Daniel Gracia Pérez, Gilles Mouchard, David A. Penry, Olivier Temam, Neil Vachharajani
UNISIM: An Open Simulation Environment and Library for Complex Architecture Design and Collaborative Development. IEEE Comput. Archit. Lett. 6 (2) (2007)
Daniel Gracia Pérez, Hugues Berry, Olivier Temam
A Sampling Method Focusing on Practicality. IEEE Micro 26 (6) (2006)
Hugues Berry, Daniel Gracia Pérez, Olivier Temam
Chaos in computer performance CoRR (2005)
Daniel Gracia Pérez, Gilles Mouchard, Olivier Temam
MicroLib: A Case for the Quantitative Comparison of Micro-Architecture Mechanisms. MICRO (2004)
Daniel Gracia Pérez, Gilles Mouchard, Olivier Temam
A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling. DATE (2004)