Scholar

Rolf Drechsler

Google Scholar ID: 9v_MAAIAAAAJ

Professor at University of Bremen, Director DFKI Bremen, Germany

algorithmsdata structuressystem designverificationtest

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)