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 | 316 | 2011 |
Optimizing message routing and scheduling in automotive mixed-criticality time-triggered networks F Smirnov, M Glaß, F Reimann, J Teich Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017 | 79 | 2017 |
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 | 52 | 2013 |
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 | 38 | 2014 |
Symbolic reliability analysis and optimization of ECU networks M Glaß, M Lukasiewycz, F Reimann, C Haubelt, J Teich Proceedings of the conference on Design, automation and test in Europe, 158-163, 2008 | 36 | 2008 |
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 | 34 | 2011 |
Improving platform-based system synthesis by satisfiability modulo theories solving F Reimann, M Glaß, C Haubelt, M Eberl, J Teich Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2010 | 34 | 2010 |
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 | 31 | 2008 |
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 | 30 | 2011 |
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 | 27 | 2017 |
Symbolic system synthesis using answer set programming B Andres, M Gebser, T Schaub, C Haubelt, F Reimann, M Glaß Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013 | 26 | 2013 |
Formal reliability analysis of switched ethernet automotive networks under transient transmission errors F Smirnov, M Glaß, F Reimann, J Teich Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016 | 25 | 2016 |
Opt4j-the optimization framework for java M Lukasiewycz, M Glaß, F Reimann, S Helwig Online], http://www. opt4j. org, 2009 | 22* | 2009 |
Automatic optimization of redundant message routings in automotive networks F Smirnov, F Reimann, J Teich, Z Han, M Glaß Proceedings of the 21st international workshop on software and compilers for …, 2018 | 20 | 2018 |
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 | 19 | 2013 |
Operational mode exploration for reconfigurable systems with multiple applications S Wildermann, F Reimann, J Teich, Z Salcic 2011 International Conference on Field-Programmable Technology, 1-8, 2011 | 19 | 2011 |
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 | 17 | 2014 |
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 | 17 | 2014 |
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 | 16 | 2014 |
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: Architectures, Design Methods and …, 2010 | 16 | 2010 |