Scholar
Rolf Drechsler
Google Scholar ID: 9v_MAAIAAAAJ
Professor at University of Bremen, Director DFKI Bremen, Germany
algorithms
data structures
system design
verification
test
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
9,106
H-index
39
i10-index
265
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
6 items
Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing
2026
Cited
0
LLM-based Behaviour Driven Development for Hardware Design
2025
Cited
0
Revolution or Hype? Seeking the Limits of Large Models in Hardware Design
2025
Cited
0
Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
2025
Cited
0
Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
2025
Cited
0
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
2024
Cited
1
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up