Search for persons
X
?
Proceedings of the Second International Workshop on Automation of Software Test ,
10
Automated Generation of Test Cases Using Model-Driven Archi..:
, In:
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
11
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal ..:
, In:
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1 ,
12
Formal Mechanised Semantics of CHERI C: Capabilities, Undef..:
, In:
?
27th International Conference on Electricity Distribution (CIRED 2023) ,
13
New interharmonic subgroup concept for quantifying and limi..:
, In:
?
Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture ,
14
CHERIoT: Complete Memory Safety for Embedded Devices:
, In:
?
2023 IEEE 41st International Conference on Computer Design (ICCD) ,
15