Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits
Author: Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
Journal: IEEE Transactions on Circuits and Systems I: Regular Papers
Year: 2024
Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders
Author: Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
Journal:
it-Information Technology
Year: 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
Author: Sana Hassan Imam, Christopher A. Metz, Lars Hornuf, Rolf Drechsler
Journal:
Proceedings of the ACM on Human-Computer Interaction
Details: Vol. 8, No. CSCW2
Year: 2024
Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style
Author: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Phrangboklang Lyngton Thangkhiew, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant
Journal:
IEEE Embedded Systems Letters (ESL)
Details:
DOI: 10.1109/LES.2023.3298740 Year: 2023
Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation
Author: Sallar Ahmadi-Pour, Mathis Logemann, Vladimir Herdt, Rolf Drechsler
Journal:
Chips
Details:
DOI: 10.3390/chips2030012, Volume 2, Issue 3, pp. 195-208
Year: 2023
KI-gestützte Optimierung repetitiver Prozesse - Eine Kodierungstechnik für repetitive Prozesse in der evolutionären Optimierung
Author: Christina Plump, Bernhard J. Berger, Rolf Drechsler
Journal:
Industrie 4.0 Management
Details:
DOI: 10.30844/IM_23-1_19-22, IM 39, pp. 19-22
Year: 2023
AI-Driven and Automated MRI Sequence Optimization in Scanner-Independent MRI Sequences Formulated by a Domain-Specific Language
Author: Daniel Christopher Hoinkiss, Jörn Huber, Christina Plump, Christoph Lüth, Rolf Drechsler, Matthias Günther
Journal:
Frontiers in Neuroimaging
Details:
DOI: 10.3389/fnimg.2023.1090054, Volume 2-2023
Year: 2023
A Novel Default Risk Prediction and Feature Importance
Analysis Technique for Marketplace Lending using
Machine Learning
Author: Sana Hassan Imam, Sebastian Huhn, Lars Hornuf, Rolf Drechsler
Journal:
Journal of Credit and Capital Markets
Details:
DOI: 10.3790/ccm.56.1.27, Vol. 56 (2023), Iss. 1 : pp. 27–62
Year: 2023
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
Author: Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Journal:
Chips
Details:
DOI 10.3390/chips1010006, Volume 1, Issue 1, pp. 54-71
Year: 2022
Disziplinübergreifendes Modell zur Ausbildung von Forschungsdatenmanagement und Data Science Kompetenzen: „Data Train – Training in Research Data Management and Data Science“
Author: Tanja Hörner, Frank Oliver Glöckner, Rolf Drechsler, Iris Pigeot
Journal:
Bausteine Forschungsdatenmanagement
Details:
DOI: 10.17192/bfdm.2021.3.8343, Nummer 3, pp. 57-69
Year: 2021
Experimental Methods to Enable High-Throughput Characterization of New Structural Materials
Author: Nils Ellendt, Brigitte Clausen, Nicole Mensching, Daniel Meyer, Christina Plump, Heike Sonnenberg, Matthias Steinbacher, Anastasiya Tönjes
Journal: JOM: the journal of the Minerals, Metals & Materials Society
Details:
DOI: 10.1007/s11837-021-04901-w, JOM 73, 3347–3355
Year: 2021
An ant colony based mapping of quantum circuits to nearest neighbor architectures
Author: Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherje, Robert Wille, Rolf Drechsler, Hafizur Rahamana
Journal:
Integration
Details:
DOI: 10.1016/j.vlsi.2020.12.002, Volume 78, May 2021, Pages 11-24
Year: 2021
An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
Author: Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann, Bappaditya Mondal, Rolf Drechsler, Hafizur Rahaman
Journal:
Integration
Details:
DOI 10.1016/j.vlsi.2020.09.003, Volume 76, January 2021, Pages 40-54
Year: 2020
Improving the Designs of Nearest Neighbor Quantum Circuits for 1D and 2D Architectures
Author: Chandan Bandyopadhyay, Anirban Bhattacharjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Journal:
IETE Journal of Research
Details:
DOI: 10.1080/03772063.2020.1822215, Volume 69, 2023 - Issue 1, pp. 340-353
Year: 2020
On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
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:
DOI: 10.1016/j.micpro.2020.103109, Volume 76, July 2020
Year: 2020
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:
DOI 10.1145/3365394,Vol. 16, No. 1
Year: 2019
Measurement and evaluation of calorimetric descriptors for the
suitability for evolutionary high-throughput material development
Author: Anastasiya Toenjes, Heike Sonnenberg, Christina Plump, Rolf
Drechsler, Axel von Hehl
Journal:
Metals
Details:
DOI: 10.3390/met9020149, Volume 9 (2), 149;
Year: 2019
Arduinos in der Schule -
Lernen mit Mikrocontrollern
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
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
Author: Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Journal:
Journal of Low Power Electronics
Details:
DOI: 10.1166/jolpe.2017.1515, Volume 13, Number 4, Pages 633-641
Year: 2017
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
Author: Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Journal:
Computer Languages, Systems & Structures
Details:
DOI: 10.1016/j.cl.2017.11.002, Volume 54, Pages 512-527
Year: 2018
A PLiM computer for the IoT
Author: Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
Journal:
Computer
Details:
DOI: 10.1109/MC.2017.173, 50(6):35-40
Year: 2017
Information reconciliation schemes in physical-layer security: A survey
Author: Christopher Huth, Rene Guillaume, Thomas Strohm, Paul Duplys, Irin Ann Samuel, Tim Güneysu
Journal:
Computer Networks
Details:
DOI: 10.1016/j.comnet.2016.06.014, 109: 84-104
Year: 2016
Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
Author: Christopher Rosebrock, Saeideh Shirinzadeh, Mathias Soeken, Norbert Riefler, Thomas Wriedt, Rolf Drechsler, Lutz Mädler
Journal:
Combustion and Flame
Details:
DOI: 10.1016/j.combustflame.2016.03.007, Volume 168, June 2016, Pages 255–269
Year: 2016
KI-Unterstützung im Systementwurf –
Wenn Computer lernen, wie Computer
arbeiten
Author: Jannis Stoppe, Rolf Drechsler
Journal:
Industrie 4.0 Management
Details: 1/2015, Nr. 5104
Year: 2015
Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Author: Jannis Stoppe, Rolf Drechsler
Journal:
Sensors
Details:
DOI: 10.3390/s150510399, Volume (issue) 15(5), pages 10399-10421
Year: 2015
Incorporating User Preferences in Many-Objective Optimization using Relation epsilon-Preferred
Author: Nicole Drechsler, André Sülflow, Rolf Drechsler
Journal:
Natural Computing
Details:
DOI: 10.1007/s11047-014-9422-0, Volume 14, Issue 3, pp 469-483
Year: 2015
Improved Cube List Based Cube Pairing Approach for Synthesis of ESOP Based Reversible Logic
Author: Chandan Bandyopadhyay, Hafizur Rahaman, Rolf Drechsler
Journal:
Transactions on Computational Science
Details: XXIV, pp 129–146, DOI: 10.1007/978-3-662-45711-5_8
Year: 2014
An Approach to Reversible Logic Synthesis Using Input and Output Permutations
Author: Kamalika Datta, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
Journal:
Transactions on Computational Science
Details: XXIV, pp 92-110, DOI: 10.1007/978-3-662-45711-5_6
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:
DOI: 10.1007/s10836-014-5472-6, 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:
DOI: 10.1109/TCAD.2013.2292501, Volume 33, Number 4, pp. 643-647
Year: 2014
Formale Verifikation von UML-basierten Spezifikationen, Prüfung der Korrektheit von Systementwürfen vor deren Implementierung
Author: Mathias Soeken, Robert Wille, Rolf Drechsler
Journal: In Industrie Management 1/2013
Details: pp.44-48, 2013
Year: 2013
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: 10.1007/s11128-013-0642-5 Year: 2013
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
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
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:
DOI 10.14279/tuj.eceasst.62.860, Volume 62, pp. 13
Year: 2013
RevKit: A Toolkit for Reversible Circuit Design
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
Formale Verifikation von logistischen Prozessmodellen
Author: B. Scholz-Reiter, M. Lütjen, C. Ruthenbeck, F. Harjes, Rolf Drechsler
Journal:
ERP Management
Details: Volume 5, pp.44-47
Year: 2009
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:
DOI: 10.1109/TVLSI.2007.903924Volume 15, Number 10, pp. 1111-1124
Year: 2007
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
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
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
Low Power Optimization Techniques for BDD Mapped Circuits Using Temporal Correlation
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
Efficient Algorithms for Creation of Linearly-independent Decision Diagrams and their Mapping to Regular Layouts
Author: M. Perkowski, B. Falkowski, M. Chrzanowska-Jeske, Rolf Drechsler
Journal: 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
Year: 2002
Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs
Author: M. A. Thornton, Rolf Drechsler, W. Günther
Journal:
VLSI Design
Details: DOI: 10.1080/10655140290009800, Volume 14, Article ID 290173
Year: 2002
Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld
Author: Rolf Drechsler
Journal: it+ti - Informationstechnik und Technische Informatik
Details:
DOI: 10.1524/itit.2001.43.4.200, Oldenbourg Wissenschaftsverlag, Number 4, pp. 200-205
Year: 2001
EXOR transform of inputs to design efficient two-level AND/EXOR adders
Author: Rolf Drechsler, Bernd Becker
Journal: Electronics Letters
Details: DOI: 10.1049/el:20000214, Stevenage Bd. 36, Ausg. 3, (Feb 3, 2000): 1-2
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:
DOI: 10.1049/ip-cdt:20000743, Volume 147, Number 5, September
Year: 2000
ETDD-based synthesis of two-dimensional cellular arrays for multi-output incompletely specified Boolean functions
Author: G. Lee, Rolf Drechsler, M. A. Perkowski
Journal:
IEE Proceedings - Computers and Digital Techniques
Details: DOI: 10.1049/ip-cdt:19990798, Volume 146, Issue 6, pp. 302–308
Year: 1999
OKFDD minimization by genetic algorithms with application to circuit design
Author: Rolf Drechsler, Bernd Becker, Nicole Drechsler
Journal:
Integration
Details: DOI: 10.1016/S0167-9260(99)00017-6, Volume 28, Issue 2, pp. 121-139
Year: 1999