HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dr. Melanie Diepenbeck


Meine Forschungsschwerpunkte liegen im Bereich der (formalen) Verifikation für den Electronic System Level (ESL) Entwurf. Dabei geht es insbesondere um Systembeschreibungen und deren Korrektheit auf hoher Abstraktionsebene.

WiMi

Behaviour Driven Development for Hardware Design
Autor: Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler
Zeitschrift: IPSJ Transactions on System LSI Design Methodology
Details: DOI: 10.2197/ipsjtsldm.11.29, Vol. 11, pp. 29-45, PDF Download (2018)

Behaviour Driven Development for Tests and Verification
Autor: Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
Konferenz: 8th International Conference on Tests & Proofs (TAP)
Pdf | Referenz: pp. 61-77, York, 2014

Completeness-Driven Development
Autor: Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille
Konferenz: International Conference on Graph Transformation
Pdf | Referenz: pp. 38-50, Bremen, 2012

Hochoptimierter Ablauf zur Robustheitsprüfung
Autor: Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler
Konferenz: GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE)
Pdf | Referenz: Hamburg-Harburg, 2011

Towards Automatic Scenario Generation from Coverage Information
Autor: Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler
Workshop: 8th International Workshop on Automation of Software Test (AST)
Pdf | Referenz: pp. 82-88, San Francisco, 2013

Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints
Autor: Stephan Eggersglüß, Melanie Diepenbeck, Robert Wille, Rolf Drechsler
Workshop: IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)
Pdf | Referenz: Niigata, Japan, 2012

Behavior Driven Development for Circuit Design and Verification
Autor: Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler
Workshop: IEEE International Workshop on High-Level Design Validation and Test (HLDVT)
Pdf | Referenz: pp. 9-16, Huntington Beach, USA, 2012

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz