Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Software
Service
Contact




Home « Team « Publications
» Publications of Tino Flenker



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects




Author:

Tino Flenker, Jan Malburg, Goerschwin Fey, Serhiy Avramenko, Massimo Violante and Matteo Sonza Reorda
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Bochum, Germany, 2017
Hyperlink:

[To the Site of this Conference]



» Mapping Abstract and Concrete Hardware Models for Design Understanding




Author:

Tino Flenker, Görschwin Fey
Conference:
IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Dresden, Germany, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Property mining using dynamic dependency graphs




Author:

Jan Malburg, Tino Flenker, Goerschwin Fey
Conference:
22nd Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Chiba/Tokyo, Japan, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Diagnostic Tests and Diagnosis for Delay Faults using Path Segmentation




Author:

Tino Flenker, André Sülflow, Görschwin Fey
Conference:
24th IEEE Asian Test Symposium (ATS)
Reference:

Mumbai, India, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Generating good properties from a small number of use cases




Author:

Jan Malburg, Tino Flenker, Görschwin Fey
Workshop:
International Verification and Security Workshop (IVSW'16)
Reference:

Sant Feliu de Guixols, Catalunya, Spain, 2016
Hyperlink:

[Link to the Workshop]



» Matching Abstract and Concrete Hardware Models for Design Understanding




Author:

Tino Flenker, Görschwin Fey
Workshop:
DATE Friday Workshop: Design Automation for Understanding Hardware Designs (DUHDE)
Reference:

Dresden, Germany, 2016
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Add to Favorites
Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE