Homepage Sitemap Contact




Home « Publications « Conferences

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





» Building Fast Multi-Agent Systems using Hardware Design Languages for High-Throughput Systems




Author:

Jannis Stoppe, Christina Plump, Sebastian Huhn, Rolf Drechsler
Conference:
6th International Conference on Dynamics in Logistics (LDIC)
Reference:

Bremen, Germany, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Verifying Next Generation Electronic Systems




Author:

Rolf Drechsler, Daniel Große
Conference:
International Conference on Infocom Technologies and Unmanned Systems (ICTUS)
Reference:

Dubai, United Arab Emirates, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Lightweight Satisfiability Solvers for Self-Verification




Author:

Fritjof Bornebusch, Robert Wille, Rolf Drechsler
Conference:
7th International Symposium on Embedded Computing and System Design (ISED)
Reference:

Durgapur, Indien, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Confident Leakage Assessment - A Side-Channel Evaluation Framework based on Confidence Intervals




Author:

Florian Bache, Christina Plump, Tim Güneysu
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]



» Improved Synthesis of Clifford+T Quantum Functionality




Author:

Philipp Niemann, Robert Wille, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]



» Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code




Author:

Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Fully Automated TLM-to-RTL Property Refinement




Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Testbench Qualification for SystemC-AMS Timed Data Flow Models




Author:

Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Approximate Hardware Generation using Symbolic Computer Algebra employing Gröbner Basis




Author:

Saman Fröhlich, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» An Exact Method for Design Exploration of Quantum-dot Cellular Automata




Author:

Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Dresden, Germany, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Analyzing Frame Conditions in UML/OCL Models: Consistency, Equivalence, and Independence




Author:

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
Conference:
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Reference:

Funchal, Portugal, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips




Author:

Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
Conference:
International Conference on VLSI Design (VLSID)
Reference:

Pune, Indien, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Revealing Properties of Structural Materials by Combining Regression-based Algorithms and Nano Indentation Measurements




Author:

Sebastian Huhn, Heike Sonnenberg, Stephan Eggersglüß, Brigitte Clausen, Rolf Drechsler
Conference:
10th IEEE Symposium Series on Computational Intelligence (SSCI)
Reference:

Hawaii, USA, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Approximation-aware Testing for Approximate Circuits




Author:

Arun Chandrasekharan, Stephan Eggersglüß, Daniel Große, Rolf Drechsler
Conference:
23rd Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Jeju, Korea, 2018
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata




Author:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Conference:
35th IEEE International Conference on Computer Design (ICCD)
Reference:

Boston Area, Massachusetts, USA, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Identification of Efficient Clustering Techniques for Test Power Activity on the Layout




Author:

Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler
Conference:
26th IEEE Asian Test Symposium (ATS)
Reference:

Taipei, Taiwan, 2017
Hyperlink:

[Link to the Conference]



» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models




Author:

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
Conference:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Reference:

Vienna, Austria, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Yise - A novel Framework for Boolean Networks using Y-Inverter Graphs




Author:

Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Conference:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Reference:

pp. 114-117, Vienna, Austria, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Reconfigurable TAP Controllers with Embedded Compression for Large Test Data Volume




Author:

Sebastian Huhn, Stephan Eggersglüß, Rolf Drechsler
Conference:
30th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Reference:

Cambridge, UK, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Machine Learning Based Test Pattern Analysis for Localizing Critical Power Activity Areas




Author:

Harshad Dhotre, Stephan Eggersglüß, Mehdi Dehbashi, Ulrike Pfannkuchen, Rolf Drechsler
Conference:
30th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Reference:

Cambridge, UK, 2017
Hyperlink:

[Link to the Conference]
PDF:

[click here]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE