» Domain-driven correlation-aware recombination and mutation operators for complex real-world applications
|
|
|
|
Autor:
|
|
Christina Plump, Bernhard J. Berger, Rolf Drechsler |
| Konferenz: |
|
IEEE Congress on Evolutionary Computation (CEC) |
Referenz:
|
| Kraków, Poland, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Improving evolutionary algorithms by enhancing an approximative fitness function through prediction intervals
|
|
|
|
Autor:
|
|
Christina Plump, Bernhard J. Berger, Rolf Drechsler |
| Konferenz: |
|
IEEE Congress on Evolutionary Computation (CEC) |
Referenz:
|
| Krakow, Poland, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» PolyAdd: Polynomial Formal Verification of Adder Circuits
|
|
|
|
Autor:
|
|
Rolf Drechsler |
| Konferenz: |
|
24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
|
| Vienna, Austria, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Late Breaking Results: Polynomial Formal Verification of Fast Adders
|
|
|
|
Autor:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
Design Automation Conference (DAC) |
Referenz:
|
| San Francisco, USA, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding
|
|
|
|
Autor:
|
|
Lucas Klemmer,
Saman Fröhlich,
Rolf Drechsler,
Daniel Große |
| Konferenz: |
|
IEEE International Symposium on Circuits & Systems (ISCAS) |
Referenz:
|
| Daegu, Korea, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Performance Aspects of Correctness-oriented Synthesis Flows
|
|
|
|
Autor:
|
|
Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler |
| Konferenz: |
|
Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD) |
Referenz:
|
| 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Vertical IP Protection of the Next-Generation Devices: Quo Vadis?
|
|
|
|
Autor:
|
|
Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Sisejkovic, Ramesh Karri, Rolf Drechsler, Farhad Merchant, Akash Kumar |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Nano Security: From Nano-Electronics to Secure Systems
|
|
|
|
Autor:
|
|
Ilia Polian, Frank Altmann, Tolga Arul, Christian Boit, Ralf Brederlow, Lucas Davi, Rolf Drechsler, Nan Du, Thomas Eisenbarth, Tim Güneysu, Sascha Hermann, Matthias Hiller, Rainer Leupers, Farhad Merchant, Thomas Mussenbrock, Stefan Katzenbeisser, Akash Kumar, Wolfgang Kunz,
Thomas Mikolajick, Vivek Pachauri, Jean-Pierre Seifert, Frank Sill Torres, Jens Trommer |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Combining SWAPs and Remote Toffoli Gates
in the Mapping to IBM QX Architectures
|
|
|
|
Autor:
|
|
Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization
|
|
|
|
Autor:
|
|
Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» System Level verification of Phase-Locked Loop using Metamorphic Relations
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
26th Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» One-pass Synthesis for Field-coupled Nanocomputing Technologies
|
|
|
|
Autor:
|
|
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
Best Paper Candidate
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Mutation-based Compliance Testing for RISC-V
|
|
|
|
Autor:
|
|
Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Clustering-Guided SMT(LRA) Learning
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Conference on integrated Formal Methods (iFM) |
Referenz:
|
| Lugano, Switzerland, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler |
| Konferenz: |
|
38th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Hartford, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique
|
|
|
|
Autor:
|
|
Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
38th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Hartford, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
