Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen auf einen Blick
Übersicht der AGRA-Publikationen
  1. Bücher

  2. Buchbeiträge

  3. Zeitschriften

  4. Konferenzen

  5. Workshops



Sehen Sie zur Übersicht die jüngsten 3 Publikationen...
  1. Bücher

    • Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017
      Autor: Daniel Große, Sara Vinco, Hiren Patel (Eds.)
    • Design Automation Techniques for Approximation Circuits
      Autor: Arun Chandrasekharan, Daniel Große, Rolf Drechsler
    • Exact Design of Digital Microfluidic Biochips
      Autor: Oliver Keszöcze, Robert Wille, Rolf Drechsler
  2. Buchbeiträge

    • Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
    • Computational Complexity of Error Metrics in Approximate Computing
      Autor: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
    • On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
      Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
  3. Zeitschriften

    • Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
      Autor: Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
    • Automated Non-intrusive Analysis of Electronic System Level Designs
      Autor: Mehran Goli, Jannis Stoppe, Rolf Drechsler
    • Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
      Autor: Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
  4. Konferenzen

    • Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing
      Autor: Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler
    • Data Flow Testing for SystemC-AMS Timed Data Flow Models
      Autor: Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler
    • Verifying Instruction Set Simulators using Coverage-guided Fuzzing
      Autor: Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
  5. Workshops

    • Optimizing Ts in the Synthesis of Clifford+T Quantum Circuits
      Autor: Philipp Niemann, Robert Wille, Rolf Drechsler
    • Improving SAT solving using Monte Carlo Tree Search-based Clause Learning
      Autor: Oliver Keszöcze, Kenneth Schmitz, Jens Schloeter, Rolf Drechsler
    • ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
      Autor: Kenneth Schmitz, Oliver Keszöcze, Jil Tietjen and Rolf Drechsler

Wussten Sie, dass wir einen regelmäßigen Newsletter versenden? Melden Sie sich gerne an, wenn Sie alle Themen rund um die Arbeitsgruppen interessiert. Auch interessant könnte für Sie der @agra_uni_bremen oder @Rolf_Drechsler -Account bei twitter sein!
Wir freuen uns über Ihren Besuch!



















Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt