Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Konferenzen

Sortieren nach: [ Titel ] [ Autor ] [ Konferenz ] [ Referenz ]
Suche nach:




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




Autor:

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

Bremen, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Verifying Next Generation Electronic Systems




Autor:

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

Dubai, United Arab Emirates, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Lightweight Satisfiability Solvers for Self-Verification




Autor:

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

Durgapur, Indien, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]



» Improved Synthesis of Clifford+T Quantum Functionality




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]



» Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Fully Automated TLM-to-RTL Property Refinement




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Testbench Qualification for SystemC-AMS Timed Data Flow Models




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Funchal, Portugal, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Pune, Indien, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Hawaii, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Approximation-aware Testing for Approximate Circuits




Autor:

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

Jeju, Korea, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Boston Area, Massachusetts, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Taipei, Taiwan, 2017
Hyperlink:

[Link zur Konferenz]



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




Autor:

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

Vienna, Austria, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Cambridge, UK, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Cambridge, UK, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt