Symbolic voter placement for dependability-aware system synthesis. - Felix Reimann; Michael Glaß; Martin Lukasiewycz; Joachim Keinert; Christian Haubelt; Jürgen Teich (CODES+ISSS, 2008)

Symbolic Reliability Analysis and Optimization of ECU Networks. - Michael Glaß; Martin Lukasiewycz; Felix Reimann; Christian Haubelt; Jürgen Teich (DATE, 2008)

Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. - Michael Glaß; Martin Lukasiewycz; Felix Reimann; Christian Haubelt; Jürgen Teich (SAFECOMP, 2008)

ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections. - Christian Haubelt; Dirk Koch; Felix Reimann; Thilo Streichert; Jürgen Teich (Dynamically Reconfigurable Systems, 2010)

Improving platform-based system synthesis by satisfiability modulo theories solving. - Felix Reimann; Michael Glaß; Christian Haubelt; Michael Eberl; Jürgen Teich (CODES+ISSS, 2010)

Symbolic system level reliability analysis. - Michael Glaß; Martin Lukasiewycz; Felix Reimann; Christian Haubelt; Jürgen Teich (ICCAD, 2010)

Symbolic design space exploration for multi-mode reconfigurable systems. - Stefan Wildermann; Felix Reimann; Daniel Ziener; Jürgen Teich (CODES+ISSS, 2011)

Symbolic system synthesis in the presence of stringent real-time constraints. - Felix Reimann; Martin Lukasiewycz; Michael Glaß; Christian Haubelt; Jürgen Teich (DAC, 2011)

Operational mode exploration for reconfigurable systems with multiple applications. - Stefan Wildermann; Felix Reimann; Jürgen Teich; Zoran Salcic (FPT, 2011)

Opt4J: a modular framework for meta-heuristic optimization. - Martin Lukasiewycz; Michael Glaß; Felix Reimann; Jürgen Teich (GECCO, 2011)

Cross-Level Compositional Reliability Analysis for Embedded Systems. - Michael Glaß; Heng Yu 001; Felix Reimann; Jürgen Teich (SAFECOMP, 2012)

Automatic success tree-based reliability analysis for the consideration of transient and permanent faults. - Hananeh Aliee; Michael Glaß; Felix Reimann; Jürgen Teich (DATE, 2013)

Timing analysis of Ethernet AVB-based automotive E/E architectures. - Felix Reimann; Sebastian Graf 002; Fabian Streit; Michael Glaß; Jürgen Teich (ETFA, 2013)

Symbolic System Synthesis Using Answer Set Programming. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (LPNMR, 2013)

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. - Benjamin Andres; Martin Gebser; Torsten Schaub; Christian Haubelt; Felix Reimann; Michael Glaß (MBMV, 2013)

Symbolic system-level design methodology for multi-mode reconfigurable systems. - Stefan Wildermann; Felix Reimann; Daniel Ziener; Jürgen Teich (Des. Autom. Embed. Syst., 2013)

Design and Evaluation of Future Ethernet AVB-Based ECU Networks. - Michael Glaß; Sebastian Graf 002; Felix Reimann; Jürgen Teich (Embedded Systems Development, From Functional Models to Implementations, 2014)

Towards scalable symbolic routing for multi-objective networked embedded system design and optimization. - Sebastian Graf 002; Felix Reimann; Michael Glaß; Jürgen Teich (CODES+ISSS, 2014)

Multi-Objective Local-Search Optimization using Reliability Importance Measuring. - Faramarz Khosravi; Felix Reimann; Michael Glaß; Jürgen Teich (DAC, 2014)

Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures. - Felix Reimann; Michael Glaß; Jürgen Teich; Alejandro Cook; Laura Rodríguez Gómez; Dominik Ull; Hans-Joachim Wunderlich; Piet Engelke; Ulrich Abelein (DAC, 2014)

Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures. - Ulrich Abelein; Alejandro Cook; Piet Engelke; Michael Glaß; Felix Reimann; Laura Rodríguez Gómez; Thomas Russ; Jürgen Teich; Dominik Ull; Hans-Joachim Wunderlich (DATE, 2014)

Design Space Exploration for Automotive E/E Architectures. - Felix Reimann (Verlag Dr. Hut, 2015)

Formal reliability analysis of switched ethernet automotive networks under transient transmission errors. - Fedor Smirnov; Michael Glaß; Felix Reimann; Jürgen Teich (DAC, 2016)

Dynamic Platforms for Uncertainty Management in Future Automotive E/E Architectures: Invited. - Philipp Mundhenk; Ghizlane Tibba; Licong Zhang; Felix Reimann; Debayan Roy; Samarjit Chakraborty (DAC, 2017)

Optimizing Message Routing and Scheduling in Automotive Mixed-Criticality Time-Triggered Networks. - Fedor Smirnov; Michael Glaß; Felix Reimann; Jürgen Teich (DAC, 2017)

Formal timing analysis of non-scheduled traffic in automotive scheduled TSN networks. - Fedor Smirnov; Michael Glaß; Felix Reimann; Jürgen Teich (DATE, 2017)

Hybrid Optimization Techniques for System-Level Design Space Exploration. - Michael Glaß; Jürgen Teich; Martin Lukasiewycz; Felix Reimann (Handbook of Hardware/Software Codesign, 2017)

Automatic Optimization of Redundant Message Routings in Automotive Networks. - Fedor Smirnov; Felix Reimann; Jürgen Teich; Zhao Han; Michael Glaß (SCOPES, 2018)

Automatic Optimization of the VLAN Partitioning in Automotive Communication Networks. - Fedor Smirnov; Felix Reimann; Jürgen Teich; Michael Glaß (ACM Trans. Design Autom. Electr. Syst., 2019)

Fail-Operational Automotive Software Design Using Agent-Based Graceful Degradation. - Philipp Weiss; Andreas Weichslgartner; Felix Reimann; Sebastian Steinhorst (DATE, 2020)