KI-gestützte Optimierung repetitiver Prozesse - Eine Kodierungstechnik für repetitive Prozesse in der evolutionären Optimierung
Autor: Christina Plump, Bernhard J. Berger, Rolf Drechsler
Zeitschrift:
Industrie 4.0 Management
Details: IM 39, pp. 19-22
Jahr: 2023
AI-Driven and Automated MRI Sequence Optimization in Scanner-Independent MRI Sequences Formulated by a Domain-Specific Language
Autor: Daniel Christopher Hoinkiss, Jörn Huber, Christina Plump, Christoph Lüth, Rolf Drechsler, Matthias Günther
Zeitschrift:
Frontiers in Neuroimaging
Details: 2-2023
Jahr: 2023
Impact of Sneak Paths on In-Memory Logic Design in Memristive Crossbars Information Technology
Autor: Kamalika Datta, Arighna Deb, Abhoy Kole, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details: accepted
Jahr: 2023
A Novel Default Risk Prediction and Feature Importance
Analysis Technique for Marketplace Lending using
Machine Learning
Autor: Sana Hassan Imam, Sebastian Huhn, Lars Hornuf, Rolf Drechsler
Zeitschrift:
Journal of Credit and Capital Markets
Details: accepted
Jahr: 2023
MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors
Autor: Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Circuits and Systems II: Express Briefs
Details: DOI: 10.1109/TCSII.2023.3242976
Jahr: 2023
Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT
Autor: Sören Tempel, Vladimir Herdt, Rolf Drechsler
Zeitschrift:
IEEE Internet of Things Journal
Details: DOI: 10.1109/JIOT.2023.3236694
Jahr: 2023
The MicroRV32 framework: An Accessible and Configurable Open Source RISC-V Cross-Level Platform for Education and Research
Autor: Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Zeitschrift:
Journal of Systems Architecture - Embedded Software Design (JSA)
Details: https://doi.org/10.1016/j.sysarc.2022.102757, Volume 133, 2022
Jahr: 2022
Advanced Embedded System Modeling and Simulation in an Open Source RISC-V Virtual Prototype
Autor: Pascal Pieper, Vladimir Herdt and Rolf Drechsler
Zeitschrift:
Journal of Low Power Electronics and Applications
Details: 12(4):52. https://doi.org/10.3390/jlpea12040052
Jahr: 2022
FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications
Autor: Dev Narayan Yadav, Phrangboklang Lyngton Thangkhiew, Kamalika Datta, Sandip Chakraborty, Rolf Drechsler, Indranil Sengupta
Zeitschrift:
Journal of Electronic Testing, Springer
Details: DOI:10.1007/ s10836-022-06001-2
Jahr: 2022
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
Autor: Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Zeitschrift:
Chips
Details: Volume 1, Issue 1, pp. 54-71, DOI 10.3390/chips1010006
Jahr: 2022
Power-aware Test Scheduling Framework for IEEE 1687 Multi-Power Domain Networks using Formal Techniques
Autor: Payam Habiby, Sebastian Huhn, Rolf Drechsler
Zeitschrift:
Microelectronics Reliability
Details: DOI: 10.1016/j.microrel.2022.114551, pp. 1-11
Jahr: 2022
Towards Quantification and Visualization of the Effects of Concretization during Concolic Testing
Autor: Sören Tempel, Vladimir Herdt, Rolf Drechsler
Zeitschrift:
IEEE Embedded Systems Letters (ESL)
Details: https://doi.org/10.1109/ LES.2022.3171603
Jahr: 2022
CoMIC: Complementary Memristor based in-memory computing in 3D architecture
Autor: F. Lalchhandama, Kamalika Datta, S. Chakraborty, Rolf Drechsler, I. Sengupta
Zeitschrift:
Journal of Systems Architecture (JSA)
Details: DOI: 10.1016/j.sysarc.2022.102480, Volume 126, Article 102480
Jahr: 2022
Template-based mapping of reversible circuits to IBM quantum computers
Autor: Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details: Volume 90, April 2022. DOI: 10.1016/j.micpro.2022.104487
Jahr: 2022
Unlocking Approximation for In-Memory Computing with Cartesian Genetic Programming and Computer Algebra for Arithmetic Circuits
Autor: Saman Fröhlich, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details: https://doi.org/10.1515/itit-2021-0042
Jahr: 2022
Verzahnung von Data Stewardship und Data Science – Wege und Perspektiven
Autor: Lena Steinmann, Rolf Drechsler
Zeitschrift:
Bausteine Forschungsdatenmanagement
Details: Nummer 3, pp. 83-91
Jahr: 2021
Disziplinübergreifendes Modell zur Ausbildung von Forschungsdatenmanagement und Data Science Kompetenzen: „Data Train – Training in Research Data Management and Data Science“
Autor: Tanja Hörner, Frank Oliver Glöckner, Rolf Drechsler, Iris Pigeot
Zeitschrift:
Bausteine Forschungsdatenmanagement
Details: Nummer 3, pp. 57-69
Jahr: 2021
Experimental Methods to Enable High-Throughput Characterization of New Structural Materials
Autor: Nils Ellendt, Brigitte Clausen, Nicole Mensching, Daniel Meyer, Christina Plump, Heike Sonnenberg, Matthias Steinbacher, Anastasiya Tönjes
Zeitschrift: JOM: the journal of the Minerals, Metals & Materials Society
Details: JOM 73, 3347–3355
Jahr: 2021
Advanced Virtual Prototyping for Cyber-Physical Systems using RISC-V: Implementation, Verification and Challenges
Autor: Vladimir Herdt, Rolf Drechsler
Zeitschrift:
Science China Information Sciences (SCIS)
Details: https://doi.org/10.1007/ s11432-020-3308-4
Jahr: 2021
Towards RISC-V CSR Compliance Testing
Autor: Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Zeitschrift:
IEEE Embedded Systems Letters (ESL)
Details: DOI: 10.1109/LES.2021.3077368, pp. 202-205
Jahr: 2021
An ant colony based mapping of quantum circuits to nearest neighbor architectures
Autor: Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherje, Robert Wille, Rolf Drechsler, Hafizur Rahamana
Zeitschrift:
Integration
Details: Volume 78, May 2021, Pages 11-24
Jahr: 2021
Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D Architectures
Autor: Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Zeitschrift:
IETE Journal of Research
Details: https://doi.org/10.1080/03772063.2020.1822215, pp. 340-353
Jahr: 2020
On the Difficulty of Inserting Trojans in Reversible Computing Architectures
Autor: Xiaotong Cui, Samah Mohamed Saeed, Alwin Zulehner, Robert Wille, Kaijie Wu, Rolf Drechsler, Ramesh Karri
Zeitschrift:
IEEE Transactions on Emerging Topics in Computing
Details: Volume: 8, Issue: 4, Oct.-Dec. 1 2020
Jahr: 2020
An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
Autor: Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann, Bappaditya Mondal, Rolf Drechsler, Hafizur Rahaman
Zeitschrift:
Integration
Details: Volume 76, January 2021, Pages 40-54, https://doi.org/10.1016/j.vlsi.2020.09.003
Jahr: 2020
Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures
Autor: Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Zeitschrift:
IETE Journal of Research
Details: https://doi.org/10.1080/03772063.2020.1822215
Jahr: 2020
ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
Autor: Buse Ustaoğlu, Kenneth Schmitz, Daniel Große, Rolf Drechsler
Zeitschrift:
SN Applied Sciences | Springer Nature
Details: ANr: 1363, DOI 10.1007/s42452-020-3003-x
Jahr: 2020
On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
Autor: 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
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details: Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109
Jahr: 2020
PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs using Regression Analysis Techniques
Autor: Mehran Goli, Rolf Drechsler
Zeitschrift:
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
Jahr: 2020
Near Zero-Energy Computation Using Quantum-dot Cellular Automata
Autor: Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift: Journal on Emerging Technologies in Computing Systems (JETC)
Details: Vol. 16, No. 1, https://dl.acm.org/doi/abs/10.1145/3365394, 2019
Jahr: 2019
Designing Partially Reversible Field-Coupled Nanocomputing Circuits
Autor: Jeferson Figueiredo Chaves, Marco Ribeiro, Frank Sill Torres, Omar Paranaiba Vilela Neto
Zeitschrift:
IEEE Transactions on Nanotechnology
Details: Volume 18, Issue: 1,pages 589-597, December 2019
DOI: 10.1109/TNANO.2019.2918057
Jahr: 2019
Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete
Autor: Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details: Volume 15, Issue 3, Number 29, April 2019. DOI: 10.1145/3312661
Jahr: 2019
Security Validation of VP-based SoCs Using
Dynamic Information Flow Tracking
Autor: Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details: https://doi.org/10.1515/itit-2018-0027
Jahr: 2019
Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits
Autor: Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
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
Jahr: 2019
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
Measurement and evaluation of calorimetric descriptors for the
suitability for evolutionary high-throughput material development
Autor: Anastasiya Toenjes, Heike Sonnenberg, Christina Plump, Rolf
Drechsler, Axel von Hehl
Zeitschrift:
Metals
Details: Volume 9 (2), 149;
Jahr: 2019
Evaluation of (power) side-channels
in cryptographic implementations
Autor: Florian Bache, Christina Plump, Jonas Wloka, Tim Güneysu, and Rolf Drechsler
Zeitschrift:
it – Information Technology
Details: Volume 61(1), DOI: 10.1515/itit-2018-0028
Jahr: 2019
"Copying allowed - But be careful, errors included!" - Effects of copying correct and incorrect solutions on learning outcomes
Autor: Cornelia Große
Zeitschrift:
Learning and Instruction
Details: Volume 58, pp. 173-181
Jahr: 2018
Arduinos in der Schule -
Lernen mit Mikrocontrollern
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
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
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: Volume 54, December 2018, Pages 512-527
DOI:
10.1016/j.cl.2017.11.002
Jahr: 2018
Synthesis of optical circuits using binary decision diagrams
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
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
Autor: Christopher Huth, Rene Guillaume, Thomas Strohm, Paul Duplys, Irin Ann Samuel, Tim Güneysu
Zeitschrift:
Computer Networks
Details: 109: 84-104
Jahr: 2016
Debugging hardware designs using dynamic dependency graphs
Autor: Jan Malburg, Alexander Finder, Görschwin Fey
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details: accepted, DOI: 10.1016/j.micpro.2016.10.004
Link
Jahr: 2016
Empirical Results on Parity-based Soft Error Detection with Software-based Retry
Autor: Gökçe Aydos, Görschwin Fey
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details: accepted, http://dx.doi.org/10.1016/j.micpro.2016.09.009
Jahr: 2016
Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability
Autor: Arighna Deb, Debesh K. Das, Hafizur Rahaman, Robert Wille, Rolf Drechsler, Bhargab B. Bhattacharya
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details: Volume 12 Issue 4, Article No. 34
Jahr: 2016
Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
Autor: Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler
Zeitschrift:
Combustion and Flame
Details: Volume 168, June 2016, Pages 255–269
Jahr: 2016
Online collaborative learning in dyads: Effects of knowledge distribution and awareness
Autor: Michail D. Kozlov, Cornelia Große
Zeitschrift:
Computers in Human Behavior
Details: Volume 59, 389-401
Jahr: 2016
Complexity of Reversible Circuits and their Quantum Implementations
Autor: Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
Zeitschrift:
Theoretical Computer Science
Details: Volume 618, (March 2016), pp. 85–106.
DOI:
10.1016/j.tcs.2016.01.011
Jahr: 2016
SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits
Autor: Robert Wille, Eleonora Schonborn, Mathias Soeken, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: 53(3):39-53
Jahr: 2016
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Autor: Jannis Stoppe, Rolf Drechsler
Zeitschrift:
Sensors
Details: Volume (issue) 15(5), pages 10399-10421
Jahr: 2015
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
Autor: Robert Wille, Oliver Keszöcze, Tobias Boehnisch, Alexander Kroker, Rolf Drechsler
Zeitschrift:
IEEE Design & Test of Computers
Details: Volume 32, Issue 66, Pages 41—50
Jahr: 2015
Ancilla-free synthesis of large reversible functions using binary decision diagrams
Autor: Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Zeitschrift:
Journal of Symbolic Computation
Details: accepted, preprint available at
arXiv 1408.3955
Jahr: 2015
Incorporating User Preferences in Many-Objective Optimization using Relation epsilon-Preferred
Autor: Nicole Drechsler, André Sülflow, Rolf Drechsler
Zeitschrift:
Natural Computing
Details: Volume 14, Issue 3, pp 469-483
Jahr: 2015
Dynamic X-filling for Peak Capture Power Reduction for Compact Test Sets
Autor: Stephan Eggersglüß
Zeitschrift: Journal of Electronic Testing: Theory and Applications
Details: Volume 30, Number 5, pp. 557-567
Jahr: 2014
Latency Analysis for Sequential Circuits
Autor: Alexander Finder, André Sülflow, Görschwin Fey
Zeitschrift: IEEE Trans. on CAD of Integrated Circuits and Systems
Details: Volume 33, Number 4, pp. 643-647,
DOI: 10.1109/TCAD.2013.2292501
Jahr: 2014
An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
Autor: Stephan Eggersglüß, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details: Volume 56, Number 4, pp. 157-164
Special Issue
Jahr: 2014
Mathematics learning with multiple solution methods: effects of types of solutions and learners’ activity
Autor: Cornelia Große
Zeitschrift:
Instructional Science
Details: Volume 42, Number 5, pp 715-745.
DOI:
10.1007/s11251-014-9312-y
Jahr: 2014
Upper bounds for reversible circuits based on Young subgroups
Autor: Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift:
Information Processing Letters
Details: Volume 114, Number 06 (June 2014), pp. 282-286.
DOI:
10.1016/j.ipl.2014.01.003
Jahr: 2014
Search-based testing using constraint-based mutation
Autor: Jan Malburg, Gordon Fraser
Zeitschrift:
Software Testing, Verification and Reliability
Details: Volume 24, Issue 6, pages 472–495, September 2014, DOI: 10.1002/stvr.1508
Link
Jahr: 2013 (online)
Considering Nearest Neighbor Constraints of Quantum Circuits at the Reversible Circuit Level
Autor: Robert Wille, Aaron Lye, Rolf Drechsler
Zeitschrift: Quantum Information Processing
Details: DOI:
http://dx.doi.org/10.1007/s11128-013-0642-5
Jahr: 2013
Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
Autor: Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: Volume 47, Number 2, pp. 284-294, DOI:
10.1016/j.vlsi.2013.08.002
Jahr: 2014
Speci fication-Driven Model Transformation Testing
Autor: Esther Guerra, Mathias Soeken
Zeitschrift:
Software and Systems Modeling
Details: accepted
Jahr: 2013
Debug Automation for Logic Circuits Under Timing Variations
Autor: Mehdi Dehbashi, Görschwin Fey
Zeitschrift:
IEEE Design & Test of Computers
Details: Volume 30, Issue 6, pp. 60-69
Jahr: 2013
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
Autor: Robert Wille, Mathias Soeken, Nils Przigoda, Rolf Drechsler
Zeitschrift:
Multiple-Valued Logic and Soft Computing
Details: Volume 21, Number 5-6, 2013, pp. 627-640
Jahr: 2013
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Autor: Daniel Große, Görschwin Fey, Rolf Drechsler
Zeitschrift: Electronic Communications of the EASST
Details: Volume 62, 13 pages
Jahr: 2013
RevKit: A Toolkit for Reversible Circuit Design
Autor: Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
Zeitschrift:
Multiple-Valued Logic and Soft Computing
Details: Volume 18, Number 1, pp. 55-65
Jahr: 2012
A Highly Fault-Efficient SAT-Based ATPG Flow
Autor: Stephan Eggersglüß, Rolf Drechsler
Zeitschrift:
IEEE Design & Test of Computers
Details: Volume 29, Issue 4 (July/August), pp. 63-70
Jahr: 2012
Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
Autor: Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler
Zeitschrift:
it-Information Technology
Details: Volume 52, Number 4, pp. 216-223
PDF Download
Jahr: 2010
Towards Fully Automatic Synthesis of Embedded Software
Autor: Ulrich Kühne, Daniel Große, Rolf Drechsler
Zeitschrift:
IEEE Embedded Systems Letters
Details: Volume 2, Number 3, pp. 53-57, September
Jahr: 2010
Overcoming the limitations of data introspection for SystemC
Autor: Christian Genz, Rolf Drechsler
Zeitschrift:
EDA Tech Forum
Details: Volume 6, Issue 5, Pages 30-34 (December 2009)
Jahr: 2009
Weighted A* search - unifying view and application
Autor: Rüdiger Ebendt, Rolf Drechsler
Zeitschrift:
Artificial Intelligence
Details: Volume 173, Issue 15, Pages 1367-1456 (September 2009)
Jahr: 2009
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
Autor: Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Jürgen Schlöffel, Daniel Tille
Zeitschrift:
it - information technology
Details: Volume 51, Number 2, pp. 102-111
Pdf download
Jahr: 2009
Exact Synthesis of Elementary Quantum Gate Circuits
Autor: Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Zeitschrift:
Multiple-Valued Logic and Soft Computing
Details: Volume 15, Number 4, pp. 283-300
Jahr: 2009
Advanced Verification by Automatic Property Generation
Autor: Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke
Zeitschrift:
IET Computers & Digital Techniques
Details: Volume 3, Issue 4, pp. 338-353, July
Jahr: 2009
Modeling and Proving Completeness in Formal Verification of Counting Heads
Autor: Sebastian Kinder, Rolf Drechsler
Zeitschrift:
Software Tools for Technology Transfer (STTT)
Details: Springer, Volume 10, Number 6, pp. 521 - 534
Jahr: 2008
Simultaneous On-Chip Bus Synthesis and Voltage Scaling Under Random On-Chip Data Traffic
Autor: Sujan Pandey, Manfred Glesner
Zeitschrift: IEEE Transaction on Very Large Scale Integration (VLSI) Systems
Details: Volume 15, Number 10, pp. 1111-1124, October
Jahr: 2007
Technische Dokumentation von Soft- und Hardware in
eingebetteten Systemen
Autor: Beate Muranko, Rolf Drechsler
Zeitschrift:
it - information technology
Details: Number 2, pp. 110-117
Pdf download
Jahr: 2007
Exact minimisation of path-related objective functions for binary decision diagrams
Autor: Rüdiger Ebendt, Rolf Drechsler
Zeitschrift:
IEE Proceedings Computer & Digital Techniques
Details: Volume 153, Number 4, pp. 231-242, July
Jahr: 2006
Generic Implementation of Multi-Valued Decision Diagram Packages
Autor: Rolf Drechsler, Dragan Jankovic, Radomir Stankovic
Zeitschrift: Multiple-Valued Logic and Soft Computing
Details: Volume 11, Numbers 1-2, pp. 1-18
Jahr: 2005
Methods for Construction of Recursive Algorithms for Reed-Mulle-Fourier Polarity Matrices Calculation
Autor: Dragan Jankovic, Rolf Drechsler
Zeitschrift: Multiple-Valued Logic and Soft Computing
Details: Volume 10, Numbers 1, pp. 29-50
Jahr: 2004
Using Word-Level Information in Formal Hardware Verification
Autor: Rolf Drechsler
Zeitschrift:
Automation and Remote Control
Details:
Jahr: Volume 65, Issue 6, pp. 963-977, June 2004
Ein Ansatz zur formalen Verifikation von Schaltungsbeschreibungen in SystemC
Autor: Daniel Große, Rolf Drechsler
Zeitschrift:
it - information technology
Details: Number 4, pp. 219-226, August
Jahr: 2003
Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams
Autor: Wolfgang Günther, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computers
Details: Volume 52, Number 9, pp. 1196-1209, September
Jahr: 2003
Exact Routing with Search Space Reduction
Autor: Frank Schmiedle, Rolf Drechsler, Bernd Becker
Zeitschrift:
IEEE Transactions on Computers
Details: Volume 52, Number 6, pp. 815-825, June
Jahr: 2003
Computer Architecture Core of Knowledge for Computer Science Studies
Autor: M. Stojcev, I. Milentijevic, D. Kehagias, Rolf Drechsler, M. Gusev
Zeitschrift: Cyprus Computer Society Journal
Details: Volume I, Edition 4, April
Jahr: 2003
Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation
Autor: Rolf Drechsler, Mikael Kerttu, Per Lindgren, Mitch Thornton
Zeitschrift:
Canadian Journal of Electrical and Computer Engineering
Details: Volume 27, Number 4, pp. 159-164, October
Jahr: 2002
Minimization of Word-level Decision Diagrams
Autor: Rolf Drechsler, Wolfgang Günther, Stefan Höreth.
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: Volume 33, Issue 1-2, pp. 39-70
Jahr: 2002
Minimization of Free BDDs
Autor: Wolfgang Günther, Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: Volume 32, Issue 1-2, pp. 41-59
Jahr: 2002
Verifying Integrity of Decision Diagrams
Autor: Rolf Drechsler
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: Volume 32, Issue 1-2, pp. 61-75
Jahr: 2002
Heuristic Learning based on Genetic Programming
Autor: Frank Schmiedle, Nicole Drechsler, Daniel Große and Rolf Drechsler
Zeitschrift:
Genetic Programming and Evolvable Machines
Details: Volume 3, pp. 363-388, December
Jahr: 2002
History-based Dynamic BDD Minimization
Autor: Rolf Drechsler, Wolfgang Günther
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: Volume 31, Issue 1, pp. 51-63
Jahr: 2001
Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld
Autor: Rolf Drechsler
Zeitschrift: it+ti - Informationstechnik und Technische Informatik
Details: Oldenbourg Wissenschaftsverlag, Number 4, pp. 200-205
Jahr: 2001
Decision Diagram Method for Calculation of Pruned Walsh Transform
Autor: Dragan Jankovic, Radomir Stankovic, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computers
Details: Volume 50, Number 2, pp. 147-157, February
Jahr: 2001
Boolean Function Representation and Spectral Characterization Using AND/OR Graphs
Autor: Alenka Zuzek, Rolf Drechsler, Mitch Thornton
Zeitschrift:
INTEGRATION, the VLSI Journal
Details: Volume 29, Issue 2, pp. 101-116, September
Jahr: 2000
Genetic Algorithm for Minimization of fixed polarity Reed-Muller expressions
Autor: Rolf Drechsler, Bernd Becker and Nicole Drechsler
Zeitschrift: IEE Proceedings Computers and Digital Techniques
Details: Volume 147, Number 5, September
Jahr: 2000
On the Computational Power of Linearly Transformed BDDs
Autor: Wolfgang Günther, Rolf Drechsler
Zeitschrift:
Information Processing Letters
Details: Volume 75, Nummer 3, pp. 119-125, August
Jahr: 2000
Pseudo Kronecker Expressions for Symmetric Functions
Autor: Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computers
Details: Volume 48, Number 9, pp. 987-990, September
Jahr: 1999
On Variable Ordering and Decomposition Type Choice in OKFDDs
Autor: Rolf Drechsler, Bernd Becker, Andrea Jahnke
Zeitschrift:
IEEE Transactions on Computers
Details: Volume 47, Number 12, December
Jahr: 1998
High Efficiency Time Redundant Hardened Latch for Reliable Circuit Design
Autor: Rahebeh Niaraki Asli, Saeideh Shirinzadeh
Zeitschrift:
Journal of Electronic Testing
Details: Volume 29, Issue 4, pp 537-544
Jahr: 2013
