Homepage Sitemap Contact




Home « Publications « Journals

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




» An ant colony based mapping of quantum circuits to nearest neighbor architectures
[Link to the homepage of the journal]







Author:

Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherje, Robert Wille, Rolf Drechsler, Hafizur Rahamana
Journal:
Integration
Details:
Volume 78, May 2021, Pages 11-24
Year:


2021






» Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform
[Link to the homepage of the journal]







Author:

Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
Journal:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details:
https://doi.org/10.1016/ j.sysarc.2021.102135
Year:


2021






» Through the Looking Glass: Automated Design Understanding of SystemC-based VPs at the ESL
[Link to the homepage of the journal]







Author:

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


2021






» Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D Architectures
[Link to the homepage of the journal]







Author:

Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Journal:
IETE Journal of Research
Details:
Published online: 27 Sep 2020
Year:


2020






» On the Difficulty of Inserting Trojans in Reversible Computing Architectures
[Link to the homepage of the journal]







Author:

Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner;, Robert Wille, Kaijie Wu, Rolf Drechsler, Ramesh Karri
Journal:
IEEE Transactions on Emerging Topics in Computing
Details:
Volume: 8, Issue: 4, Oct.-Dec. 1 2020
Year:


2020






» An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
[Link to the homepage of the journal]







Author:

Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann , Bappaditya Mondal , Rolf Drechsler , Hafizur Rahaman
Journal:
Integration
Details:
Volume 76, January 2021, Pages 40-54, https://doi.org/10.1016/j.vlsi.2020.09.003
Year:


2020






» Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures
[Link to the homepage of the journal]







Author:

Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Journal:
IETE Journal of Research
Details:
https://doi.org/10.1080/03772063.2020.1822215
Year:


2020






» ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
[Link to the homepage of the journal]







Author:

Buse Ustaoğlu, Kenneth Schmitz, Daniel Große, Rolf Drechsler
Journal:
SN Applied Sciences | Springer Nature
Details:
ANr: 1363, DOI 10.1007/s42452-020-3003-x
Year:


2020






» Advanced Exact Synthesis of Clifford+T Circuits
[Link to the homepage of the journal]







Author:

Philipp Niemann, Robert Wille, Rolf Drechsler
Journal:
Quantum Information Processing
Details:
(accepted)
DOI: 10.1007/s11128-020-02816-0
Year:


2020






» Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
[Link to the homepage of the journal]







Author:

Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
URL: https://doi.org/TCAD.2020.2977603, DOI: 10.1109/TCAD.2020.2977603
Year:


2020






» On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
[Link to the homepage of the journal]







Author:

Frank Sill Torres, Pedro A. Silva, Geraldo Fontes, Marcel Walter, José Augusto M. Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler
Journal:
Microprocessors and Microsystems (MICPRO)
Details:
Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109
Year:


2020






» PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs using Regression Analysis Techniques
[Link to the homepage of the journal]







Author:

Mehran Goli, Rolf Drechsler
Journal:
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Details:
volume: 25, number: 5, numpages: 28, URL: https://doi.org/10.1145/3388140, DOI: 10.1145/3388140
Year:


2020






» RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level
[Link to the homepage of the journal]







Author:

Vladimir Herdt, Daniel Große, Pascal Pieper, Rolf Drechsler
Journal:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details:
https://doi.org/10.1016/j.sysarc.2020.101756
Year:


2020






» Reversible Circuits: IC/IP Piracy Attacksand Countermeasures
[Link to the homepage of the journal]







Author:

Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Rolf Drechsler and Ramesh Karri
Journal:
IEEE Transactions On Very Large Scale Integration (VLSI) Systems
Details:
Seite 1-13
Year:


2019






» Near Zero-Energy Computation Using Quantum-dot Cellular Automata






Author:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Vol. 16, No. 1, https://dl.acm.org/doi/abs/10.1145/3365394, 2019
Year:


2019






» Designing Partially Reversible Field-Coupled Nanocomputing Circuits
[Link to the homepage of the journal]







Author:

Jeferson Figueiredo Chaves, Marco Ribeiro, Frank Sill Torres, Omar Paranaiba Vilela Neto
Journal:
IEEE Transactions on Nanotechnology
Details:
Volume 18, Issue: 1,pages 589-597, December 2019 DOI: 10.1109/TNANO.2019.2918057
Year:


2019






» Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
[Link to the homepage of the journal]







Author:

Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661
Year:


2019






» Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction
[Link to the homepage of the journal]







Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
International Journal of Software Tools for Technology Transfer (STTT)
Details:
21(5):545-565. doi.org/10.1007/s10009-019-00507-5
Year:


2019






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







Author:

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]







Author:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
volume: 39, number: 2, pages: 492-505, URL: https://doi.org/10.1109/TCAD.2018.2889665, DOI: 10.1109/TCAD.2018.2889665,
Year:


2020






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







Author:

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Journal:
IEEE Transactions On Very Large Scale Integration (VLSI) Systems
Details:
Volume 27, Number 4, Pages. 875-887, April 2019. DOI: 10.1109/TVLSI.2018.2890601
Year:


2019






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







Author:

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]







Author:

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


2018






» Measurement and evaluation of calorimetric descriptors for the suitability for evolutionary high-throughput material development
[Link to the homepage of the journal]







Author:

Anastasiya Toenjes, Heike Sonnenberg, Christina Plump, Rolf Drechsler, Axel von Hehl
Journal:
Metals
Details:
Volume 9 (2), 149;
Year:


2019






» Evaluation of (power) side-channels in cryptographic implementations
[Link to the homepage of the journal]







Author:

Florian Bache, Christina Plump, Jonas Wloka, Tim Güneysu, and Rolf Drechsler
Journal:
it – Information Technology
Details:
Volume 61(1), DOI: 10.1515/itit-2018-0028
Year:


2019






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







Author:

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]







Author:

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]







Author:

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]







Author:

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)
Details:
38(7):1359-1372. doi.org/10.1109/TCAD.2018.2846638
Year:


2018






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







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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]







Author:

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






» QMDDs: Efficient Quantum Function Representation and Manipulation
[Link to the homepage of the journal]







Author:

Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 35, Number 1, pp. 86-99
DOI: 10.1109/TCAD.2015.2459034
Year:


2016






» Embedding of Large Boolean Functions for Reversible Logic
[Link to the homepage of the journal]







Author:

Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 12, Issue 4
Preprint available at arXiv 1408.3586
Year:


2015






» Ancilla-free synthesis of large reversible functions using binary decision diagrams
[Link to the homepage of the journal]







Author:

Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Journal:
Journal of Symbolic Computation
Details:
accepted, preprint available at arXiv 1408.3955
Year:


2015






» Benefits of illustrations and videos for technical documentations
[Link to the homepage of the journal]







Author:

Cornelia Große, Lisa Jungmann, Rolf Drechsler
Journal:
Computers in Human Behavior
Details:
Volume 45, April 2015, Pages 109–120
DOI: 10.1016/j.chb.2014.11.095
Year:


2015






» Incorporating User Preferences in Many-Objective Optimization using Relation epsilon-Preferred
[Link to the homepage of the journal]







Author:

Nicole Drechsler, André Sülflow, Rolf Drechsler
Journal:
Natural Computing
Details:
Volume 14, Issue 3, pp 469-483
Year:


2015






» Exact Reordering of Circuit Lines for Nearest Neighbor Quantum Architectures
[Link to the homepage of the journal]







Author:

Robert Wille, Aaron Lye, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 33, Number 12, pp. 1818-1831
DOI: 10.1109/TCAD.2014.2356463
Year:


2014






» A Simulation Based Approach for Automated Feature Localization
[Link to the homepage of the journal]







Author:

Jan Malburg, Alexander Finder, Görschwin Fey
Journal:
IEEE Trans. on CAD of Integrated Circuits and Systems
Details:
Volume:33, Issue: 12, Pages 1886-1899 DOI: 10.1109/TCAD.2014.2360462 Link
Year:


2014






» Dynamic X-filling for Peak Capture Power Reduction for Compact Test Sets






Author:

Stephan Eggersglüß
Journal:
Journal of Electronic Testing: Theory and Applications
Details:
Volume 30, Number 5, pp. 557-567
Year:


2014






» Latency Analysis for Sequential Circuits






Author:

Alexander Finder, André Sülflow, Görschwin Fey
Journal:
IEEE Trans. on CAD of Integrated Circuits and Systems
Details:
Volume 33, Number 4, pp. 643-647, DOI: 10.1109/TCAD.2013.2292501
Year:


2014






» Special Issue on Reversible Computation
[Link to the homepage of the journal]







Author:

Robert Wille, Rolf Drechsler, Mehdi . B. Tahoori (editors)
Journal:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Volume 11, Number 2
Year:


2014






» An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
[Link to the homepage of the journal]







Author:

Stephan Eggersglüß, Rolf Drechsler
Journal:
it-Information Technology
Details:
Volume 56, Number 4, pp. 157-164
Special Issue
Year:


2014






» Testing integrated circuits
[Link to the homepage of the journal]







Author:

Rolf Drechsler
Journal:
it-Information Technology
Details:
Volume 56, Number 4, pp. 148-149
Special Issue
Year:


2014






» Finite controlled invariants for sampled switched systems
[Link to the homepage of the journal]







Author:

Laurent Fribourg, Ulrich Kühne, Romain Soulat
Journal:
Formal Methods in System Design
Details:
online, DOI: 10.1007/s10703-014-0211-2
Year:


2014






» Learning to solve story problems – supporting transitions between reality and mathematics
[Link to the homepage of the journal]







Author:

Cornelia Große
Journal:
European Journal of Psychology of Education
Details:
Volume 29, Number 4, pp 619-634. DOI: 10.1007/s10212-014-0217-6
Year:


2014






» Mathematics learning with multiple solution methods: effects of types of solutions and learners’ activity
[Link to the homepage of the journal]







Author:

Cornelia Große
Journal:
Instructional Science
Details:
Volume 42, Number 5, pp 715-745. DOI: 10.1007/s11251-014-9312-y
Year:


2014






» Upper bounds for reversible circuits based on Young subgroups
[Link to the homepage of the journal]







Author:

Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Journal:
Information Processing Letters
Details:
Volume 114, Number 06 (June 2014), pp. 282-286. DOI: 10.1016/j.ipl.2014.01.003
Year:


2014






» Search-based testing using constraint-based mutation
[Link to the homepage of the journal]







Author:

Jan Malburg, Gordon Fraser
Journal:
Software Testing, Verification and Reliability
Details:
Volume 24, Issue 6, pages 472–495, September 2014, DOI: 10.1002/stvr.1508 Link
Year:


2013 (online)






» Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level






Author:

Robert Wille, Aaron Lye, Rolf Drechsler
Journal:
Quantum Information Processing
Details:
DOI: http://dx.doi.org/10.1007/s11128-013-0642-5
Year:


2013






» Quantum circuits employing roots of the Pauli matrices
[Link to the homepage of the journal]







Author:

Mathias Soeken, D. Michael Miller, Rolf Drechsler
Journal:
Physical Review A
Details:
Volume 88, 042322, 2013, DOI: 10.1103/PhysRevA.88.042322
Year:


2013






» Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
[Link to the homepage of the journal]







Author:

Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 47, Number 2, pp. 284-294, DOI: 10.1016/j.vlsi.2013.08.002
Year:


2014






» Speci fication-Driven Model Transformation Testing
[Link to the homepage of the journal]







Author:

Esther Guerra, Mathias Soeken
Journal:
Software and Systems Modeling
Details:
accepted
Year:


2013






» A Formal Model for Embedded Brain Reading
[Link to the homepage of the journal]







Author:

Elsa Andrea Kirchner, Rolf Drechsler
Journal:
Industrial Robot: an International Journal
Details:
Volume 40, Issue 6, pp. 530-540
Year:


2013






» Debug Automation for Logic Circuits Under Timing Variations
[Link to the homepage of the journal]







Author:

Mehdi Dehbashi, Görschwin Fey
Journal:
IEEE Design & Test of Computers
Details:
Volume 30, Issue 6, pp. 60-69
Year:


2013






» Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
[Link to the homepage of the journal]







Author:

Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details:
Volume 21, Number 5-6, 2013, pp. 627-640
Year:


2013






» Parametric Verification and Test Coverage for Hybrid Automata using the Inverse Method
[Link to the homepage of the journal]







Author:

Laurent Fribourg, Ulrich Kühne
Journal:
International Journal of Foundations of Computer Science (IJFCS)
Details:
Volume 24, Number 02 (February 2013), pp. 233-250
Year:


2013






» RevKit: An Open Source Toolkit for the Design of Reversible Circuits
[Link to the homepage of the journal]







Author:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Journal:
Reversible Computation 2011 (Series: Lecture Notes in Computer Science)
Details:
Volume 7165, Third International Workshop, RC 2011, Revised Papers, pp. 64-76
Year:


2012






» Automated Design Debugging in a Testbench-Based Verification Environment
[Link to the homepage of the journal]







Author:

Mehdi Dehbashi, André Sülflow, Görschwin Fey
Journal:
Embedded Hardware Design - Microprocessors and Microsystems (MICPRO)
Details:
Volume 37, Issue 2, pp. 206-217
Year:


2013






» Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis






Author:

Daniel Große, Görschwin Fey, Rolf Drechsler
Journal:
Electronic Communications of the EASST
Details:
Volume 62, 13 pages
Year:


2013






» Automatic TLM Fault Localization for SystemC
[Link to the homepage of the journal]







Author:

Hoang M. Le, Daniel Große, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 31, Number 8, pp. 1249-1262,
DOI: 10.1109/TCAD.2012.2188800
Year:


2012






» Special Issue on Reversible Computation
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Irek Ulidowski, Robert Wille (editors)
Journal:
Multiple-Valued Logic and Soft Computing
Details:
Volume 18, Number 1
Year:


2012






» RevKit: A Toolkit for Reversible Circuit Design
[Link to the homepage of the journal]







Author:

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details:
Volume 18, Number 1, pp. 55-65
Year:


2012






» A Highly Fault-Efficient SAT-Based ATPG Flow
[Link to the homepage of the journal]







Author:

Stephan Eggersglüß, Rolf Drechsler
Journal:
IEEE Design & Test of Computers
Details:
Volume 29, Issue 4 (July/August), pp. 63-70
Year:


2012






» Efficient Data Structures and Methodologies for SAT-based ATPG providing High Fault Coverage in Industrial Application
[Link to the homepage of the journal]







Author:

Stephan Eggersglüß, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 30, Number 9, pp. 1411-1415,
DOI: 10.1109/TCAD.2011.2152450
Year:


2011






» Effective Robustness Analysis using Bounded Model Checking Techniques
[Link to the homepage of the journal]







Author:

Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 30, Number 8, pp. 1239-1252 DOI: 10.1109/TCAD.2011.2120950
Year:


2011






» Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures
[Link to the homepage of the journal]







Author:

Mehdi Saeedi, Robert Wille, Rolf Drechsler
Journal:
Quantum Information Processing
Details:
Volume 10, Number 3, pp. 355-377
DOI: 10.1007/s11128-010-0201-2
Year:


2011






» Debugging Reversible Circuits
[Link to the homepage of the journal]







Author:

Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 44, Number 1, pp. 51-61, January
DOI: 10.1016/j.vlsi.2010.08.002
Year:


2011






» BDD-Based Synthesis of Reversible Logic
[Link to the homepage of the journal]







Author:

Robert Wille, Rolf Drechsler
Journal:
International Journal of Applied Metaheuristic Computing (IJAMC)
Details:
Volume 1, Number 4, pp. 25-41
Year:


2010






» Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
[Link to the homepage of the journal]







Author:

Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler
Journal:
it-Information Technology
Details:
Volume 52, Number 4, pp. 216-223
PDF Download
Year:


2010






» Towards Fully Automatic Synthesis of Embedded Software
[Link to the homepage of the journal]







Author:

Ulrich Kühne, Daniel Große, Rolf Drechsler
Journal:
IEEE Embedded Systems Letters
Details:
Volume 2, Number 3, pp. 53-57, September
Year:


2010






» Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
[Link to the homepage of the journal]







Author:

Robert Wille, Rolf Drechsler
Journal:
Electronic Notes in Theoretical Computer Science
Details:
Volume 253, Number 6, pp. 57-70
DOI: 10.1016/j.entcs.2010.02.006
Year:


2010






» Incremental Solving Techniques for SAT-based ATPG
[Link to the homepage of the journal]







Author:

Daniel Tille, Stephan Eggersglüß, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 29, Number 7, pp. 1125-1130, July
Year:


2010






» Synthese reversibler Logik
[Link to the homepage of the journal]







Author:

Robert Wille, Rolf Drechsler
Journal:
it-Information Technology
Details:
Volume 52, Number 1, pp. 30-38
PDF Download
Year:


2010






» MONSOON: SAT-based ATPG for Path Delay Faults Using Multiple-Valued Logics
[Link to the homepage of the journal]







Author:

Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel, Rolf Drechsler
Journal:
Journal of Electronic Testing: Theory and Applications
Details:
Volume 26, Number 3 / June, pp. 307-322
Pdf download (Preliminary Version)
The final publication is available at www.springerlink.com
Year:


2010






» Overcoming the limitations of data introspection for SystemC
[Link to the homepage of the journal]







Author:

Christian Genz, Rolf Drechsler
Journal:
EDA Tech Forum
Details:
Volume 6, Issue 5, Pages 30-34 (December 2009)
Year:


2009






» Weighted A* search - unifying view and application
[Link to the homepage of the journal]







Author:

Rüdiger Ebendt, Rolf Drechsler
Journal:
Artificial Intelligence
Details:
Volume 173, Issue 15, Pages 1367-1456 (September 2009)
Year:


2009






» Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Jürgen Schlöffel, Daniel Tille
Journal:
it - information technology
Details:
Volume 51, Number 2, pp. 102-111
Pdf download
Year:


2009






» Exact Synthesis of Elementary Quantum Gate Circuits
[Link to the homepage of the journal]







Author:

Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details:
Volume 15, Number 4, pp. 283-300
Year:


2009






» Advanced Verification by Automatic Property Generation
[Link to the homepage of the journal]







Author:

Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Journal:
IET Computers & Digital Techniques
Details:
Volume 3, Issue 4, pp. 338-353, July
Year:


2009






» Exact Multiple Control Toffoli Network Synthesis with SAT Techniques
[Link to the homepage of the journal]







Author:

Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 28, Number 5, pp. 703-715, May
DOI: 10.1109/TCAD.2009.2017215
Year:


2009






» Modeling and Proving Completeness in Formal Verification of Counting Heads
[Link to the homepage of the journal]







Author:

Sebastian Kinder, Rolf Drechsler
Journal:
Software Tools for Technology Transfer (STTT)
Details:
Springer, Volume 10, Number 6, pp. 521 - 534
Year:


2008






» On Acceleration of SAT-based ATPG for Industrial Designs
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel, Daniel Tille
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 27, Number 7, pp. 1329-1333, July
Year:


2008






» Improved SAT-based Reachability Analysis with Observability Don’t Cares
[Link to the homepage of the journal]







Author:

Sean Safarpour, Andreas Veneris and Rolf Drechsler
Journal:
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Details:
Volume 5, pp. 1-25, Special Volume on Application of Constraints to Formal Verification
Year:


2008






» On the Construction of Small Fully Testable Circuits with Low Depth
[Link to the homepage of the journal]







Author:

Görschwin Fey, Anna Bernasconi, Valentina Ciriani, Rolf Drechsler
Journal:
Embedded Hardware Design - Microprocessors and Microsystems (MICPRO)
Details:
Special Issue, Volume 32, Issues 5-6, pp. 263-269
Year:


