» 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]
|
» 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]
|
» 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]
|
» 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]
|
» 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]
|
» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Referenz:
|
| Rhodes, Greece, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Power-aware Test Scheduling for IEEE 1687 Networks with Multiple Power Domains
|
|
|
|
Autor:
|
|
Payam Habiby, Sebastian Huhn, Rolf Drechsler |
| Konferenz: |
|
33rd IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Frascati (Rome), Italy, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler |
| Konferenz: |
|
Forum on Specification & Design Languages (FDL) |
Referenz:
|
| Kiel, Germany, 2020
Best Paper Award
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» 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]
|
PDF:
|
| [hier ansehen]
|
» 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]
|
PDF:
|
| [hier ansehen]
|
