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

From timed automata to timed failure propagation graphs.

C. Priesterjahn, C. Heinzemann, und W. Schäfer. ISORC, Seite 1-8. IEEE Computer Society, (2013)

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.

Dr. -Ing. Christian Hagenlocher University of Stuttgart

Synchrotron X-ray video of full-penetration laser welding of aluminum AA1050AJ. Wagner, C. Hagenlocher, R. Weber, M. Hummel, F. Beckmann, J. Moosmann, und T. Graf. Dataset, (2024)

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

Christian Bartsch University of Stuttgart

Christian Semmler University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Examples of Self-optimizing Systems.J. Böcker, C. Heinzemann, C. Hölscher, J. Keßler, B. Kleinjohann, L. Kleinjohann, C. Priesterjahn, C. Rasche, P. Reinold, C. Romaus und 8 andere Autor(en). Design Methodology for Intelligent Technical Systems, Springer, (2014)Verification and simulation of self-adaptive mechatronic systems.C. Heinzemann. University of Paderborn, (2015)Towards Safe Execution of Reconfigurations in Cyber-Physical Systems.D. Schubert, C. Heinzemann, und C. Gerking. CBSE, Seite 33-38. IEEE Computer Society, (2016)Reachability Analysis on Timed Graph Transformation Systems.C. Heinzemann, J. Suck, und T. Eckardt. ECEASST, (2010)Real-Time Coordination Patterns for Advanced Mechatronic Systems.S. Dziwok, C. Heinzemann, und M. Tichy. COORDINATION, Volume 7274 von Lecture Notes in Computer Science, Seite 166-180. Springer, (2012)Structuring Complex Story Diagrams by Polymorphic CallsS. Becker, M. von Detten, C. Heinzemann, und J. Rieke. Software Engineering Group, Heinz Nixdorf Institute, (2011)A discipline-spanning development process for self-adaptive mechatronic systems.C. Heinzemann, O. Sudmann, W. Schäfer, und M. Tichy. ICSSP, Seite 36-45. ACM, (2013)Automata-Based Refinement Checking for Real-Time Systems.C. Brenner, C. Heinzemann, W. Schäfer, und S. Henkler. Software Engineering, Volume P-213 von LNI, Seite 99-112. GI, (2013)Transactional execution of hierarchical reconfigurations in cyber-physical systemsC. Heinzemann, S. Becker, und A. Volk. Softw. Syst. Model., 18 (1): 157--189 (2019)Solving the Movie Database Case with QVTo.C. Gerking, und C. Heinzemann. TTC@STAF, Volume 1305 von CEUR Workshop Proceedings, Seite 98-102. CEUR-WS.org, (2014)