Homepage Sitemap Contact




Home « Publications « Workshops

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





» 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]



older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE