Homepage Sitemap Contact




Home « Publications « Conferences

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





» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Automated Technology for Verification and Analysis (ATVA)
Reference:

Hanoi, Vietnam, 2020
Hyperlink:

[Link to the Conference]



» ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing




Author:

Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Portorož, Slowenien, 2020
Hyperlink:

[Link to the Conference]



» Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers




Author:

Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Portorož, Slowenien, 2020
Hyperlink:

[Link to the Conference]



» Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials




Author:

Rolf Drechsler, Sebastian Huhn, Christina Plump
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Portorož, Slowenien, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow




Author:

Vladimir Herdt, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Design Automation for Field-coupled Nanotechnologies




Author:

Marcel Walter, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Automated Design Understanding of SystemC-based Virtual Prototypes: Data Extraction, Analysis and Visualization




Author:

Mehran Goli, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[Link to the Conference]



» Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits




Author:

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Generation of a Programmable Power Management Unit at the Electronic System Level




Author:

David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler
Conference:
23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Novi Sad, Serbia, 2020
Hyperlink:

[Link to the Conference]



» LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)




Author:

Hoang M. Le
Conference:
International Conference on Fundamental Approaches to Software Engineering (FASE)
Reference:

Dublin, Ireland, 2020
Hyperlink:

[Link to the Conference]



» Impacts of Block-based Programming on Young Learners' Programming Skills and Attitudes in the Context of Smart Environments




Author:

Mazyar Seraj, Rolf Drechsler
Conference:
The 25th ACM annual conference on Innovation and Technology in Computer Science Education (ITiCSE)
Reference:

Trondheim, Norway, 2020
Hyperlink:

[Link to the Conference]



» Efficient Machine Learning through Evolving Combined Deep Neural Networks




Author:

Rune Krauss, Marcel Merten, Mirco Bockholt, Saman Fröhlich, Rolf Drechsler
Conference:
Genetic and Evolutionary Computation Conference (GECCO)
Reference:

Electronic-only, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning




Author:

Niklas Bruns, Daniel Große, Rolf Drechsler
Conference:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Beijing, China, 2020
Hyperlink:

[Link to the Conference]



» Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes




Author:

Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler
Conference:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Beijing, China, 2020
Hyperlink:

[Link to the Conference]



» Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes




Author:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Verification for Field-coupled Nanocomputing Circuits




Author:

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm




Author:

Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Conference:
50th International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Miyazaki, Japan, 2020
Hyperlink:

[Link to the Conference]



» ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks




Author:

Saman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler
Conference:
50th International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Miyazaki, Japan, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars




Author:

Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Conference:
IEEE International Symposium on Circuits & Systems (ISCAS)
Reference:

Sevilla, Spain, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE