Modulares und rekonfigurierbares Systemdesign für Unterwasserfahrzeuge
Author: Marc Hildebrandt, Kenneth Schmitz, Rolf Drechsler
Booktitle: KI-Technologie für Unterwasserroboter | Editor: Frank Kirchner, Sirko Straube, Daniel Kühn, Nina Hoyer
Publisher: Springer
DOI:10.1007/978-3-031-42369-7, pp. 65-76, 2023
Verifizierung für autonome Unterwassersysteme
Author: Christoph Lüth, Nicole Megow, Rolf Drechsler, Udo Frese
Booktitle: KI-Technologie für Unterwasserroboter | Editor: Frank Kirchner, Sirko Straube, Daniel Kühn, Nina Hoyer
Publisher: Springer
DOI:10.1007/978-3-031-42369-7, pp. 185-198, 2023
AQuCiDe: Architecture Aware Decomposition of Quantum Circuits
Author: Soumya Sengupta, Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
Booktitle: Quantum Computing: Circuits, Systems, Automation and Applications | Editor: Himanshu Thapliyal, Travis Humble
Publisher: Springer
DOI:10.1007/978-3-031-37966-6, pp. 69-87, 2024
Polynomial Formal Verification of Carry Look-Ahead Adders
Author: Alireza Mahzoon, Rolf Drechsler
Booktitle: Advances in the Boolean Domain | Editor: Bernd Steinbach
Publisher: Cambridge Scholars Publishing
ISBN: 1-5275-8872-6, pp. 93-114, 2023
Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs
Author: Khushboo Qayyum, Alireza Mahzoon, Rolf Drechsler
Booktitle: Advanced Boolean Techniques | Editor: Rolf Drechsler, Sebastian Huhn (Eds.)
Publisher: Springer
DOI 10.1007/978-3-031-28916-3, pp. 155-169, 2023
SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms
Author: Marcel Merten, Mohammed E. Djeridane, Sebastian Huhn, Rolf Drechsler
Booktitle: Advanced Boolean Techniques | Editor: Rolf Drechsler, Sebastian Huhn (Eds.)
Publisher: Springer
DOI 10.1007/978-3-031-28916-3, pp. 83-94, 2023
Toward System-Level Assertions for Heterogeneous Systems
Author: Muhammad Hassan, Thilo Vörtler, Karsten Einwich, Rolf Drechsler, Daniel Große
Booktitle: Advanced Boolean Techniques | Editor: Rolf Drechsler, Sebastian Huhn (Eds.)
Publisher: Springer
DOI 10.1007/978-3-031-28916-3, pp. 67-81, 2023
Empowering the Design of Reversible and Quantum Logic with Decision Diagrams
Author: Robert Wille, Philipp Niemann, Alwin Zulehner and Rolf Drechsler
Booktitle: Emerging Computing: From Devices to Systems | Editor: Mohamed M. Sabry Aly, Anupam Chattopadhyay
Publisher: Springer
Hardcover, eBook, pp. 355–369, 2022
Programmieren mit Arduinos
Author: Cornelia Große, Sebastian Huhn, Markus Leuschner
Booktitle: Schule in Farbigen Zuständen - Lernmodule für den 5. Jahrgang | Editor: Lutz Mädler, Claudia Sobich
Publisher: OpenAccess
pp. 37-82, 2022
Automatisierte Analyse virtueller Prototypen auf der ESL
Author: Mehran Goli
Booktitle: Ausgezeichnete Informatikdissertationen 2019 | Editor: S. Hölldobler et al.
Publisher: GI
Paperback, pp. 89-98, 2019
Das Bremen Ambient Assisted Living Lab und darüber hinaus – Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen
Author: Serge Autexier, Christoph Lüth, Rolf Drechsler
Booktitle: Künstliche Intelligenz im Gesundheitswesen | Editor: Mario A. Pfannstiel
Publisher: Springer
Hardcover, pp. 835-850, 2022
Verbessertes Virtual Prototyping für den Entwurfsablauf
Author: Vladimir Herdt
Booktitle: Ausgezeichnete Informatikdissertationen 2020 | Editor: S. Hölldobler et al.
Publisher: GI
Paperback, pp. 119-128, 2021
Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab
Author: Serge Autexier, Rolf Drechsler
Booktitle: Smart City – Made in Germany | Editor: Etezadzadeh, Chirine
Publisher: Springer
gebunden, pp. 671-682, 2020
Automatic Design of Microfluidic
Devices: An Overview of Platforms
and Corresponding Design Tasks
Author: Robert Wille, Bing Li, Rolf Drechsler, and Ulf Schlichtmann
Booktitle: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 | Editor: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Publisher: Springer
Hardcover, pp. 71-88, 2020
Extensible and Configurable RISC-V Based Virtual Prototype
Author: Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Booktitle: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 | Editor: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große
Publisher: Springer
Hardcover, pp. 115-134, 2020
Approximate Memory: Data Storage in the Context of Approximate Computing
Author: Saman Fröhlich, Daniel Große, Rolf Drechsler
Booktitle: Information Storage
| Editor: Cornelia S. Große, Rolf Drechsler
Publisher: Springer
Hardcover, pp. 111-133, 2019
Modular and Reconfigurable System Design for Underwater Vehicles
Author: Marc Hildebrandt, Kenneth Schmitz, Rolf Drechsler
Booktitle: AI Technology for Underwater Robots | Editor: Frank Kirchner, Sirko Straube, Daniel Kühn, Nina Hoyer
Publisher: Springer
DOI:10.1007/978-3-030-30683-0, pp. 59-69, 2019
Verification for Autonomous Underwater Systems
Author: Christoph Lüth, Nicole Megow, Rolf Drechsler, Udo Frese
Booktitle: AI Technology for Underwater Robots | Editor: Frank Kirchner, Sirko Straube, Daniel Kühn, Nina Hoyer
Publisher: Springer
DOI:10.1007/978-3-030-30683-0, pp. 169-181, 2019
An Efficient Nearest Neighbor Design for 2D Quantum Circuits
Author: A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, Robert Wille, Rolf Drechsler, H. Rahaman
Booktitle: Design and Testing of Reversible Logic | Editor: Ashutosh Kumar SinghMasahiro FujitaAnand Mohan
Publisher: Springer
gebunden, pp. Pages 215-231, 2020
Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz
Author: Rolf Drechsler, Christoph Lüth
Booktitle: Brauchen wir eine neue Staatskunst? | Editor: Henning Lühr
Publisher: Kellner Verlag
Gebunden, Softcover, pp. 42-47, 2019
In-Memory Computing:
The Integration of Storage and Processing
Author: Saeideh Shirinzadeh, Rolf Drechsler
Booktitle: Information Storage
A Multidisciplinary Perspective | Editor: Cornelia S. Große, Rolf Drechsler
Publisher: Springer
Hardcover, 2019
Approximate Hardware Generation Using Formal Techniques
Author: Saman Fröhlich, Daniel Große, Rolf Drechsler
Booktitle: Approximate Circuits: Methodologies and CAD
| Editor: Sherief Reda, Muhammad Shafique
Publisher: Springer
Hardcover, pp. 155-174, 2019
Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach
Author: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Booktitle: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 | Editor: Daniel Große, Sara Vinco, Hiren Patel
Publisher: Springer
Hardcover, pp. 25-44, 2019
Computational Complexity of Error Metrics in Approximate Computing
Author: Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
Booktitle: Further Improvements in the Boolean Domain | Editor: Bernd Steinbach
Publisher: Cambridge Scholars Publishing
Paperback, 2018
On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study
Author: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Booktitle: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 | Editor: Franco Fummi, Robert Wille
Publisher: Springer
Hardcover, pp. 39-58, 2018
Logic Synthesis for Majority based In-Memory Computing
Author: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Booktitle: Advances in Memristors, Memristive Devices and Systems | Editor: Sundarapandian Vaidyanathan, Christos Volos
Publisher: Springer
Hardcover, pp. 425 - 448, 2017
Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene
Author: Hoang M. Le
Booktitle: Ausgezeichnete Informatikdissertationen 2015 | Editor: S. Hölldobler et al.
Publisher: GI
Paperback, pp. 179-188, 2016
Formal Verification of SystemC-based Cyber Components
Author: Daniel Große, Hoang M. Le, Rolf Drechsler
Booktitle: Industrial Internet of Things: Cybermanufacturing Systems | Editor: Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat
Publisher: Springer
Hardcover, pp. 137-167, 2016
A framework for reversible circuit complexity
Author: Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Booktitle: Problems and New Solutions in the Boolean Domain | Editor: Bernd Steinbach
Publisher: Cambridge Scholars Publishing
Paperback, pp. 327 - 341, 2016
Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
Author: Oliver Keszöcze, Robert Wille
Booktitle: Languages, Design Methods, and Tools for Electronic System Design | Editor: Frank Oppenheimer, Julio Luis Medina Pasaje
Publisher: Springer
gebunden, pp. 101—112, 2016
Formale Spezifikationsebene
Author: Mathias Soeken
Booktitle: Ausgezeichnete Informatikdissertationen 2013 | Editor: S. Hölldobler et al.
Publisher: GI
Paperback, pp. 241-250, 2014
Formal Specification Level
Author: Rolf Drechsler, Mathias Soeken, Robert Wille
Booktitle: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 | Editor: Jan Haase
Publisher: Springer
Hardcover, pp. 37-52, 2014
Evaluating Debugging Algorithms from a Qualitative Perspective
Author: Alexander Finder, Görschwin Fey
Booktitle: System Specification and Design Languages: Selected Contributions from FDL 2010 | Editor: Tom J. Kazmierski, Adam Morawiec
Publisher: Springer
Hardcover, pp. 21-36, 2012
Assessing System Vulnerability Using Formal Verification Techniques
Author: Görschwin Fey
Booktitle: Mathematical and Engineering Methods in Computer Science | Editor: Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš
Publisher: Springer
Hardcover, pp. 47-56, 2012
SyReC: A Programming Language for Synthesis of Reversible Circuits
Author: Robert Wille, Sebastian Offermann, Rolf Drechsler
Booktitle: System Specification and Design Languages: Selected Contributions from FDL 2010 | Editor: Tom J. Kazmierski, Adam Morawiec
Publisher: Springer
Hardcover, pp. 207-222, 2012
Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
Author: Stephan Eggersglüß
Booktitle: Ausgezeichnete Informatikdissertationen 2010 | Editor: S. Hölldobler et al.
Publisher: GI
Paperback, pp. 81-90, 2011
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis
Author: Daniel Große, Görschwin Fey, Rolf Drechsler
Booktitle: Design and Test Technology for Dependable Systems-on-Chip | Editor: Raimund Ubar, Jaan Raik, Heinrich Theodor Vierhaus
Publisher: Information Science Reference
Hardcover, pp. 119-129, 2011
SMT-based Stimuli Generation in the SystemC Verification Library
Author: Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Booktitle: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 | Editor: Dominique Borrione
Publisher: Springer
Hardcover, pp. 227-244, 2010
Synthesis of Boolean Functions in Reversible Logic
Author: Robert Wille, Rolf Drechsler
Booktitle: Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems) | Editor: Tsutomu Sasao, Jon T. Butler, Mitchell Thornton
Publisher: Morgan and Claypool Publishers
Paperback, pp. 75-92, 2010
Ein Entwurfsablauf für Reversible Schaltkreise
Author: Robert Wille
Booktitle: Ausgezeichnete Informatikdissertationen 2009 | Editor: S. Hölldobler et al.
Publisher: GI
Paperback, pp. 291-300 , 2010
Non-Clausal SAT and ATPG
Author: Rolf Drechsler, Tommi Junttila and Ilkka Niemelä
Booktitle: Handbook of Satisfiability | Editor: A. Biere, M. Heule, H. van Maaren, T. Walsh
Publisher: IOS Press
gebunden, pp. 655-693, 2009
Debugging Contradictory Constraints in Constraint-based Random Simulation
Author: Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
Booktitle: Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 | Editor: Martin Radetzki
Publisher: Springer
gebunden, pp. 273-290, 2009
SWORD: A SAT like Prover Using Word Level Information
Author: Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler
Booktitle: VLSI-SoC: Advanced Topics on Systems on a Chip:
A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip | Editor: Ricardo Reis, Vincent Mooney, Paul Hasler
Publisher: Springer
Hardcover, pp. 175-192, 2009
An Integrated SystemC Debugging Environment
Author: Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke
Booktitle: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 | Editor: Eugenio Villar
Publisher: Springer
gebunden, pp. 59-71, 2008
Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme
Author: Daniel Große
Booktitle: Ausgezeichnete Informatikdissertationen 2008 | Editor: Dorothea Wagner
Publisher: GI
Paperback, pp. 121-130, 2009
Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques
Author: Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
Booktitle: Embedded Systems Specification and Design Languages: Selected contributions from FDL'07 | Editor: Eugenio Villar
Publisher: Springer
gebunden, pp. 73-86, 2008
Non-Intrusive High-level SystemC Debugging
Author: Frank Rogin, Erhard Fehlauer, Steffen Ruelke, Sebastian Ohnewald, Thomas Berndt
Booktitle: Advances in Design and Specification Languages for Embedded Systems | Editor: Sorin A. Huss
Publisher: Springer
gebunden, pp. 131-144, 2007
Exact BDD Minimization for Path-Related Objective Functions
Author: Rüdiger Ebendt, Rolf Drechsler
Booktitle: VLSI-SoC: From Systems to Silicon | Editor: Ricardo Reis, Ada Osseiran, Hans-Jörg Pleiderer
Publisher: Springer
gebunden, pp. 299-315, 2007
Stuck-At-Fault Testability of SPP Three-Level Logic Forms
Author: V. Ciriani, A. Bernasconi, Rolf Drechsler
Booktitle: VLSI-SOC: From Systems to Chips | Editor: M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Publisher: Springer
gebunden, pp. 299-313, 2006
Exploration of Sequential Depth by Evolutionary Algorithms
Author: Nicole Drechsler, Rolf Drechsler
Booktitle: VLSI-SOC: From Systems to Chips | Editor: M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking
Publisher: Springer Boston
gebunden, pp. 73-83, 2006
Processor Verification
Author: Daniel Große, Robert Siegmund, Rolf Drechsler
Booktitle: Customizable Embedded Processors | Editor: Paolo Ienne, Rainer Leupers
Publisher: Elsevier
gebunden, pp. 281-302, 2006
Automatic Test Pattern Generation
Author: Rolf Drechsler, Görschwin Fey
Booktitle: Formal Methods for Hardware Verification, LNCS 3965 | Editor: Marco Bernardo, Alessandro Cimatti
Publisher: Springer
gebunden, pp. 30-55, 2006
System-level validation using formal techniques
Author: Rolf Drechsler, Daniel Große
Booktitle: System-on-Chip: Next Generation Electronics | Editor: Bashir M. Al-Hashimi
Publisher: The IEE
gebunden, pp. 715-745, 2006
