|
Home « Team « Publications
» Publications of
Melanie Diepenbeck
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Completeness-Driven Development
|
|
|
|
Author:
|
|
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille |
| Conference: |
|
International Conference on Graph Transformation |
Reference:
|
| pp. 38-50, Bremen, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Hochoptimierter Ablauf zur Robustheitsprüfung
|
|
|
|
Author:
|
|
Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler |
| Conference: |
|
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE) |
Reference:
|
| Hamburg-Harburg, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Towards Automatic Scenario Generation from Coverage Information
|
|
|
|
Author:
|
|
Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler |
| Workshop: |
|
8th International Workshop on Automation of Software Test (AST) |
Reference:
|
| pp. 82-88, San Francisco, 2013
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Towards Increasing Test Compaction Abilities of SAT-based ATPG through Fault Detection Constraints
|
|
|
|
Author:
|
|
Stephan Eggersglüß, Melanie Diepenbeck, Robert Wille, Rolf Drechsler |
| Workshop: |
|
IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12) |
Reference:
|
| Niigata, Japan, 2012
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Behavior Driven Development for Circuit Design and Verification
|
|
|
|
Author:
|
|
Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler |
| Workshop: |
|
IEEE International Workshop on High-Level Design Validation and Test (HLDVT) |
Reference:
|
| Huntington Beach, USA, 2012
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
