» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Automated Technology for Verification and Analysis (ATVA) |
Referenz:
|
| Hanoi, Vietnam, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
|
|
|
|
Autor:
|
|
Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers
|
|
|
|
Autor:
|
|
Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials
|
|
|
|
Autor:
|
|
Rolf Drechsler, Sebastian Huhn, Christina Plump |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow
|
|
|
|
Autor:
|
|
Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Design Automation for Field-coupled Nanotechnologies
|
|
|
|
Autor:
|
|
Marcel Walter, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Automated Design Understanding of SystemC-based Virtual Prototypes: Data Extraction, Analysis and Visualization
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits
|
|
|
|
Autor:
|
|
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Towards Generation of a Programmable Power Management Unit at the Electronic System Level
|
|
|
|
Autor:
|
|
David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
|
| Novi Sad, Serbia, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)
|
|
|
|
Autor:
|
|
Hoang M. Le |
| Konferenz: |
|
International Conference on Fundamental Approaches to Software Engineering (FASE)
|
Referenz:
|
| Dublin, Ireland, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Impacts of Block-based Programming on Young Learners' Programming Skills and Attitudes in the Context of Smart Environments
|
|
|
|
Autor:
|
|
Mazyar Seraj, Rolf Drechsler |
| Konferenz: |
|
The 25th ACM annual conference on Innovation and Technology in Computer Science Education (ITiCSE) |
Referenz:
|
| Trondheim, Norway, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Efficient Machine Learning through Evolving Combined
Deep Neural Networks
|
|
|
|
Autor:
|
|
Rune Krauss, Marcel Merten, Mirco Bockholt, Saman Fröhlich, Rolf Drechsler |
| Konferenz: |
|
Genetic and Evolutionary Computation Conference (GECCO) |
Referenz:
|
| Electronic-only, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning
|
|
|
|
Autor:
|
|
Niklas Bruns, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
30th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Beijing, China, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler |
| Konferenz: |
|
30th ACM Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
|
| Beijing, China, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Verification for Field-coupled Nanocomputing Circuits
|
|
|
|
Autor:
|
|
Marcel Walter,
Robert Wille,
Frank Sill Torres,
Daniel Große,
Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm
|
|
|
|
Autor:
|
|
Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
50th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Miyazaki, Japan, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
» ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks
|
|
|
|
Autor:
|
|
Saman Fröhlich,
Lucas Klemmer,
Daniel Große,
Rolf Drechsler |
| Konferenz: |
|
50th International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
|
| Miyazaki, Japan, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars
|
|
|
|
Autor:
|
|
Saman Fröhlich,
Saeideh Shirinzadeh,
Rolf Drechsler |
| Konferenz: |
|
IEEE International Symposium on Circuits & Systems (ISCAS) |
Referenz:
|
| Sevilla, Spain, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