2008






» Logic Minimization and Testability of 2-SPP Networks
[Link to the homepage of the journal]







Author:

Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 27, Number 7, pp. 1190-1202, July
Year:


2008






» Analyzing Functional Coverage in Bounded Model Checking
[Link to the homepage of the journal]







Author:

Daniel Große, Ulrich Kühne, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 27, Number 7, pp. 1305-1314, July
Year:


2008






» Automatic Fault Localization for Property Checking
[Link to the homepage of the journal]







Author:

Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 27, Number 6, pp. 1138-1149, June
Year:


2008






» BDD-based Verification of Scalable Designs
[Link to the homepage of the journal]







Author:

Daniel Große, Rolf Drechsler
Journal:
Facta Universitatis, Series: Electronics and Energetics
Details:
Volume 20, Number 3, pp. 367-379
Year:


2007






» Building Free Binary Decision Diagrams Using SAT Solvers
[Link to the homepage of the journal]







Author:

Robert Wille, Görschwin Fey, Rolf Drechsler
Journal:
Facta Universitatis, Series: Electronics and Energetics
Details:
Volume 20, Number 3, pp. 381-394,
Year:


2007






» An Integrated Approach for Combining BDDs and SAT Provers
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Görschwin Fey, Sebastian Kinder
Journal:
Facta Universitatis, Series: Electronics and Energetics
Details:
Volume 20, Number 3, pp. 415-436
Year:


2007






» Simultaneous On-Chip Bus Synthesis and Voltage Scaling Under Random On-Chip Data Traffic






Author:

Sujan Pandey, Manfred Glesner
Journal:
IEEE Transaction on Very Large Scale Integration (VLSI) Systems
Details:
Volume 15, Number 10, pp. 1111-1124, October
Year:


2007






» Technische Dokumentation von Soft- und Hardware in eingebetteten Systemen
[Link to the homepage of the journal]







Author:

Beate Muranko, Rolf Drechsler
Journal:
it - information technology
Details:
Number 2, pp. 110-117
Pdf download
Year:


2007






» Exact minimisation of path-related objective functions for binary decision diagrams
[Link to the homepage of the journal]







Author:

Rüdiger Ebendt, Rolf Drechsler
Journal:
IEE Proceedings Computer & Digital Techniques
Details:
Volume 153, Number 4, pp. 231-242, July
Year:


2006






» Testability of SPP Three-Level Logic Networks in Static Fault Models
[Link to the homepage of the journal]







Author:

Valentina Ciriani, Anna Bernasconi, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 25, Number 10, pp. 2241-2248, October
Year:


2006






» The Effect of Improved Lower Bounds in Dynamic BDD Reordering
[Link to the homepage of the journal]







Author:

Rüdiger Ebendt, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 25, Number 5, pp. 902-909, May
Year:


2006






» Minimizing the Number of Paths in BDDs - Theory and Algorithm
[Link to the homepage of the journal]







Author:

Görschwin Fey, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 25, Number 1, pp. 4-11, January
Year:


2006






» Combining Ordered Best-First Search with Branch and Bound for Exact BDD Minimization
[Link to the homepage of the journal]







Author:

Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 24, Number 10, pp. 1515-1529, October
Year:


2005






» System Level Validation Using Formal Techniques
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Daniel Große
Journal:
IEE Proceedings Computer & Digital Techniques, Special Issue on Embedded Microelectronic Systems: Status and Trends
Details:
Volume 152, Number 3, pp. 393-406, May
Year:


2005






» Generic Implementation of Multi-Valued Decision Diagram Packages






Author:

Rolf Drechsler, Dragan Jankovic, Radomir Stankovic
Journal:
Multiple-Valued Logic and Soft Computing
Details:
Volume 11, Numbers 1-2, pp. 1-18
Year:


2005






» Project-Based Learning in Student Teams in Computer Science Education
[Link to the homepage of the journal]







Author:

