Homepage Sitemap Contact




Home « Publications « Journals

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




» 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






» 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






» 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






» 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






» 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:
Regular Paper, pp 1-17, DOI10.1007/s10009-016-0426-1 Link
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






» Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
[Link to the homepage of the journal]







Autor:

Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 12 Issue 4, Article No. 34
Year:


2016






» On Optimization-based ATPG and its Application for Highly Compacted Test Sets
[Link to the homepage of the journal]







Autor:

Stephan Eggersglüß, Kenneth Schmitz, Rene Krenz-Baath, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Vol. 35(12), pp. 2104-2117
Year:


2016






» Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
[Link to the homepage of the journal]







Autor:

Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler
Journal:
Combustion and Flame
Details:
Volume 168, June 2016, Pages 255–269
Year:


2016






» Online collaborative learning in dyads: Effects of knowledge distribution and awareness
[Link to the homepage of the journal]







Autor:

Michail D. Kozlov, Cornelia Große
Journal:
Computers in Human Behavior
Details:
Volume 59, 389-401
Year:


2016






» Complexity of Reversible Circuits and their Quantum Implementations
[Link to the homepage of the journal]







Autor:

Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
Journal:
Theoretical Computer Science
Details:
Volume 618, (March 2016), pp. 85–106. DOI:10.1016/j.tcs.2016.01.011
Year:


2016






» Analyzing Inconsistencies in UML/OCL Models
[Link to the homepage of the journal]







Autor:

Nils Przigoda, Robert Wille, Rolf Drechsler
Journal:
Journal of Circuits, Systems and Computers
Details:
Volume 25, Issue 03, March 2016
DOI: 10.1142/S0218126616400211
Year:


2016






» Atomic distributions in crystal structures solved by Boolean satisfiability techniques
[Link to the homepage of the journal]







Autor:

Mathias Soeken, Rolf Drechsler, Reinhard X. Fischer
Journal:
Zeitschrift für Kristallographie - Crystalline Materials
Details:
Z. Kristallogr. 2016; 231(2): 107–111
Year:


2015






» SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
[Link to the homepage of the journal]







Autor:

Robert Wille, Eleonora Schonborn, Mathias Soeken, Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details:
53(3):39-53
Year:


2016






» Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
[Link to the homepage of the journal]







Autor:

Jannis Stoppe, Rolf Drechsler
Journal:
Sensors
Details:
Volume (issue) 15(5), pages 10399-10421
Year:


2015






» Transaction-based online debug for NoC-based multiprocessor SoCs
[Link to the homepage of the journal]







Autor:

Mehdi Dehbashi, Görschwin Fey
Journal:
Microprocessors and Microsystems (MICPRO)
Details:
39(3): 157-166
Year:


2015






» Scalable One-Pass Synthesis for Digital Microfluidic Biochips
[Link to the homepage of the journal]







Autor:

Robert Wille, Oliver Keszöcze, Tobias Boehnisch, Alexander Kroker, Rolf Drechsler
Journal:
IEEE Design & Test of Computers
Details:
Volume 32, Issue 66, Pages 41—50
Year:


2015








older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE