Homepage Sitemap Contact




Home « Publications « Journals

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




» Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction






Autor:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
International Journal of Software Tools for Technology Transfer
Details:
accepted
Year:


2019






» Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking
[Link to the homepage of the journal]







Autor:

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


2019






» Automated Non-intrusive Analysis of Electronic System Level Designs
[Link to the homepage of the journal]







Autor:

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


2019






» Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
[Link to the homepage of the journal]







Autor:

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


2019






» The complexity of error metrics
[Link to the homepage of the journal]







Autor:

Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Journal:
Information Processing Letters
Details:
Volume 139, (November 2018), pp. 1-7. DOI: 10.1016/j.ipl.2018.06.010
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






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






» 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






» 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






» 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:
vol. 11, pp. 29-45
PDF Download
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:
vol. 37, no. 12, pp. 3031-3041, December 2018.
DOI: 10.1109/TCAD.2018.2789782
Year:


2018






» 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:
Volume 54, December 2018, Pages 512-527
DOI: 10.1016/j.cl.2017.11.002
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
Details:
109: 84-104
Year:


2016






» 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








older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE