Homepage
Sitemap
Kontakt




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

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




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



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



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



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



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



» 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
Hyperlink:

[Link zur Konferenz]



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



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



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



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




Autor:

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

Portorož, Slowenien, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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




Autor:

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

Portorož, Slowenien, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Post Synthesis-Optimization of Reversible Circuit using Template Matching




Autor:

Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Konferenz:
In 2020 24th International Symposium on VLSI Design and Test (VDAT)
Referenz:

pp. 1-4. IEEE, 2020, DOI: 10.1109/VDAT50263.2020.9190279
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Design Automation for Field-coupled Nanotechnologies




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt