Search results for "Stefan Henkler"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg	Towards a Rigorous Modeling Formalism for Systems of Systems.	ISORC Workshops	2012	DBLP DOI BibTeX RDF
1	Holger Giese, Stefan Henkler, Martin Hirsch	A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.	Simulation	2011	DBLP DOI BibTeX RDF
1	Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler	A pattern-based requirement specification language: Mapping automotive specific timing requirements.	Software Engineering (Workshops)	2011	DBLP BibTeX RDF
1	Christian Heinzemann, Stefan Henkler	Reusing dynamic communication protocols in self-adaptive embedded component architectures.	CBSE	2011	DBLP DOI BibTeX RDF
1	Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel 0002	Reverse Engineering vernetzter automotiver Softwaresysteme.	MBEES	2010	DBLP BibTeX RDF
1	Tobias Eckardt, Stefan Henkler	Component Behavior Synthesis for Critical Systems, .	ISARCS	2010	DBLP DOI BibTeX RDF
1	Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer	Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.	Software Engineering	2010	DBLP BibTeX RDF
1	Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel	Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.	ISORC	2010	DBLP DOI BibTeX RDF
1	Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel 0002	Legacy component integration by the Fujaba real-time tool suite.	ICSE	2010	DBLP DOI BibTeX RDF	integration, formal verification, model-driven engineering, safety-critical systems, legacy system
1	Stefan 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	DBLP DOI BibTeX RDF
1	Stefan Henkler, Martin Hirsch	Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.	MBEES	2008	DBLP BibTeX RDF
1	Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten	Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.	ICSE Companion	2008	DBLP DOI BibTeX RDF	failure propagation, fujaba, structual transformations, fault tolerance, safety, hazard analysis
1	Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer	Fujaba4Eclipse Real-Time Tool Suite.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Holger Giese, Stefan Henkler, Martin Hirsch	Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.	WADS	2007	DBLP DOI BibTeX RDF
1	Sven 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	DBLP DOI BibTeX RDF
1	Björn Axenath, Stefan Henkler	Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen.	SEUH	2007	DBLP BibTeX RDF
1	Holger Giese, Stefan Henkler	A survey of approaches for the visual model-driven development of next generation software-intensive systems.	J. Vis. Lang. Comput.	2006	DBLP DOI BibTeX RDF
1	Holger Giese, Stefan Henkler	Architecture-driven platform independent deterministic replay for distributed hard real-time systems.	ROSATEA	2006	DBLP DOI BibTeX RDF
1	Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein	Nobody's perfect: interactive synthesis from parametrized real-time scenarios.	SCESM	2006	DBLP DOI BibTeX RDF	scenario-based synthesis, model checking, patterns, diagnosis

Publications of "Stefan Henkler" ( http://dblp.L3S.de/Authors/Stefan_Henkler )