Personensuche
X
?
Proceedings of the 31st International Conference on Real-Time Networks and Systems ,
2
WCET analysis with procedure arguments as parameters:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
4
Static Analysis of Binary Code with Memory Indirections Usi..:
, In:
?
Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems ,
8