Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits
Autor: Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
Zeitschrift: IEEE Transactions on Circuits and Systems I: Regular Papers
Jahr: 2024
Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders
Autor: Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
Zeitschrift:
it-Information Technology
Jahr: 2024
Determining the Effect of Feedback Quality on User Engagement on Online Idea Crowdsourcing Platforms Using an AI model | Proceedings of the ACM on Human-Computer Interaction
Autor: Sana Hassan Imam, Christopher A. Metz, Lars Hornuf, Rolf Drechsler
Zeitschrift:
Proceedings of the ACM on Human-Computer Interaction
Details: Vol. 8, No. CSCW2
Jahr: 2024
Determining the Effect of Feedback Quality on User Engagement on Idea Crowdsourcing Platforms using an AI model
Autor: Sana Hassan Imam, Christopher A. Metz, Lars Hornuf, Rolf Drechsler
Zeitschrift:
Proceedings of the ACM on Human-Computer Interaction
Jahr: 2024
Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style
Autor: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Phrangboklang Lyngton Thangkhiew, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant
Zeitschrift:
IEEE Embedded Systems Letters (ESL)
Details:
DOI: 10.1109/LES.2023.3298740 Jahr: 2023
Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation
Autor: Sallar Ahmadi-Pour, Mathis Logemann, Vladimir Herdt, Rolf Drechsler
Zeitschrift:
Chips
Details:
DOI: 10.3390/chips2030012, Volume 2, Issue 3, pp. 195-208
Jahr: 2023
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:
DOI: 10.30844/IM_23-1_19-22, 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:
DOI: 10.3389/fnimg.2023.1090054, Volume 2-2023
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:
DOI: 10.3790/ccm.56.1.27, Vol. 56 (2023), Iss. 1 : pp. 27–62
Jahr: 2023
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:
DOI 10.3390/chips1010006, Volume 1, Issue 1, pp. 54-71
Jahr: 2022
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:
DOI: 10.17192/bfdm.2021.3.8343, 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:
DOI: 10.1007/s11837-021-04901-w, JOM 73, 3347–3355
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:
DOI: 10.1016/j.vlsi.2020.12.002, Volume 78, May 2021, Pages 11-24
Jahr: 2021
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:
DOI 10.1016/j.vlsi.2020.09.003, Volume 76, January 2021, Pages 40-54
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:
DOI: 10.1080/03772063.2020.1822215, Volume 69, 2023 - Issue 1, pp. 340-353
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:
DOI: 10.1016/j.micpro.2020.103109, Volume 76, July 2020
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:
DOI 10.1145/3365394,Vol. 16, No. 1
Jahr: 2019
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:
DOI: 10.3390/met9020149, Volume 9 (2), 149;
Jahr: 2019
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:
DOI: 10.1166/jolpe.2017.1515, 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:
DOI: 10.1016/j.cl.2017.11.002, Volume 54, Pages 512-527
Jahr: 2018
A PLiM computer for the IoT
Autor: Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
Zeitschrift:
Computer
Details:
DOI: 10.1109/MC.2017.173, 50(6):35-40
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:
DOI: 10.1016/j.comnet.2016.06.014, 109: 84-104
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:
DOI: 10.1016/j.combustflame.2016.03.007, Volume 168, June 2016, Pages 255–269
Jahr: 2016
KI-Unterstützung im Systementwurf –
Wenn Computer lernen, wie Computer
arbeiten
Autor: Jannis Stoppe, Rolf Drechsler
Zeitschrift:
Industrie 4.0 Management
Details: 1/2015, Nr. 5104
Jahr: 2015
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Autor: Jannis Stoppe, Rolf Drechsler
Zeitschrift:
Sensors
Details:
DOI: 10.3390/s150510399, Volume (issue) 15(5), pages 10399-10421
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:
DOI: 10.1007/s11047-014-9422-0, Volume 14, Issue 3, pp 469-483
Jahr: 2015
Improved Cube List Based Cube Pairing Approach for Synthesis of ESOP Based Reversible Logic
Autor: Chandan Bandyopadhyay, Hafizur Rahaman, Rolf Drechsler
Zeitschrift:
Transactions on Computational Science
Details: XXIV, pp 129–146, DOI: 10.1007/978-3-662-45711-5_8
Jahr: 2014
An Approach to Reversible Logic Synthesis Using Input and Output Permutations
Autor: Kamalika Datta, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
Zeitschrift:
Transactions on Computational Science
Details: XXIV, pp 92-110, DOI: 10.1007/978-3-662-45711-5_6
Jahr: 2014
Dynamic X-filling for Peak Capture Power Reduction for Compact Test Sets
Autor: Stephan Eggersglüß
Zeitschrift: Journal of Electronic Testing: Theory and Applications
Details:
DOI: 10.1007/s10836-014-5472-6, 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:
DOI: 10.1109/TCAD.2013.2292501, Volume 33, Number 4, pp. 643-647
Jahr: 2014
Formale Verifikation von UML-basierten Spezifikationen, Prüfung der Korrektheit von Systementwürfen vor deren Implementierung
Autor: Mathias Soeken, Robert Wille, Rolf Drechsler
Zeitschrift: In Industrie Management 1/2013
Details: pp.44-48, 2013
Jahr: 2013
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: 10.1007/s11128-013-0642-5 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:
DOI 10.14279/tuj.eceasst.62.860, Volume 62, pp. 13
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
Formale Verifikation von logistischen Prozessmodellen
Autor: B. Scholz-Reiter, M. Lütjen, C. Ruthenbeck, F. Harjes, Rolf Drechsler
Zeitschrift:
ERP Management
Details: Volume 5, pp.44-47
Jahr: 2009
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:
DOI: 10.1109/TVLSI.2007.903924Volume 15, Number 10, pp. 1111-1124
Jahr: 2007
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
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
Efficient Algorithms for Creation of Linearly-independent Decision Diagrams and their Mapping to Regular Layouts
Autor: M. Perkowski, B. Falkowski, M. Chrzanowska-Jeske, Rolf Drechsler
Zeitschrift: In VLSI Design — An International Journal of Custom-Chip Design, Simulation, and Testing, Special Issue on Spectral Techniques and Decision Diagrams
Details: Volume 14, Number 1, pp. 35-52, February 2002
Jahr: 2002
Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs
Autor: M. A. Thornton, Rolf Drechsler, W. Günther
Zeitschrift:
VLSI Design
Details: DOI: 10.1080/10655140290009800, Volume 14, Article ID 290173
Jahr: 2002
Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld
Autor: Rolf Drechsler
Zeitschrift: it+ti - Informationstechnik und Technische Informatik
Details:
DOI: 10.1524/itit.2001.43.4.200, Oldenbourg Wissenschaftsverlag, Number 4, pp. 200-205
Jahr: 2001
EXOR transform of inputs to design efficient two-level AND/EXOR adders
Autor: Rolf Drechsler, Bernd Becker
Zeitschrift: Electronics Letters
Details: DOI: 10.1049/el:20000214, Stevenage Bd. 36, Ausg. 3, (Feb 3, 2000): 1-2
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:
DOI: 10.1049/ip-cdt:20000743, Volume 147, Number 5, September
Jahr: 2000
ETDD-based synthesis of two-dimensional cellular arrays for multi-output incompletely specified Boolean functions
Autor: G. Lee, Rolf Drechsler, M. A. Perkowski
Zeitschrift:
IEE Proceedings - Computers and Digital Techniques
Details: DOI: 10.1049/ip-cdt:19990798, Volume 146, Issue 6, pp. 302–308
Jahr: 1999
OKFDD minimization by genetic algorithms with application to circuit design
Autor: Rolf Drechsler, Bernd Becker, Nicole Drechsler
Zeitschrift:
Integration
Details: DOI: 10.1016/S0167-9260(99)00017-6, Volume 28, Issue 2, pp. 121-139
Jahr: 1999