Pérez, Daniel Gracia
1599  Ergebnisse:
Personensuche X
?
1

Execution at RISC: Stealth JOP Attacks on RISC-V Applicatio..:

, In: Computer Security. ESORICS 2023 International Workshops; Lecture Notes in Computer Science,
 
?
3

Open Source Hardware: An Opportunity For Critical Systems:

, In: 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),
 
?
5

DREAMS toolchain : model-driven engineering of mixed-cri..:

, In: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems,
Barner, Simon ; Diewald, Alexander ; Migge, Jörn... - p. 259-269 , 2017
 
?
6

Distributed run-time WCET controller for concurrent critica..:

, In: Proceedings of the 22nd International Conference on Real-Time Networks and Systems,
 
?
9

A New Optimized Implemention of the SystemC Engine Using Ac..:

, In: Proceedings of the conference on Design, automation and test in Europe - Volume 1,
 
?
10

MicroLib : A Case for the Quantitative Comparison of Mic..:

, In: Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture,
 
?
11

Towards Formal Verification of a TPM Software Stack:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
 
?
12

Movilidad climática en el Marco de Sendai para la reducción..:

Gracia Pérez, Daniel
Revista Catalana de Dret Ambiental.  14 (2023)  1 - p. , 2023
 
1-15