Felix Reimann

According to our database1, Felix Reimann authored at least 29 papers between 2008 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Automatic Optimization of the VLAN Partitioning in Automotive Communication Networks.
ACM Trans. Design Autom. Electr. Syst., 2019

2018
Automatic Optimization of Redundant Message Routings in Automotive Networks.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

2017
Hybrid Optimization Techniques for System-Level Design Space Exploration.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

Formal timing analysis of non-scheduled traffic in automotive scheduled TSN networks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Optimizing Message Routing and Scheduling in Automotive Mixed-Criticality Time-Triggered Networks.
Proceedings of the 54th Annual Design Automation Conference, 2017

Dynamic Platforms for Uncertainty Management in Future Automotive E/E Architectures: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Formal reliability analysis of switched ethernet automotive networks under transient transmission errors.
Proceedings of the 53rd Annual Design Automation Conference, 2016

2015
Design Space Exploration for Automotive E/E Architectures.
PhD thesis, 2015

2014
Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Multi-Objective Local-Search Optimization using Reliability Importance Measuring.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Towards scalable symbolic routing for multi-objective networked embedded system design and optimization.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

Design and Evaluation of Future Ethernet AVB-Based ECU Networks.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
Symbolic system-level design methodology for multi-mode reconfigurable systems.
Design Autom. for Emb. Sys., 2013

A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Symbolic System Synthesis Using Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Timing analysis of Ethernet AVB-based automotive E/E architectures.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Automatic success tree-based reliability analysis for the consideration of transient and permanent faults.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Cross-Level Compositional Reliability Analysis for Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2012

2011
Opt4J: a modular framework for meta-heuristic optimization.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

Operational mode exploration for reconfigurable systems with multiple applications.
Proceedings of the 2011 International Conference on Field-Programmable Technology, 2011

Symbolic system synthesis in the presence of stringent real-time constraints.
Proceedings of the 48th Design Automation Conference, 2011

Symbolic design space exploration for multi-mode reconfigurable systems.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Symbolic system level reliability analysis.
Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

Improving platform-based system synthesis by satisfiability modulo theories solving.
Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections.
Proceedings of the Dynamically Reconfigurable Systems - Architectures, 2010

2008
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.
Proceedings of the Computer Safety, 2008

Symbolic Reliability Analysis and Optimization of ECU Networks.
Proceedings of the Design, Automation and Test in Europe, 2008

Symbolic voter placement for dependability-aware system synthesis.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008


  Loading...