Personensuche
X
?
Proceedings of the 10th Hydrogen Technology Convention, Volume 1; Springer Proceedings in Physics ,
1
An Optimal Energy Management Strategy for a Hybrid Train:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
2
ModuleGuard: Understanding and Detecting Module Conflicts i..:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
3
Demystifying Compiler Unstable Feature Usage and Impacts in..:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
4
Demystifying Compiler Unstable Feature Usage and Impacts in..:
, In:
?
2023 IEEE Symposium on Security and Privacy (SP) ,
5
When Top-down Meets Bottom-up: Detecting and Exploiting Use..:
, In:
?
2023 IEEE International Conference on Web Services (ICWS) ,
6
VeriReach: A Formally Verified Algorithm for Reachability A..:
, In:
?
Applied Higher Education Yearbook 2019 ,
7
An Investigation of the Teaching Paradigm from the Perspect..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
8
TxPhishScope: Towards Detecting and Understanding Transacti..:
, In:
?
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
9
VDom: Fast and Unlimited Virtual Domains on Multiple Archit..:
, In:
?
2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) ,
10
Lark: Verified Cross-Domain Access Control for Trusted Exec..:
, In:
?
Proceedings of the 59th ACM/IEEE Design Automation Conference ,
11
RegVault : hardware assisted selective data randomizatio..:
, In:
?
Proceedings of the 13th Asia-Pacific Symposium on Internetware ,
12
Is your access allowed or not? A Verified Tag-based Access ..:
, In:
?
2022 IEEE 20th International Power Electronics and Motion Control Conference (PEMC) ,
13
Sensor Fault Diagnosis Based on Wavelet Analysis and LSTM N..:
, In:
?
Proceedings of the 13th Asia-Pacific Symposium on Internetware ,
14
CaDeCFF: Compiler-Agnostic Deobfuscator of Control Flow Fla..:
, In:
?
Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems ,
15