Общедоступные статьи - Daniel Gracia PérezПодробнее...
1 статья недоступна нигде
Non-functional requirements in the ELASTIC architecture
L Nogueira, A Barros, C Zubia, D Faura, D Gracia Pérez, L Miguel Pinho
ACM SIGAda Ada Letters 40 (1), 85-90, 2020
Финансирование: European Commission
10 статей доступны в некоторых источниках
A Closer Look into the AER Model
C Maia, L Nogueira, LM Pinho, D Gracia Pérez
21st IEEE International Conference on Emerging Technologies & Factory Automation, 2016
Финансирование: Fundação para a Ciência e a Tecnologia, Portugal
Schedulability Analysis for Global Fixed-Priority Scheduling of the 3-Phase Task Model
C Maia, G Nelissen, L Nogueira, LM Pinho, D Gracia Pérez
23rd IEEE International Conference on Embedded and Real-Time Computing …, 2017
Финансирование: Fundação para a Ciência e a Tecnologia, Portugal
Hypervisor-based Multicore Feedback Control of Mixed-Criticality Systems
A Crespo, P Balbastre, J Simó, J Coronel, D Gracia Pérez, P Bonnot
IEEE Access 6, 50627-50640, 2018
Финансирование: European Commission, Government of Spain
Securing IIoT communications using OPC UA PubSub and Trusted Platform Modules
O Gilles, D Gracia Pérez, PA Brameret, V Lacroix
Journal of Systems Architecture, 102797, 2022
Финансирование: European Commission
Towards Formal Verification of a TPM Software Stack
Y Ziani, N Kosmatov, F Loulergue, D Gracia Pérez, T Bernier
arXiv preprint arXiv:2307.16821, 2023
Финансирование: Agence Nationale de la Recherche
Execution at RISC: Stealth JOP Attacks on RISC-V Applications
L Buckwell, O Gilles, D Gracia Pérez, N Kosmatov
arXiv preprint arXiv:2307.12648, 2023
Финансирование: Agence Nationale de la Recherche
Securing a RISC-V architecture: A dynamic approach
S Pillement, M Mendez Real, J Pottier, T Nieddu, S Faucou, ...
DATE Conference 2023, 2023
Финансирование: Agence Nationale de la Recherche
Open Source Hardware: An Opportunity For Critical Systems
J Le Rhun, S Girbal, D Gracia Pérez
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems …, 2020
Финансирование: European Commission
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
Y Ziani, N Kosmatov, F Loulergue, D Gracia Pérez
18th International Conference on Tests and Proofs (TAP), 2024
Финансирование: Agence Nationale de la Recherche
Call Rewinding: Efficient Backward Edge Protection
T Biton, O Gilles, D Gracia Pérez, N Kosmatov, S Pillement
IACR Transactions on Cryptographic Hardware and Embedded Systems 2025 (1 …, 2024
Финансирование: Agence Nationale de la Recherche
Информация о публикациях и финансировании собрана автоматически.