Search for persons
X
?
Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems ,
1
Annotate once – analyze anywhere: context-aware WCET analys..:
, In:
?
2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
2
Proving Real-Time Capability of Generic Operating Systems b..:
, In:
?
Informatik aktuell; Echtzeit und Sicherheit ,
3
SWAN: Systemweite statische Laufzeitanalyse echtzeitfähiger..:
, In:
?
Kommunikationspolitik für die digitale Gesellschaft ,
5
Neutralität, Transparenz und Kompetenz: rechtliche Ansatzpu..:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops ,
6
Logically Sound Arguments for the Effectiveness of ML Safet..:
, In:
?
Lecture Notes in Computer Science; Computer Safety, Reliability, and Security ,
7
Formally Compensating Performance Limitations for Imprecise..:
, In:
?
2020 36th Semiconductor Thermal Measurement, Modeling & Management Symposium (SEMI-THERM) ,
8
Shape Optimization of a Pin Fin Heat Sink:
, In:
?
SIGGRAPH ASIA 2016 Technical Briefs ,
10
VPET : a toolset for collaborative virtual filmmaking:
, In:
?
Coastal Risk Management in a Changing Climate ,
11