Melanie Diepenbeck
Melanie Diepenbeck
Researcher, Bremen University
Bestätigte E-Mail-Adresse bei informatik.uni-bremen.de
Titel
Zitiert von
Zitiert von
Jahr
Completeness-driven development
R Drechsler, M Diepenbeck, D Große, U Kühne, HM Le, J Seiter, ...
International Conference on Graph Transformation, 38-50, 2012
252012
Behavior driven development for circuit design and verification
M Diepenbeck, M Soeken, D Große, R Drechsler
2012 IEEE International High Level Design Validation and Test Workshop …, 2012
222012
Behaviour driven development for tests and verification
M Diepenbeck, U Kühne, M Soeken, R Drechsler
International Conference on Tests and Proofs, 61-77, 2014
112014
iTac: aspect based sentiment analysis using sentiment trees and dictionaries
F Bornebusch, G Cancino, M Diepenbeck, R Drechsler, S Djomkam, ...
Proceedings of the 8th International Workshop on Semantic Evaluation …, 2014
92014
Towards automatic scenario generation from coverage information
M Diepenbeck, M Soeken, D Große, R Drechsler
Automation of Software Test (AST), 2013 8th International Workshop on, 82-88, 2013
72013
PASSAT 2.0: A multi-functional SAT-based testing framework
R Drechsler, M Diepenbeck, S Eggersglüß, R Wille
Test Workshop (LATW), 2013 14th Latin American, 1-1, 2013
62013
Towards increasing test compaction abilities of sAT-based aTPG through fault detection constraints
S Eggersglüß, M Diepenbeck, R Wille, R Drechsler
Workshop on RTL and High Level Testing, 2012
12012
ANALYSE D’UN PROBLÈME POSÉ PAR INTEL SGX: LA COMMUNICATION SÉCURISÉE ENTRE UNE ENCLAVE ET UN PÉRIPHÉRIQUE
F Lugou, L Apvrille
MISC Multi-System & Internet Cookbook, 74-82, 2018
2018
Behaviour Driven Development for Hardware Design
M Diepenbeck, U Kühne, M Soeken, D Grosse, R Drechsler
IPSJ Transactions on System LSI Design Methodology 11, 29-45, 2018
2018
Completing Behaviour Driven Development for Testing and Verification: Bringing Agile to Hardware Development
M Diepenbeck
Universität Bremen, 2015
2015
Hochoptimierter Ablauf zur Robustheitsprufung
S Frehse, F Haedicke, M Diepenbeck, G Fey, R Drechsler
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), 2011
2011
cucumber-verilog: Behavior Driven Development for Circuit Design and Verification
M Diepenbeck, M Soeken, U Kühne, R Drechsler
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12