Felix Reimann

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Echtzeitanalyse Ethernet-basierter E/E-Architekturen im Automobil (2010) Reimann F, Kern A, Haubelt C, Streichert T, Teich J Conference contribution Improving platform-based system synthesis by satisfiability Modulo theories solving (2010) Teich J, Haubelt C, Eberl M, Reimann F, Glaß M Conference contribution, Conference Contribution Symbolic voter placement for dependability-aware system synthesis (2008) Reimann F, Glaß M, Lukasiewycz M, Keinert J, Haubelt C, Teich J Conference contribution, Conference Contribution Symbolic reliability analysis of self-healing networked embedded systems (2008) Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J Conference contribution Symbolic reliability analysis and optimization of ECU networks (2008) Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J Conference contribution, Conference Contribution Reconfigurable Computing Architectures (2006) Reimann F Conference contribution
‹ 1 2 3 ›