Kai Neubauer


Foto Kai Neubauer

Dr.-Ing.
Kai Neubauer

Forschungsgebiete

  • Hardware- und Softwareentwicklung für eingebettete Systeme
  • Entwicklung von Methoden zur Entwurfsraumexploration
  • Model-based Symbolic Design Space Exploration at the Electronic System Level

Publikationen

Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Evolutionary System Design with Answer Set Programming
In Journal Algorithms, Vol.16, Issue 4, Artikel Nr. 179, pp. 1-38, DOI: 10.3390/a16040179, MDPI-Verlag, Basel, Schweiz, März 2023

Luise Müller, Kai Neubauer, Christian Haubelt:
Exploiting Similarity in Evolutionary Product Design for Improved Design Space Exploration
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), pp. 1-16, DOI: 10.1007/978-3-031-04580-6_3, Samos Island, Griechenland, Juli 2021

Kai Neubauer, Benjamin Beichler, Christian Haubelt:
Exact Design Space Exploration Based on Consistent Approximations
In Journal  Electronics, Vol. 9, Issue 7, Artikel Nr. 1057, pp. 1-24, DOI: 10.3390/electronics9071057, Verlag  MDPI, Juni 2020

Joachim Falk, Kai Neubauer, Christian Haubelt, Christian Zebelein, Jürgen Teich:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In Handbook of Signal Processing Systems, 3rd ed., pp. 825-864, ISBN: 978-3-319-91734-4, DOI: 10.1007/978-3-319-91734-4_23, Springer International Publishing, Cham, Schweiz, Oktober 2018

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Work-in-Progress: On Leveraging Approximations for Exact System-level Design Space Exploration
In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'18), pp. 1-2, DOI: 10.1109/CODESISSS.2018.8525974, Turin, Italien, Oktober 2018

Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko:
Design Space Exploration with Answer Set Programming
In Journal of KI - Künstliche Intelligenz, pp. 1 – 2, DOI: 10.1007/s13218-018-0530-3, Springer-Verlag GmbH, Berlin, Deutschland, Mai 2018

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches
In Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, ISBN: 978-3-00-059317-8, Tübingen, Deutschland, März 2018

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Exact Multi-Objective Design Space Exploration using ASPmT
In Proceedings of Design, Automation and Test in Europe (DATE), pp. 257 – 260, DOI: 10.23919/DATE.2018.8342014, Dresden, Deutschland, März 2018

Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt:
Utilizing Quad-Trees for Efficient Design Space Exploration with Partial Assignment Evaluation
In Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC 2018), pp. 434–439, DOI: 10.1109/aspdac.2018.8297362, Jeju Island, Korea, Januar 2018

Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub:
Enhancing Symbolic System Synthesis through ASPmT with Partial Assignment Evaluation
In Proceedings of Design, Automation and Test in Europe (DATE), pp. 306-309, Lausanne, Schweiz, März 2017

Kai Neubauer, Christian Haubelt, Michael Glaß:
Supporting Composition in Symbolic System Synthesis
In Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), pp. 132–139, Samos, Griechenland, Juli 2016