Felix Reimann
Felix Reimann
Audi Electronics Venture GmbH
Verifierad e-postadress på fex-it.de - Startsida
Titel
Citeras av
Citeras av
År
Opt4J: a modular framework for meta-heuristic optimization
M Lukasiewycz, M Glaß, F Reimann, J Teich
Proceedings of the 13th annual conference on Genetic and evolutionary …, 2011
2552011
Timing analysis of Ethernet AVB-based automotive E/E architectures
F Reimann, S Graf, F Streit, M Glaß, J Teich
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation …, 2013
372013
Symbolic reliability analysis and optimization of ECU networks
M GlaB, M Lukasiewycz, F Reimann, C Haubelt, J Teich
2008 Design, Automation and Test in Europe, 158-163, 2008
352008
Optimizing message routing and scheduling in automotive mixed-criticality time-triggered networks
F Smirnov, M Glaß, F Reimann, J Teich
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2017
332017
Improving platform-based system synthesis by satisfiability modulo theories solving
F Reimann, M Glaß, C Haubelt, M Eberl, J Teich
2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign …, 2010
322010
Symbolic system synthesis in the presence of stringent real-time constraints
F Reimann, M Lukasiewycz, M Glass, C Haubelt, J Teich
Proceedings of the 48th Design Automation Conference, 393-398, 2011
302011
Symbolic voter placement for dependability-aware system synthesis
F Reimann, M Glaß, M Lukasiewycz, J Keinert, C Haubelt, J Teich
Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware …, 2008
292008
Advanced diagnosis: SBST and BIST integration in automotive E/E architectures
F Reimann, M Glaß, J Teich, A Cook, LR Gómez, D Ull, HJ Wunderlich, ...
Proceedings of the 51st Annual Design Automation Conference, 1-9, 2014
262014
Symbolic design space exploration for multi-mode reconfigurable systems
S Wildermann, F Reimann, D Ziener, J Teich
Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011
242011
Symbolic system synthesis using answer set programming
B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß
International Conference on Logic Programming and Nonmonotonic Reasoning, 79-91, 2013
202013
Opt4j-the optimization framework for java
M Lukasiewycz, M Glaß, F Reimann, S Helwig
Online], http://www. opt4j. org, 2009
20*2009
Formal reliability analysis of switched ethernet automotive networks under transient transmission errors
F Smirnov, M Glaß, F Reimann, J Teich
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2016
172016
Multi-objective local-search optimization using reliability importance measuring
F Khosravi, F Reimann, M Glaß, J Teich
Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014
162014
Towards scalable symbolic routing for multi-objective networked embedded system design and optimization
S Graf, F Reimann, M Glaß, J Teich
Proceedings of the 2014 International Conference on Hardware/Software …, 2014
152014
Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures
U Abelein, A Cook, P Engelke, M Glaß, F Reimann, LR Gómez, T Russ, ...
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014
152014
Automatic success tree-based reliability analysis for the consideration of transient and permanent faults
H Aliee, M Glaß, F Reimann, J Teich
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
142013
ReCoNets—design methodology for embedded systems consisting of small networks of reconfigurable nodes and connections
C Haubelt, D Koch, F Reimann, T Streichert, J Teich
Dynamically Reconfigurable Systems, 223-243, 2010
142010
Formal timing analysis of non-scheduled traffic in automotive scheduled TSN networks
F Smirnov, M Glaß, F Reimann, J Teich
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
132017
Symbolic reliability analysis of self-healing networked embedded systems
M Glaß, M Lukasiewycz, F Reimann, C Haubelt, J Teich
International Conference on Computer Safety, Reliability, and Security, 139-152, 2008
132008
Symbolic system-level design methodology for multi-mode reconfigurable systems
S Wildermann, F Reimann, D Ziener, J Teich
Design Automation for Embedded Systems 17 (2), 343-375, 2013
112013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20