Andreas Breiter, Görschwin Fey, Rolf Drechsler
Journal:
Facta Universitatis, Series: Electronics and Energetics
Details:
Volume 18, Number 2, August, pp. 165-180.
Year:


2005






» Synthesis of Fully Testable Circuits from BDDs
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Junhao Shi, Görschwin Fey
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 23, Number 3, March
Year:


2004






» Methods for Construction of Recursive Algorithms for Reed-Mulle-Fourier Polarity Matrices Calculation






Author:

Dragan Jankovic, Rolf Drechsler
Journal:
Multiple-Valued Logic and Soft Computing
Details:
Volume 10, Numbers 1, pp. 29-50
Year:


2004






» Using Word-Level Information in Formal Hardware Verification
[Link to the homepage of the journal]







Author:

Rolf Drechsler
Journal:
Automation and Remote Control
Details:
Year:


Volume 65, Issue 6, pp. 963-977, June 2004






» An Improved Branch and Bound Algorithm for Exact BDD Minimization
[Link to the homepage of the journal]







Author:

Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 22, Number 12, pp. 1657-1663, December
Year:


2003






» Recursive Bi-Partitioning of Netlists for Large Number of Partitions
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst
Journal:
Journal of Systems Architecture - the Euromicro Journal
Details:
Volume 49, pp. 521-528
Year:


2003






» Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC
[Link to the homepage of the journal]







Author:

Daniel Große, Rolf Drechsler
Journal:
it - information technology
Details:
Number 4, pp. 219-226, August
Year:


2003






» Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams
[Link to the homepage of the journal]







Author:

Wolfgang Günther, Rolf Drechsler
Journal:
IEEE Transactions on Computers
Details:
Volume 52, Number 9, pp. 1196-1209, September
Year:


2003






» Exact Routing with Search Space Reduction
[Link to the homepage of the journal]







Author:

Frank Schmiedle, Rolf Drechsler, Bernd Becker
Journal:
IEEE Transactions on Computers
Details:
Volume 52, Number 6, pp. 815-825, June
Year:


2003






» Computer Architecture Core of Knowledge for Computer Science Studies






Author:

M. Stojcev, I. Milentijevic, D. Kehagias, Rolf Drechsler, M. Gusev
Journal:
Cyprus Computer Society Journal
Details:
Volume I, Edition 4, April
Year:


2003






» Polynomial Formal Verification of Multipliers
[Link to the homepage of the journal]







Author:

Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
Journal:
Formal Methods in System Design: An International Journal
Details:
Volume 22, Issue 1, pp. 39-58
Year:


2003






» Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Mikael Kerttu, Per Lindgren, Mitch Thornton
Journal:
Canadian Journal of Electrical and Computer Engineering
Details:
Volume 27, Number 4, pp. 159-164, October
Year:


2002






» Minimization of Word-level Decision Diagrams
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Wolfgang Günther, Stefan Höreth.
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 33, Issue 1-2, pp. 39-70
Year:


2002






» Minimization of Free BDDs
[Link to the homepage of the journal]







Author:

Wolfgang Günther, Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 32, Issue 1-2, pp. 41-59
Year:


2002






» Verifying Integrity of Decision Diagrams
[Link to the homepage of the journal]







Author:

Rolf Drechsler
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 32, Issue 1-2, pp. 61-75
Year:


2002






» Heuristic Learning based on Genetic Programming
[Link to the homepage of the journal]







Author:

Frank Schmiedle, Nicole Drechsler, Daniel Große and Rolf Drechsler
Journal:
Genetic Programming and Evolvable Machines
Details:
Volume 3, pp. 363-388, December
Year:


2002






» Dynamic Re-Encoding During MDD Minimization
[Link to the homepage of the journal]







Author:

Frank Schmiedle, Wolfgang Günther, Rolf Drechsler
Journal:
Multiple-Valued Logic - An International Journal
Details:
Volume 8, Numbers 5-6, pp. 625-643
Year:


2002






» History-based Dynamic BDD Minimization
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Wolfgang Günther
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 31, Issue 1, pp. 51-63
Year:


2001






» Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld






