dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Stefan Henkler Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg: Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops 2012: 204-211
2011
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Heinzemann, Stefan Henkler: Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE 2011: 109-118
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler: A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) 2011: 99-108
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler, Martin Hirsch: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simulation 87(9): 775-808 (2011)
2010
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel: Legacy component integration by the Fujaba real-time tool suite. ICSE (2) 2010: 267-270
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Eckardt, Stefan Henkler: Component Behavior Synthesis for Critical Systems, . ISARCS 2010: 52-71
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel: Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC 2010: 58-65
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel: Reverse Engineering vernetzter automotiver Softwaresysteme. MBEES 2010: 77-86
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer: Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering 2010: 153-164
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese: Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten: Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. ICSE Companion 2008: 973-974
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Henkler, Martin Hirsch: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. MBEES 2008: 78-86
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ICSE 2007: 801-804
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer: Fujaba4Eclipse Real-Time Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 309-315
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Axenath, Stefan Henkler: Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen. SEUH 2007: 13-26
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272
2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler: A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput. 17(6): 528-550 (2006)

Coauthor Index

1Kahtan Alhawash [10]
2Björn Axenath [5]
3Sven Burmester [7]
4Markus von Detten [9] [15]
5Tobias Eckardt [10] [14]
6Christoph Etzien [19]
7Alfonso Gambuzza [7]
8Tayfun Gezgin [19]
9Holger Giese [1] [2] [3] [4] [7] [10] [13] [16]
10Joel Greenyer [10]
11Christian Heinzemann [10] [18]
12Martin Hirsch [2] [4] [6] [7] [8] [10] [11] [16]
13Renate Loffler [10]
14Jan Meyer [12] [15]
15Matthias Meyer [9]
16Eckehard Münch [7]
17Ulrich Nickel [12] [15]
18Simon Oberthür [13]
19Claudia Priesterjahn [6] [11]
20Philip Rehkop [17]
21Philipp Reinkemeier [17]
22Achim Rettberg [19]
23Wilhelm Schäfer [6] [10] [11] [12] [15]
24Andreas Seibel [10] [13]
25Florian Stallmann (Florian Klein) [2]
26Ingo Stierand [17]
27Matthias Tichy [6] [7] [9]
28Henner Vöcking [7]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page