Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Workshops

Sortieren nach: [ Titel ] [ Autor ] [ Workshopname ] [ Referenz ]
Suche nach:





» How Secure Is A Circuit Against Optical Probing? Developed Countermeasures, In Progress Countermeasures Development, and the Future Works




Autor:

Sajjad Parvin, Frank Sill Torres and Rolf Drechsler
Workshop:
11th International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers (CrossFyre)
Referenz:

Passau, Germany, 2022
Hyperlink:

[Link zum Workshop]



» Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models




Autor:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Workshop:
3rd International KLEE Workshop on Symbolic Execution
Referenz:

London, 2022
Hyperlink:

[Link zum Workshop]



» Automated Testing of RIOT modules using SymEx-VP




Autor:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Workshop:
RIOT Summit
Referenz:

Hamburg, 2022
Hyperlink:

[Link zum Workshop]
Vortrag:

[Link Vortragsvideo]



» One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification




Autor:

Rolf Drechsler, Alireza Mahzoon
Workshop:
24th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI)
Referenz:

Hirosaki, Japan, 2022
Hyperlink:

[Link zum Workshop]



» Mapping Quantum Circuits to 2-D Quantum Architectures




Autor:

Kamalika Datta, Abhoy Kole, Indranil Sengupta and Rolf Drechsler
Workshop:
GI Quantum Computing Workshop 2022 (GI QC 22)
Referenz:

Hamburg, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms




Autor:

Marcel Merten, Mohammed E. Djeridane, Sebastian Huhn, Rolf Drechsler
Workshop:
15th International Workshop on Boolean Problems (IWSBP)
Referenz:

Bremen, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Towards System-level Assertions for Heterogeneous Systems




Autor:

Muhammad Hassan, Thilo Voertler, Karsten Einwich, Rolf Drechsler,Daniel Grosse
Workshop:
15th International Workshop on Boolean Problems (IWSBP)
Referenz:

Bremen, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Feature Importance and Extensibility for Predicting Loan Defaults in Marketplace Lending using BiLSTM




Autor:

Sana Hassan Imam, Sebastian Huhn, Lars Hornuf, Rolf Drechsler
Workshop:
Frontiers of Factor Investing Conference (FoFi)
Referenz:

Lancaster, UK, 2022
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Approximate Adders




Autor:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

Virtual Conference, 2022
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Complex Multipliers




Autor:

Alireza Mahzoon, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Virtual, 2022
Hyperlink:

[Link zum Workshop]



» Self-Explanation in Systems of Systems




Autor:

Goerschwin Fey, Martin Fränzle and Rolf Drechsler
Workshop:
Second International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
Referenz:

Melbourne, Victoria, Australia (virtual event with a local hub)
Hyperlink:

[Link zum Workshop]



» Simulation-based Verification of SystemC-based VPs at the ESL




Autor:

Mehran Goli, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Virtual, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» RISC-V Processor Verification with Coverage-guided Aging




Autor:

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Workshop:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

Virtual, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations




Autor:

Muhammad Hassan and Rolf Drechsler
Workshop:
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Bremerhaven, Germany, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods




Autor:

Marcel Merten, Sebastian Huhn and Rolf Drechsler
Workshop:
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Bremerhaven, Germany, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks




Autor:

Payam Habiby, Sebastian Huhn and Rolf Drechsler
Workshop:
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ)
Referenz:

Bremerhaven, Germany, 2022
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



» Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes




Autor:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Workshop:
4th Workshop on RISC-V Activities
Referenz:

Virtual, 2021
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Prefix Adders




Autor:

Alireza Mahzoon, Rolf Drechsler
Workshop:
International Workshop on Logic & Synthesis (IWLS)
Referenz:

Virtual Conference, 2021
Hyperlink:

[Link zum Workshop]



» Polynomial Formal Verification of Area-efficient and Fast Adders




Autor:

Alireza Mahzoon, Rolf Drechsler
Workshop:
2021 Reed-Muller Workshop (RM2021)
Referenz:

Nursultan, Kazakhstan, 2021
Hyperlink:

[Link zum Workshop]
Vortrag:

[Link Vortragsvideo]
PDF:

[hier ansehen]



» MicroRV32: An Open Source RISC-V Cross-Level Platform for Education and Research




Autor:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Workshop:
Design Automation for CPS and IoT (DESTION)
Referenz:

Nashville, USA, 2021
Hyperlink:

[Link zum Workshop]
PDF:

[hier ansehen]



ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt