Homepage
Sitemap
Kontakt




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

Sortieren nach: [ Titel ] [ Autor ] [ Zeitschrift ] [ Jahr ]
Suche nach:



» Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
[Link zur Zeitschriften-Homepage]







Autor:

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details:
accepted
Jahr:


2019






» Automated Non-intrusive Analysis of Electronic System Level Designs
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Automated Non-intrusive Analysis of Electronic System Level Designs





Autor:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
accepted
Jahr:


2019






» Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
[Link zur Zeitschriften-Homepage]







Autor:

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
IEEE Transactions On Very Large Scale Integration (VLSI) Systems
Details:
accepted
Jahr:


2019






» The complexity of error metrics
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: The complexity of error metrics





Autor:

Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Zeitschrift:
Information Processing Letters
Details:
Volume 139, (November 2018), pp. 1-7. DOI: 10.1016/j.ipl.2018.06.010
Jahr:


2018






» On the complexity of design tasks for Digital Microfluidic Biochips
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: On the complexity of design tasks for Digital Microfluidic Biochips





Autor:

Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
Zeitschrift:
Microelectronics Journal
Details:
Volume 78, Pages 35-45
Jahr:


2018






» "Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
[Link zur Zeitschriften-Homepage]







Autor:

Cornelia Große
Zeitschrift:
Learning and Instruction
Details:
Volume 58, pp. 173-181
Jahr:


2018






» Arduinos in der Schule - Lernen mit Mikrocontrollern
[Link zur Zeitschriften-Homepage]







Autor:

Cornelia Große, Claudia Sobich, Sebastian Huhn, Markus Leuschner, Rolf Drechsler, Lutz Mädler
Zeitschrift:
Computer + Unterricht
Details:
Volume 110, May 2018, Pages 43-45
Jahr:


2018






» Analysis of Total Ionizing Dose effects for highly scaled CMOS devices in Low Earth Orbit
[Link zur Zeitschriften-Homepage]







Autor:

Muhammad Sajida, Nikolay Chechenin, Frank Sill Torres, Muhammad Nabeel Hanif, Usman Ali Gulzari, Shakaib Arslan, Ehsan Ullah Khan
Zeitschrift:
Nuclear Instruments & Methods in Physics Research Section B-Beam Interactions with Materials and Atoms
Details:
Volume 428, August 2018, Pages 30-37, DOI: 10.1016/j.nimb.2018.05.014
Jahr:


2018






» Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation





Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
accepted
Jahr:


2018






» Logic synthesis for RRAM-based in-memory computing
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Logic synthesis for RRAM-based in-memory computing





Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
vol. 37, no. 7, pp. 1422-1435, July 2018. DOI: 10.1109/TCAD.2017.2750064
Jahr:


2018






» Behaviour Driven Development for Hardware Design
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Behaviour Driven Development for Hardware Design





Autor:

Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler
Zeitschrift:
IPSJ Transactions on System LSI Design Methodology
Details:
vol. 11, pp. 29-45
PDF Download
Jahr:


2018






» An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs





Autor:

Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift:
Journal of Low Power Electronics
Details:
Volume 13, Number 4, Pages 633-641
Jahr:


2017






» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata





Autor:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
accepted
Jahr:


2017






» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements





Autor:

Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Zeitschrift:
Computer Languages, Systems & Structures
Details:
accepted
Jahr:


2017






» Synthesis of optical circuits using binary decision diagrams
[Link zur Zeitschriften-Homepage]







Autor:

Arighna Deb, Robert Wille, Oliver Keszöcze, Saeideh Shirinzadeh, Rolf Drechsler
Zeitschrift:
Integration, the VLSI Journal
Details:
Volume 59, September 2017, Pages 42–51
Jahr:


2017






» A PLiM computer for the IoT
[Link zur Zeitschriften-Homepage]







Autor:

Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
Zeitschrift:
Computer
Details:
50(6):35-40, DOI: 10.1109/MC.2017.173
Jahr:


2017






» Information reconciliation schemes in physical-layer security: A survey
[Link zur Zeitschriften-Homepage]







Autor:

Christopher Huth, Rene Guillaume, Thomas Strohm, Paul Duplys, Irin Ann Samuel, Tim Güneysu
Zeitschrift:
Computer Networks 109: 84-104 (2016)
Details:
Jahr:









» Towards a Verification Flow Across Abstraction Levels:
Verifying Implementations Against Their Formal Specification

[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Towards a Verification Flow Across Abstraction Levels:<br />
Verifying Implementations Against Their Formal Specification





Autor:

Pablo Gonzalez-de-Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sanchez
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
36(3):475-488, DOI: 10.1109/TCAD.2016.2611494
Jahr:


2017






» metaSMT: Focus On Your Application And Not On Solver Integration
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: metaSMT: Focus On Your Application And Not On Solver Integration





Autor:

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
Zeitschrift:
International Journal of Software Tools for Technology Transfer
Details:
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link
Jahr:


2017






» Effects of multiple choice options in mathematics learning
[Link zur Zeitschriften-Homepage]


Großformat der Zeitschrift: Effects of multiple choice options in mathematics learning





Autor:

Cornelia Große
Zeitschrift:
European Journal of Science and Mathematics Education
Details:
Volume 5, Number 2, pp 165-177
Jahr:


2017








ältere Einträge im Archiv







English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt