Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Symbolic System Synthesis Using Answer Set Programming.

B. Andres, M. Gebser, T. Schaub, C. Haubelt, F. Reimann, and M. Glaß. LPNMR, volume 8148 of Lecture Notes in Computer Science, page 79-91. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. rer. nat. Peter Reimann University of Stuttgart

Fuchs Felix University of Stuttgart

Felix Baumgärtner University of Stuttgart

Felix Schuderer University of Stuttgart

Felix Grigat University of Stuttgart

Other publications of authors with the same name

Towards scalable symbolic routing for multi-objective networked embedded system design and optimization.S. Graf, F. Reimann, M. Glaß, and J. Teich. CODES+ISSS, page 2:1-2:10. ACM, (2014)Formal reliability analysis of switched ethernet automotive networks under transient transmission errors.F. Smirnov, M. Glaß, F. Reimann, and J. Teich. DAC, page 28:1-28:6. ACM, (2016)Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures.U. Abelein, A. Cook, P. Engelke, M. Glaß, F. Reimann, L. Gómez, T. Russ, J. Teich, D. Ull, and H. Wunderlich. DATE, page 1-6. European Design and Automation Association, (2014)Symbolic design space exploration for multi-mode reconfigurable systems.S. Wildermann, F. Reimann, D. Ziener, and J. Teich. CODES+ISSS, page 129-138. ACM, (2011)Symbolic voter placement for dependability-aware system synthesis.F. Reimann, M. Glaß, M. Lukasiewycz, J. Keinert, C. Haubelt, and J. Teich. CODES+ISSS, page 237-242. ACM, (2008)Operational mode exploration for reconfigurable systems with multiple applications.S. Wildermann, F. Reimann, J. Teich, and Z. Salcic. FPT, page 1-8. IEEE, (2011)Multi-Objective Local-Search Optimization using Reliability Importance Measuring.F. Khosravi, F. Reimann, M. Glaß, and J. Teich. DAC, page 15:1-15:6. ACM, (2014)Hybrid Optimization Techniques for System-Level Design Space Exploration.M. Glaß, J. Teich, M. Lukasiewycz, and F. Reimann. Handbook of Hardware/Software Codesign, (2017)Timing analysis of Ethernet AVB-based automotive E/E architectures.F. Reimann, S. Graf, F. Streit, M. Glaß, and J. Teich. ETFA, page 1-8. IEEE, (2013)Symbolic Reliability Analysis and Optimization of ECU Networks.M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt, and J. Teich. DATE, page 158-163. ACM, (2008)