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

Towards verified synthesis of ProCom, a component model for real-time embedded systems.

E. Borde, und J. Carlson. CBSE, Seite 129-138. ACM, (2011)

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.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Strong and weak contract formalism for third-party component reuse.I. Sljivo, B. Gallina, J. Carlson, und H. Hansson. ISSRE (Supplemental Proceedings), Seite 359-364. IEEE Computer Society, (2013)Hierarchical Composition of Parametric WCET in a Component Based Approach.T. Leveque, E. Borde, A. Marref, und J. Carlson. ISORC, Seite 261-268. IEEE Computer Society, (2011)A Component Model Family for Vehicular Embedded Systems.T. Bures, J. Carlson, S. Sentilles, und A. Vulgarakis. ICSEA, Seite 437-444. IEEE Computer Society, (2008)Automatic Synthesis and Adaption of Gray-Box Components for Embedded Systems - Reuse vs. Optimization.E. Borde, und J. Carlson. COMPSAC Workshops, Seite 224-229. IEEE Computer Society, (2011)Towards a Common Software-to-Hardware Allocation Framework for the Heterogeneous High Performance Computing.Z. Krpic, I. Crnkovic, und J. Carlson. COMPSAC Workshops, Seite 378-383. IEEE Computer Society, (2014)Integrating Behavioral Descriptions into a Component Model for Embedded Systems.A. Vulgarakis, S. Sentilles, J. Carlson, und C. Seceleanu. EUROMICRO-SEAA, Seite 113-118. IEEE Computer Society, (2010)Extending the Rubus Component Model with GPU-Aware Components.G. Campeanu, J. Carlson, S. Sentilles, und S. Mubeen. CBSE, Seite 59-68. IEEE Computer Society, (2016)Extracting Client-Side Web User Interface Controls.J. Maras, M. Stula, und J. Carlson. ICWE, Volume 6189 von Lecture Notes in Computer Science, Seite 502-505. Springer, (2010)Message from the MARCH 2017 Chairs.M. Razavian, A. Tang, H. van Vliet, und J. Carlson. ICSA Workshops, Seite 128. IEEE Computer Society, (2017)Mode switch handling for the ProCom component model.H. Yin, H. Qin, J. Carlson, und H. Hansson. CBSE, Seite 13-22. ACM, (2013)