Homepage
Sitemap
Kontakt




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

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




» Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing




Autor:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2021
Hyperlink:

[Link zur Konferenz]



» XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding




Autor:

Lucas Klemmer, Saman Fröhlich, Rolf Drechsler, Daniel Große
Konferenz:
IEEE International Symposium on Circuits & Systems (ISCAS)
Referenz:

Daegu, Korea, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Vertical IP Protection of the Next-Generation Devices: Quo Vadis?




Autor:

Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Sisejkovic, Ramesh Karri, Rolf Drechsler, Farhad Merchant, Akash Kumar
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zur Konferenz]



» Nano Security: From Nano-Electronics to Secure Systems




Autor:

Ilia Polian, Frank Altmann, Tolga Arul, Christian Boit, Ralf Brederlow, Lucas Davi, Rolf Drechsler, Nan Du, Thomas Eisenbarth, Tim Güneysu, Sascha Hermann, Matthias Hiller, Rainer Leupers, Farhad Merchant, Thomas Mussenbrock, Stefan Katzenbeisser, Akash Kumar, Wolfgang Kunz, Thomas Mikolajick, Vivek Pachauri, Jean-Pierre Seifert, Frank Sill Torres, Jens Trommer
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zur Konferenz]



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

[hier ansehen]



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

[hier ansehen]



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

[hier ansehen]



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

[hier ansehen]



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

[hier ansehen]



» 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
Best Paper Candidate
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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

[hier ansehen]



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

[hier ansehen]



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




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt