Homepage Sitemap Contact




Home « Publications « Journals

sort: [ Title ] [ Author ] [ Journal ] [ Year ]
Suche nach:




» "Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
[Link to the homepage of the journal]







Autor:

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


2018






» On the complexity of design tasks for Digital Microfluidic Biochips
[Link to the homepage of the journal]







Autor:

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


2018






» Arduinos in der Schule - Lernen mit Mikrocontrollern
[Link to the homepage of the journal]







Autor:

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


2018






» Analysis of Total Ionizing Dose effects for highly scaled CMOS devices in Low Earth Orbit
[Link to the homepage of the journal]







Autor:

Muhammad Sajida, Nikolay Chechenin, Frank Sill Torres, Muhammad Nabeel Hanif, Usman Ali Gulzari, Shakaib Arslan, Ehsan Ullah Khan
Journal:
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
Year:


2018






» Verifying SystemC using Intermediate Verification Language and Stateful Symbolic Simulation
[Link to the homepage of the journal]







Autor:

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


2018






» Behaviour Driven Development for Hardware Design
[Link to the homepage of the journal]







Autor:

Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler
Journal:
IPSJ Transactions on System LSI Design Methodology
Details:
accepted
Year:


2018






» An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
[Link to the homepage of the journal]







Autor:

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


2017






» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link to the homepage of the journal]







Autor:

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


2017






» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link to the homepage of the journal]







Autor:

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


2017






» Logic synthesis for RRAM-based in-memory computing
[Link to the homepage of the journal]







Autor:

Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Journal:
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
Year:


2018






» Synthesis of optical circuits using binary decision diagrams
[Link to the homepage of the journal]







Autor:

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


2017






» A PLiM computer for the IoT
[Link to the homepage of the journal]







Autor:

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


2017






» Information reconciliation schemes in physical-layer security: A survey
[Link to the homepage of the journal]







Autor:

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









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

[Link to the homepage of the journal]







Autor:

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


2017






» metaSMT: Focus On Your Application And Not On Solver Integration
[Link to the homepage of the journal]







Autor:

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


2017






» Effects of multiple choice options in mathematics learning
[Link to the homepage of the journal]







Autor:

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


2017






» Debugging hardware designs using dynamic dependency graphs
[Link to the homepage of the journal]







Autor:

Jan Malburg, Alexander Finder, Görschwin Fey
Journal:
Microprocessors and Microsystems (MICPRO)
Details:
accepted, DOI: 10.1016/j.micpro.2016.10.004 Link
Year:


2016






» Verifying the Structure and Behavior in UML/OCL Models Using Satisfiability Solvers
[Link to the homepage of the journal]







Autor:

Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler
Journal:
IET Cyber-Physical Systems: Theory & Applications
Details:
Volume 1, Issue 1, December 2016, pp. 49-59
DOI: 10.1049/iet-cps.2016.0022
Year:


2016






» Empirical Results on Parity-based Soft Error Detection with Software-based Retry
[Link to the homepage of the journal]







Autor:

Gökçe Aydos, Görschwin Fey
Journal:
Microprocessors and Microsystems (MICPRO)
Details:
accepted, http://dx.doi.org/10.1016/j.micpro.2016.09.009
Year:


2016






» Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits
[Link to the homepage of the journal]







Autor:

Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 13, Issue 1
Year:


2016








older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE