Homepage Sitemap Contact




Home « Publications « Workshops

sort: [ Title ] [ Author ] [ Workshop ] [ Reference ]
search:





» A Lightweight Method for Transient Test Power Pattern Analysis for Pattern Selection




Author:

Harshad Dhotre, Stephan Eggersglüß
Workshop:
29. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2017)
Reference:

Lübeck, Germany, 2017
Hyperlink:

[Link to the Workshop]



» Making Waveforms Great Again




Author:

Jannis Stoppe and Rolf Drechsler
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» A Human-Centered Approach to Routing for Digital Microfluidic Biochips




Author:

Oliver Keszöcze, Andre Pols and Rolf Drechsler
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Verilog2GEXF - Dynamic Large Scale Circuit Visualization




Author:

Kenneth Schmitz, Jannis Stoppe, Rolf Drechsler
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Computing Exact Fault Candidates Incrementally




Author:

Heinz Riener, Görschwin Fey
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Mining Latency Guarantees for RT-level Designs




Author:

Jan Malburg, Heinz Riener, Görschwin Fey
Workshop:
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Revisiting Symbolic Software-implemented Fault Injection




Author:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Workshop:
2nd International Workshop on Resiliency in Embedded Electronic Systems (REES)
Reference:

Lausanne, Switzerland, 2017
Hyperlink:

[Link to the Workshop]



» Der Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips




Author:

Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Bremen, Germany, 2017
Hyperlink:

[Link to the Workshop]



» Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing




Author:

Saman Fröhlich, Daniel Große, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Bremen, Germany, 2017
Hyperlink:

[Link to the Workshop]



» Counterexample-Guided EF Synthesis of Boolean Functions




Author:

Heinz Riener, Rüdiger Ehlers, Görschwin Fey
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

Bremen, Germany, 2017
Hyperlink:

[Link to the Workshop]



» Using Lightweight Containers in Hardware/Software Co-Design for Security




Author:

Daniel Große, Kenneth Schmitz, Rolf Drechsler
Workshop:
Workshop on Computer-Aided Design and Implementation for Cryptography and Security (CADICS)
Reference:

Austin, USA, 2016
Hyperlink:

[Link to the Workshop]



» Integrating an SMT-based Model Finder into USE




Author:

Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
Workshop:
Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa)
Reference:

Saint-Malo, France, 2016
Hyperlink:

[Link to the Workshop]



» On the computational complexity of error metrics in approximate computing




Author:

Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Workshop:
International Workshop on Boolean Problems
Reference:

Freiberg, Germany, 2016
Hyperlink:

[Link to the Workshop]



» SystemCDG - AI Based Coverage Driven Stimuli Generation for SystemC




Author:

Jannis Stoppe, Arved Friedemann, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Reference:

Austin, TX, USA, 2016
Hyperlink:

[Link to the Workshop]



» Counterexample-Guided Diagnosis




Author:

Heinz Riener, Görschwin Fey
Workshop:
International Verification and Security Workshop (IVSW'16)
Reference:

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

[Link to the Workshop]
PDF:

[click here]



» 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]



» SMT-Based CPS Parameter Synthesis




Author:

Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem
Workshop:
Applied Verification for Continuous and Hybrid Systems (ARCH'16)
Reference:

Vienna, Austria, 2016
Hyperlink:

[Link to the Workshop]
PDF:

[click here]



» Extraktion von Frame Conditions aus Operation Contracts




Author:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Workshop:
Software Engineering (SE)
Reference:

Vienna, Austria, 2016
Hyperlink:

[Link to the Workshop]



» Synthesis of Optical Circuits with Contradictory Optimization Objectives




Author:

Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler
Workshop:
The 2nd International Workshop on Optical/Photonic Interconnects for Computing Systems (OPTICS Workshop)
Reference:

Dresden, Germany, 2016
Hyperlink:

[Link to the Workshop]



» Change Management for Hardware Designers




Author:

Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler
Workshop:
Workshop on Design Automation for Understanding Hardware Designs (DUHDE)
Reference:

Dresden, Germany, 2016
Hyperlink:

[Link to the Workshop]



older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE