Homepage
Sitemap
Kontakt




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

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




» Towards Formal Verification of Optimized and Industrial Multipliers




Autor:

Alireza Mahzoon, Daniel Große, Christoph Scholl, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Grenoble, France, 2020
Hyperlink:

[Link zur Konferenz]



» Towards Specification and Testing of RISC-V ISA Compliance




Autor:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Grenoble, France, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes




Autor:

Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Grenoble, France, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Automatic Hardware Synthesis from Formal Specification to Implementation




Autor:

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

Beijing, China, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes




Autor:

Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler
Konferenz:
The 51st ACM Technical Symposium on Computer Science Education
Referenz:

Portland, Oregon, USA, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems




Autor:

Rolf Drechsler, Daniel Große
Konferenz:
Asian Test Symposium (ATS)
Referenz:

Kolkata, India, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» KLUZZER: Whitebox Fuzzing on top of LLVM




Autor:

Hoang M. Le
Konferenz:
Automated Technology for Verification and Analysis (ATVA)
Referenz:

Taipei, Taiwan, 2019
Hyperlink:

[Link zur Konferenz]



» Scratch and Google Blockly: How Girls’ Programming Skills and Attitudes are Influenced




Autor:

Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler
Konferenz:
19th Koli Calling International Conference on Computing Education Research
Referenz:

Koli, Finland, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Property-driven Timestamps Encoding for Timeprints-based Tracing and Monitoring




Autor:

Rehab Massoud, Hoang M. Le, Rolf Drechsler
Konferenz:
17th International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS)
Referenz:

Amsterdam, Netherlands, 27-29 August, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Systematic RISC-V based Firmware Design




Autor:

Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Southampton, United Kingdom, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Functional Coverage-Driven Characterization of RF Amplifiers




Autor:

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

Southampton, United Kingdom, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits




Autor:

Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
Konferenz:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» T-Depth Optimization for Fault-Tolerant Quantum Circuits




Autor:

Philipp Niemann, Anshu Gupta, Rolf Drechsler
Konferenz:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing




Autor:

Steffen Frerix, Saeideh Shirinzadeh, Saman Fröhlich, Rolf Drechsler
Konferenz:
International Symposium on Nanoscale Architectures (NanoArch 2019)
Referenz:

Qingdao, China, 2019
PDF:

[hier ansehen]



» Scalable Simulation-based Verification of SystemC-based Virtual Prototypes




Autor:

Mehran Goli, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Code is Ethics —Formal Techniques for a Better World




Autor:

Rolf Drechsler, Christoph Lüth
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents




Autor:

Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» SAT-Hard: A Learning-based Hardware SAT-Solver




Autor:

Buse Ustaoglu, Sebastian Huhn, Frank Sill Torres, Daniel Große and Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Referenz:

Kallithea - Chalkidiki, Greece, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems




Autor:

Sebastian Huhn, Daniel Tille, Rolf Drechsler
Konferenz:
International Test Conference in Asia (ITC-Asia)
Referenz:

Tokyo, Japan, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies




Autor:

Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Referenz:

Miami, Florida, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt