A. Raabe

- Collision Detection for k-DOPs using SAT with Error Bounded Fixed-Point Arithmetic

G. Zachmann, J. Anlauf, Stefan Hochg, 2005 .

Towards fault-tolerant embedded systems with imperfect fault detection

Alois Knoll, Kai Huang, Christian Buckl, 2012, DAC Design Automation Conference 2012.

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems

Alois Knoll, Jan Olaf Blech, Christian Buckl, 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems

Alois Knoll, Christian Buckl, Jia Huang, 2011, 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing.

A SYSTEMC language extension for high-level reconfiguration modelling

Andreas Raabe, Armin Felke, A. Raabe, 2008, 2008 Forum on Specification, Verification and Design Languages.

ReChannel: Describing and simulating reconfigurable hardware in systemC

Philipp A. Hartmann, Joachim K. Anlauf, Andreas Raabe, 2008, TODE.

High-Level Reconfiguration Modeling in SystemC

Andreas Raabe, Armin Felke, A. Raabe, 2008, FDL.

Work Stealing Strategies for Parallel Stream Processing in Soft Real-Time Systems

Tobias Schüle, Sebastian Mattheis, Andreas Raabe, 2012, ARCS.

A framework for reliability-aware design exploration on MPSoC based systems

Alois Knoll, Kai Huang, Christian Buckl, 2012, Design Automation for Embedded Systems.

A framework for reliability-aware design exploration on MPSoC based systems

A. Raabe, Kai Huang, C. Buckl, 2012, Design Automation for Embedded Systems.

Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving

Alois Knoll, Jan Olaf Blech, Christian Buckl, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).