Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Symbolic Reliability Analysis and Optimization of ECU Networks.

M. Glaß, M. Lukasiewycz, F. Reimann, C. Haubelt, und J. Teich. DATE, Seite 158-163. ACM, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

Christian Bartsch University of Stuttgart

Christian Semmler University of Stuttgart

Christian Hermann University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.M. Lukasiewycz, M. Glaß, C. Haubelt, und J. Teich. IEEE Congress on Evolutionary Computation, Seite 935-942. IEEE, (2007)A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.A. Biewer, B. Andres, J. Gladigau, T. Schaub, und C. Haubelt. DATE, Seite 357-362. ACM, (2015)Efficient High-Level modeling in the networking domain.C. Zebelein, J. Falk, C. Haubelt, J. Teich, und R. Dorsch. DATE, Seite 1189-1194. IEEE, (2010)SAT-Based Techniques in System Synthesis.C. Haubelt, J. Teich, R. Feldmann, und B. Monien. DATE, Seite 11168-11169. IEEE Computer Society, (2003)Incorporating graceful degradation into embedded system design.M. Glaß, M. Lukasiewycz, C. Haubelt, und J. Teich. DATE, Seite 320-323. IEEE, (2009)Modellierung rekonfigurierbarer Systemarchitekturen.C. Haubelt, J. Teich, K. Richter, und R. Ernst. MBMV, Seite 163-171. Shaker, (2002)Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models.M. Streubühr, M. Jäntsch, C. Haubelt, J. Teich, und A. Schneider. MBMV, Seite 139-148. Shaker, (2008)Integrated Modeling using Finite State Machines and Dataflow Graphs.J. Falk, J. Keinert, C. Haubelt, J. Teich, und C. Zebelein. Handbook of Signal Processing Systems, Springer, (2010)Calibration and validation of software performance models for pedestrian detection systems.R. Kiesel, M. Streubühr, C. Haubelt, O. Löhlein, und J. Teich. ICSAMOS, Seite 182-189. IEEE, (2011)Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems.T. Schlichter, C. Haubelt, F. Hannig, und J. Teich. ASAP, Seite 9-14. IEEE Computer Society, (2005)