Kai Neubauer


Foto Kai Neubauer

M.Sc.
Kai Neubauer

E-Mail
Tel.: +49 381 498 7277
Raum: W1330

Forschungsgebiete

  • Hardware- und Softwareentwicklung für eingebettete Systeme
  • Entwicklung von Methoden zur Entwurfsraumexploration

Publikationen

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), Turin, Italien, Oktober 2018 (to appear)

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, 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), 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, 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

Lehrveranstaltungen