Homepage Sitemap Contact




Home « Publications « Conferences

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





» Clustering-Guided SMT(LRA) Learning




Author:

Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler
Conference:
International Conference on integrated Formal Methods (iFM)
Reference:

Lugano, Switzerland, 2020
Hyperlink:

[Link to the Conference]



» Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime




Author:

Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
Conference:
38th IEEE International Conference on Computer Design (ICCD)
Reference:

Hartford, USA, 2020
Hyperlink:

[Link to the Conference]



» Mutation-based Compliance Testing for RISC-V




Author:

Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2021
Hyperlink:

[Link to the Conference]



» System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations




Author:

Muhammad Hassan, Daniel Große, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2021
Hyperlink:

[Link to the Conference]



» One-pass Synthesis for Field-coupled Nanocomputing Technologies




Author:

Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2021
Hyperlink:

[Link to the Conference]



» ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs




Author:

Mehran Goli, Rolf Drechsler
Conference:
26th Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2021
Hyperlink:

[Link to the Conference]



» ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique




Author:

Mehran Goli, Alireza Mahzoon, Rolf Drechsler
Conference:
38th IEEE International Conference on Computer Design (ICCD)
Reference:

Hartford, USA, 2020
Hyperlink:

[Link to the Conference]



» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling




Author:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler
Conference:
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Reference:

Rhodes, Greece, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Power-aware Test Scheduling for IEEE 1687 Networks with Multiple Power Domain




Author:

Payam Habiby, Sebastian Huhn, Rolf Drechsler
Conference:
33rd IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Reference:

Frascati (Rome), Italy, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study




Author:

Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Kiel, Germany, 2020
Best Paper Award
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms




Author:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Automated Technology for Verification and Analysis (ATVA)
Reference:

Hanoi, Vietnam, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing




Author:

Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Portorož, Slowenien, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers




Author:

Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Portorož, Slowenien, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials




Author:

Rolf Drechsler, Sebastian Huhn, Christina Plump
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Portorož, Slowenien, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow




Author:

Vladimir Herdt, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Design Automation for Field-coupled Nanotechnologies




Author:

Marcel Walter, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Best Student Forum Paper Award
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Automated Design Understanding of SystemC-based Virtual Prototypes: Data Extraction, Analysis and Visualization




Author:

Mehran Goli, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits




Author:

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Limassol, Cyprus, 2020
Best Paper Candidate
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Generation of a Programmable Power Management Unit at the Electronic System Level




Author:

David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler
Conference:
23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Novi Sad, Serbia, 2020
Hyperlink:

[Link to the Conference]



» LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)




Author:

Hoang M. Le
Conference:
International Conference on Fundamental Approaches to Software Engineering (FASE)
Reference:

Dublin, Ireland, 2020
Hyperlink:

[Link to the Conference]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE