Tim Leinmueller
Papers
1
Total Citations
5
H-Index
1
About
No biography available yet.
Research Focus
Computer hardware1 · 5 citations
Computer science1 · 5 citations
Computer security1 · 5 citations
Embedded system1 · 5 citations
Formal verification1 · 5 citations
Information security1 · 5 citations
Instruction set1 · 5 citations
Microarchitecture1 · 5 citations
Model checking1 · 5 citations
Processor design1 · 5 citations
Programming language1 · 5 citations
Reduced instruction set computing1 · 5 citations
Key Achievements
1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of Security Properties on RISC-V Processors
5 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Denso (Germany)
Top Papers
- 1Formal Verification of Security Properties on RISC-V Processors5 citations · 2023
Key Collaborators
Not generated yet