Homepage
Sitemap
Kontakt




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

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




» Towards Generation of a Programmable Power Management Unit at the Electronic System Level




Autor:

David Lemma, Mehran Goli, Daniel Große, Rolf Drechsler
Konferenz:
23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Referenz:

Novi Sad, Serbia, 2020
Hyperlink:

[Link zur Konferenz]



» LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)




Autor:

Hoang M. Le
Konferenz:
International Conference on Fundamental Approaches to Software Engineering (FASE)
Referenz:

Dublin, Ireland, 2020
Hyperlink:

[Link zur Konferenz]



» Impacts of Block-based Programming on Young Learners' Programming Skills and Attitudes in the Context of Smart Environments




Autor:

Mazyar Seraj, Rolf Drechsler
Konferenz:
The 25th ACM annual conference on Innovation and Technology in Computer Science Education (ITiCSE)
Referenz:

Trondheim, Norway, 2020
Hyperlink:

[Link zur Konferenz]



» Efficient Machine Learning through Evolving Combined Deep Neural Networks




Autor:

Rune Krauss, Marcel Merten, Mirco Bockholt, Saman Fröhlich, Rolf Drechsler
Konferenz:
Genetic and Evolutionary Computation Conference (GECCO)
Referenz:

Electronic-only, 2020
Hyperlink:

[Link zur Konferenz]



» Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning




Autor:

Niklas Bruns, Daniel Große, Rolf Drechsler
Konferenz:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Beijing, China, 2020
Hyperlink:

[Link zur Konferenz]



» Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes




Autor:

Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler
Konferenz:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Referenz:

Beijing, China, 2020
Hyperlink:

[Link zur Konferenz]



» Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side




Autor:

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

San Francisco, USA, 2020
Hyperlink:

[Link zur Konferenz]



» Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes




Autor:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2020
Hyperlink:

[Link zur Konferenz]



» Verification for Field-coupled Nanocomputing Circuits




Autor:

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Referenz:

San Francisco, USA, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



» ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks




Autor:

Saman Fröhlich, Lucas Klemmer, Daniel Große, Rolf Drechsler
Konferenz:
50th International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Miyazaki, Japan, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]



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

[hier ansehen]



» 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:
The 19th Koli Calling International Conference on Computing Education Research (Koli Calling)
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]




ältere Einträge im Archiv






English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt