» Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models
|
|
|
|
Author:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
3rd International KLEE Workshop on Symbolic Execution |
Reference:
|
| London, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
» Automated Testing of RIOT modules using SymEx-VP
|
|
|
|
Author:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
RIOT Summit |
Reference:
|
| Hamburg, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
Recording:
|
| [Link to the Recording]
|
» One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification
|
|
|
|
Author:
|
|
Rolf Drechsler, Alireza Mahzoon |
| Workshop: |
|
24th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI) |
Reference:
|
| Hirosaki, Japan, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
» Mapping Quantum Circuits to 2-D Quantum Architectures
|
|
|
|
Author:
|
|
Kamalika Datta, Abhoy Kole, Indranil Sengupta and Rolf Drechsler |
| Workshop: |
|
GI Quantum Computing Workshop 2022 (GI QC 22) |
Reference:
|
| Hamburg, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms
|
|
|
|
Author:
|
|
Marcel Merten, Mohammed E. Djeridane, Sebastian Huhn, Rolf Drechsler |
| Workshop: |
|
15th International Workshop on Boolean Problems (IWSBP) |
Reference:
|
| Bremen, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Towards System-level Assertions for Heterogeneous Systems
|
|
|
|
Author:
|
|
Muhammad Hassan, Thilo Voertler, Karsten Einwich, Rolf Drechsler,Daniel Grosse |
| Workshop: |
|
15th International Workshop on Boolean Problems (IWSBP) |
Reference:
|
| Bremen, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Feature Importance and Extensibility for
Predicting Loan Defaults in Marketplace
Lending using BiLSTM
|
|
|
|
Author:
|
|
Sana Hassan Imam, Sebastian Huhn, Lars Hornuf, Rolf Drechsler |
| Workshop: |
|
Frontiers of Factor Investing Conference (FoFi) |
Reference:
|
| Lancaster, UK, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
» Polynomial Formal Verification of Approximate Adders
|
|
|
|
Author:
|
|
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
|
| Workshop: |
|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
|
| Virtual Conference, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
» Polynomial Formal Verification of Complex Multipliers
|
|
|
|
Author:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Virtual, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
» Self-Explanation in Systems of Systems
|
|
|
|
Author:
|
|
Goerschwin Fey, Martin Fränzle and Rolf Drechsler |
| Workshop: |
|
Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES) |
Reference:
|
| Melbourne, Victoria, Australia (virtual event with a local hub)
|
Hyperlink:
|
| [Link to the Workshop]
|
» Simulation-based Verification of SystemC-based VPs at the ESL
|
|
|
|
Author:
|
|
Mehran Goli, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Virtual, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» RISC-V Processor Verification with Coverage-guided Aging
|
|
|
|
Author:
|
|
Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Virtual, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations
|
|
|
|
Author:
|
|
Muhammad Hassan and Rolf Drechsler
|
| Workshop: |
|
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bremerhaven, Germany, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods
|
|
|
|
Author:
|
|
Marcel Merten, Sebastian Huhn and Rolf Drechsler
|
| Workshop: |
|
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bremerhaven, Germany, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks
|
|
|
|
Author:
|
|
Payam Habiby, Sebastian Huhn and Rolf Drechsler
|
| Workshop: |
|
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bremerhaven, Germany, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes
|
|
|
|
Author:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
4th Workshop on RISC-V Activities |
Reference:
|
| Virtual, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» Polynomial Formal Verification of Prefix Adders
|
|
|
|
Author:
|
|
Alireza Mahzoon, Rolf Drechsler
|
| Workshop: |
|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
|
| Virtual Conference, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» Polynomial Formal Verification of Area-efficient and Fast Adders
|
|
|
|
Author:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Workshop: |
|
2021 Reed-Muller Workshop (RM2021) |
Reference:
|
| Nursultan, Kazakhstan, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
Recording:
|
| [Link to the Recording]
|
PDF:
|
| [click here]
|
» MicroRV32: An Open Source RISC-V Cross-Level Platform for Education and Research
|
|
|
|
Author:
|
|
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
Design Automation for CPS and IoT (DESTION) |
Reference:
|
| Nashville, USA, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools
|
|
|
|
Author:
|
|
Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| München, Germany, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
