|
Home « Publications « Book contributions
| » Intelligent Umgeben: Ausgewählte Einblicke in 10 Jahre Bremen Ambient Assisted Living Lab |
 |
| Author: | Serge Autexier, Rolf Drechsler
|
| Editor: | Etezadzadeh, Chirine |
| Booktitle: | Smart City – Made in Germany |
| Publisher: | Springer |
| Sites: | 671-682 |
| Year: | 2020 |
| Format: | gebunden |
| | More Information |
|
| » Automatic Design of Microfluidic
Devices: An Overview of Platforms
and Corresponding Design Tasks |
 |
| Author: | Robert Wille, Bing Li, Rolf Drechsler, and Ulf Schlichtmann
|
| Editor: | Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 |
| Publisher: | Springer |
| Sites: | 71-88 |
| Year: | 2020 |
| Format: | Hardcover |
| | More Information |
|
| » Extensible and Configurable RISC-V Based Virtual Prototype |
|
| Author: | Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
|
| Editor: | Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018 |
| Publisher: | Springer |
| Sites: | 115-134 |
| Year: | 2020 |
| Format: | Hardcover |
| | More Information |
|
| » Approximate Memory: Data Storage in the Context of Approximate Computing |
 |
| Author: | Saman Fröhlich, Daniel Große, Rolf Drechsler
|
| Editor: | Cornelia S. Große, Rolf Drechsler |
| Booktitle: | Information Storage
|
| Publisher: | Springer |
| Sites: | 111-133 |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » An Efficient Nearest Neighbor Design for 2D Quantum Circuits |
 |
| Author: | A. Bhattacharjee, C. Bandyopadhyay, B. Mondal, Robert Wille, Rolf Drechsler, H. Rahaman
|
| Editor: | Ashutosh Kumar SinghMasahiro FujitaAnand Mohan |
| Booktitle: | Design and Testing of Reversible Logic |
| Publisher: | Springer |
| Sites: | Pages 215-231 |
| Year: | 2020 |
| Format: | gebunden |
| | More Information |
|
| » Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz |
 |
| Author: | Rolf Drechsler, Christoph Lüth
|
| Editor: | Henning Lühr |
| Booktitle: | Brauchen wir eine neue Staatskunst? |
| Publisher: | Kellner Verlag |
| Sites: | 42-47 |
| Year: | 2019 |
| Format: | Gebunden, Softcover |
|
| » In-Memory Computing:
The Integration of Storage and Processing |
|
| Author: | Saeideh Shirinzadeh, Rolf Drechsler
|
| Editor: | Cornelia S. Große, Rolf Drechsler |
| Booktitle: | Information Storage
A Multidisciplinary Perspective |
| Publisher: | Springer |
| Sites: | |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » Approximate Hardware Generation Using Formal Techniques |
 |
| Author: | Saman Fröhlich, Daniel Große, Rolf Drechsler
|
| Editor: | Sherief Reda, Muhammad Shafique |
| Booktitle: | Approximate Circuits: Methodologies and CAD
|
| Publisher: | Springer |
| Sites: | 155-174 |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » 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
|
| Editor: | Daniel Große, Sara Vinco, Hiren Patel |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017 |
| Publisher: | Springer |
| Sites: | 25-44 |
| Year: | 2019 |
| Format: | Hardcover |
| | More Information |
|
| » Computational Complexity of Error Metrics in Approximate Computing |
 |
| Author: | Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
|
| Editor: | Bernd Steinbach |
| Booktitle: | Further Improvements in the Boolean Domain |
| Publisher: | Cambridge Scholars Publishing |
| Sites: | |
| Year: | 2018 |
| Format: | Paperback |
| | More Information |
|
| » 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
|
| Editor: | Franco Fummi, Robert Wille |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016 |
| Publisher: | Springer |
| Sites: | 39-58 |
| Year: | 2018 |
| Format: | Hardcover |
| | More Information |
|
| » Logic Synthesis for Majority based In-Memory Computing |
 |
| Author: | Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
|
| Editor: | Sundarapandian Vaidyanathan, Christos Volos |
| Booktitle: | Advances in Memristors, Memristive Devices and Systems |
| Publisher: | Springer |
| Sites: | 425 - 448 |
| Year: | 2017 |
| Format: | Hardcover |
| | More Information |
|
| » Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf Systemebene |
 |
| Author: | Hoang M. Le
|
| Editor: | S. Hölldobler et al. |
| Booktitle: | Ausgezeichnete Informatikdissertationen 2015 |
| Publisher: | GI |
| Sites: | 179-188 |
| Year: | 2016 |
| Format: | Paperback |
|
| » Formal Verification of SystemC-based Cyber Components |
 |
| Author: | Daniel Große, Hoang M. Le, Rolf Drechsler
|
| Editor: | Sabina Jeschke, Christian Brecher, Houbing Song, Danda B. Rawat |
| Booktitle: | Industrial Internet of Things: Cybermanufacturing Systems |
| Publisher: | Springer |
| Sites: | 137-167 |
| Year: | 2016 |
| Format: | Hardcover |
| | More Information |
|
| » A framework for reversible circuit complexity |
 |
| Author: | Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
|
| Editor: | Bernd Steinbach |
| Booktitle: | Problems and New Solutions in the Boolean Domain |
| Publisher: | Cambridge Scholars Publishing |
| Sites: | 327 - 341 |
| Year: | 2016 |
| Format: | Paperback |
| | More Information |
|
| » Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision |
 |
| Author: | Oliver Keszöcze, Robert Wille
|
| Editor: | Frank Oppenheimer, Julio Luis Medina Pasaje |
| Booktitle: | Languages, Design Methods, and Tools for Electronic System Design |
| Publisher: | Springer |
| Sites: | 101—112 |
| Year: | 2016 |
| Format: | gebunden |
| | More Information |
|
| » Formale Spezifikationsebene |
|
| Author: | Mathias Soeken
|
| Editor: | S. Hölldobler et al. |
| Booktitle: | Ausgezeichnete Informatikdissertationen 2013 |
| Publisher: | GI |
| Sites: | 241-250 |
| Year: | 2014 |
| Format: | Paperback |
|
| » Formal Specification Level |
 |
| Author: | Rolf Drechsler, Mathias Soeken, Robert Wille
|
| Editor: | Jan Haase |
| Booktitle: | Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012 |
| Publisher: | Springer |
| Sites: | 37-52 |
| Year: | 2014 |
| Format: | Hardcover |
| | More Information |
|
| » Evaluating Debugging Algorithms from a Qualitative Perspective |
 |
| Author: | Alexander Finder, Görschwin Fey
|
| Editor: | Tom J. Kazmierski, Adam Morawiec |
| Booktitle: | System Specification and Design Languages: Selected Contributions from FDL 2010 |
| Publisher: | Springer |
| Sites: | 21-36 |
| Year: | 2012 |
| Format: | Hardcover |
| | More Information |
|
| » Assessing System Vulnerability Using Formal Verification Techniques |
 |
| Author: | Görschwin Fey
|
| Editor: | Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš |
| Booktitle: | Mathematical and Engineering Methods in Computer Science |
| Publisher: | Springer |
| Sites: | 47-56 |
| Year: | 2012 |
| Format: | Hardcover |
| | More Information |
|
older entries in the archive
|
|
|
