4
Publications
50
Citations
4
H-Index
2018
Active since
Affiliations
Alexander Hück is an author at Technical University of Darmstadt specializing in formal methods, hardware security, and system software.
Top concepts
CompilersEngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2018–2022
4
4
PIRA: performance instrumentation refinement automation
Jan-Patrick Lehr, Alexander Hück, Christian Bischof · 2018 · 13 citations
Towards a Hybrid MPI Correctness Benchmark Suite
Tim Jammer, Alexander Hück, Jan-Patrick Lehr et al. · 2022 · 12 citations · Full text
MetaCG: annotated call-graphs to facilitate whole-program analysis
Jan-Patrick Lehr, Alexander Hück, Yannic Fischler et al. · 2020 · 10 citations
Rows per page
1–4 of 4