Author:

Rolf Drechsler
Journal:
it+ti - Informationstechnik und Technische Informatik
Details:
Oldenbourg Wissenschaftsverlag, Number 4, pp. 200-205
Year:


2001






» Fault Simulation in Multi-Valued Logic Networks
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Martin Keim, Bernd Becker
Journal:
Multiple-Valued Logic - An International Journal
Details:
Volume 7, Numbers 1-2, pp. 25-47
Year:


2001






» Binary Decision Diagrams in Theory and Practice
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Detlef Sieling
Journal:
Software Tools for Technology Transfer (STTT)
Details:
Springer, Number 3, pp. 112-136
Year:


2001






» Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits
[Link to the homepage of the journal]







Author:

Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
Journal:
Journal of Electronic Testing, Theory and Application (JETTA)
Details:
No. 17, pp. 37-51, February
Year:


2001






» Decision Diagram Method for Calculation of Pruned Walsh Transform
[Link to the homepage of the journal]







Author:

Dragan Jankovic, Radomir Stankovic, Rolf Drechsler
Journal:
IEEE Transactions on Computers
Details:
Volume 50, Number 2, pp. 147-157, February
Year:


2001






» Using Lower Bounds during Dynamic BDD Minimization
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Wolfgang Günther, Fabio Somenzi
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 20, Number 1, pp. 51-57, January
Year:


2001






» ACTion: Combining Logic Synthesis and Technology Mapping for MUX based FPGAs
[Link to the homepage of the journal]







Author:

Wolfgang Günther and Rolf Drechsler.
Journal:
Journal of Systems Architecture - the Euromicro Journal
Details:
Volume 46, Issue 14, pp. 1321-1334, December
Year:


2000






» Boolean Function Representation and Spectral Characterization Using AND/OR Graphs
[Link to the homepage of the journal]







Author:

Alenka Zuzek, Rolf Drechsler, Mitch Thornton
Journal:
INTEGRATION, the VLSI Journal
Details:
Volume 29, Issue 2, pp. 101-116, September
Year:


2000






» Genetic Algorithm for Minimization of fixed polarity Reed-Muller expressions






Author:

Rolf Drechsler, Bernd Becker and Nicole Drechsler
Journal:
IEE Proceedings Computers and Digital Techniques
Details:
Volume 147, Number 5, September
Year:


2000






» On the Computational Power of Linearly Transformed BDDs
[Link to the homepage of the journal]







Author:

Wolfgang Günther, Rolf Drechsler
Journal:
Information Processing Letters
Details:
Volume 75, Nummer 3, pp. 119-125, August
Year:


2000






» Fast Exact Minimization of BDDs
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Nicole Drechsler, Wolfgang Günther
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 19, Number 3, pp. 384-389, March
Year:


2000






» Pseudo Kronecker Expressions for Symmetric Functions
[Link to the homepage of the journal]







Author:

Rolf Drechsler
Journal:
IEEE Transactions on Computers
Details:
Volume 48, Number 9, pp. 987-990, September
Year:


1999






» Testability of 2-Level AND/EXOR Circuits
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker
Journal:
Journal of Electronic Testing, Theory and Application (JETTA)
Details:
Volume 14, Number 3, pp. 173-192, June
Year:


1999






» BDD Minimization Using Symmetries
[Link to the homepage of the journal]







Author:

Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler
Journal:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 18, Number 2, pp. 81-100, February
Year:


1999






» On Variable Ordering and Decomposition Type Choice in OKFDDs
[Link to the homepage of the journal]







Author:

Rolf Drechsler, Bernd Becker, Andrea Jahnke
Journal:
IEEE Transactions on Computers
Details:
Volume 47, Number 12, December
Year:


1998






» High Efficiency Time Redundant Hardened Latch for Reliable Circuit Design
[Link to the homepage of the journal]







Author:

Rahebeh Niaraki Asli, Saeideh Shirinzadeh
Journal:
Journal of Electronic Testing
Details:
Volume 29, Issue 4, pp 537-544
Year:


2013








back







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE