Homepage
Sitemap
Kontakt




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

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




» Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars




Autor:

Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Konferenz:
IEEE International Symposium on Circuits & Systems (ISCAS)
Referenz:

Sevilla, Spain, 2020



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



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



» Integer Overflow Detection in Hardware Designs at the Specification Level




Autor:

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Konferenz:
8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Referenz:

Valetta, Malta, 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]



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



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



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



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



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



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



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



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



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



» Temporal Tracing of On-Chip Signals using Timeprints




Autor:

Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer and Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

Las Vegas, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers




Autor:

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

Las Vegas, USA, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt