Homepage
Sitemap
Kontakt




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

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




» Domain-driven correlation-aware recombination and mutation operators for complex real-world applications




Autor:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
IEEE Congress on Evolutionary Computation (CEC)
Referenz:

Kraków, Poland, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Improving evolutionary algorithms by enhancing an approximative fitness function through prediction intervals




Autor:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
IEEE Congress on Evolutionary Computation (CEC)
Referenz:

Krakow, Poland, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» PolyAdd: Polynomial Formal Verification of Adder Circuits




Autor:

Rolf Drechsler
Konferenz:
24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Vienna, Austria, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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

[hier ansehen]



» Late Breaking Results: Polynomial Formal Verification of Fast Adders




Autor:

Alireza Mahzoon, 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]



» Performance Aspects of Correctness-oriented Synthesis Flows




Autor:

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Konferenz:
Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD)
Referenz:

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

[hier ansehen]



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

[hier ansehen]



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




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt