Seguir
Stefan Henkler
Stefan Henkler
Otros nombresS Henkler, Stefan H
Hamm-Lippstadt University of Applied Sciences
Dirección de correo verificada de hshl.de
Título
Citado por
Citado por
Año
Selbstoptimierende Systeme des Maschinenbaus–Definitionen, Anwendungen, Konzepte.
P Adelt, J Donoth, J Gausemeier, J Geisler, S Henkler, S Kahl, B Klöpper, ...
1042008
A survey of approaches for the visual model-driven development of next generation software-intensive systems
H Giese, S Henkler
Journal of Visual Languages & Computing 17 (6), 528-550, 2006
602006
Modeling and verifying dynamic communication structures based on graph transformations
T Eckardt, C Heinzemann, S Henkler, M Hirsch, C Priesterjahn, W Schäfer
Computer Science-Research and Development 28, 3-22, 2013
512013
Component story diagrams: A transformation language for component structures in mechatronic systems
M Tichy, S Henkler, J Holtmann, S Oberthür
Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real …, 2008
402008
Introduction to the SPES modeling framework
M Broy, W Damm, S Henkler, K Pohl, A Vogelsang, T Weyer
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology, 31-49, 2012
352012
Towards a rigorous modeling formalism for systems of systems
T Gezgin, C Etzien, S Henkler, A Rettberg
2012 IEEE 15th International Symposium on Object/Component/Service-Oriented …, 2012
332012
Modeling collaborations with dynamic structural adaptation in mechatronic uml
M Hirsch, S Henkler, H Giese
Proceedings of the 2008 international workshop on Software engineering for …, 2008
332008
A pattern-based requirement specification language: Mapping automotive specific timing requirements
P Reinkemeier, I Stierand, P Rehkop, S Henkler
Gesellschaft für Informatik eV, 2011
282011
Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view
S Burmester, H Giese, S Henkler, M Hirsch, M Tichy, A Gambuzza, ...
29th International Conference on Software Engineering (ICSE'07), 801-804, 2007
282007
Architecture modeling
A Baumgart, E Böde, M Büker, W Damm, G Ehmen, T Gezgin, S Henkler, ...
OFFIS eV, Oldenburg, Technical Report, 2011
222011
Towards the design of self-optimizing mechatronic systems: Consistency between domain-spanning and domain-specific models
J Gausemeier, H Giese, B Axenath, U Frank, S Henkler, S Pook, M Tichy
DS 42: Proceedings of ICED 2007, the 16th International Conference on …, 2007
222007
Modeling techniques for software-intensive systems
H Giese, S Henkler, M Hirsch, V Rubin, M Tichy
Designing Software-Intensive Systems: Methods and Principles, 21-57, 2009
212009
Reusing dynamic communication protocols in self-adaptive embedded component architectures
C Heinzemann, S Henkler
Proceedings of the 14th international ACM Sigsoft symposium on Component …, 2011
202011
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
H Giese, S Henkler
Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006
202006
Bridging the gap between systems and software engineering by using the SPES modeling framework as a general systems engineering philosophy
W Böhm, S Henkler, F Houdek, A Vogelsang, T Weyer
Procedia Computer Science 28, 187-194, 2014
192014
Integrating the security aspect into design space exploration of embedded systems
I Stierand, S Malipatlolla, S Fröschle, A Stühring, S Henkler
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
182014
Legacy component integration by the fujaba real-time tool suite
S Henkler, J Meyer, W Schäfer, M von Detten, U Nickel
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
162010
Synthesis of timed behavior from scenarios in the fujaba real-time tool suite
S Henkler, J Greenyer, M Hirsch, W Schafer, K Alhawash, T Eckardt, ...
2009 IEEE 31st International Conference on Software Engineering, 615-618, 2009
152009
12 Fujaba4Eclipse Real-Time Tool Suite
C Priesterjahn, M Tichy, S Henkler, M Hirsch, W Schäfer
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
152007
Modeling and verifying dynamic communication structures based on graph transformations
S Henkler, M Hirsch, C Priesterjahn, W Schäfer
Gesellschaft für Informatik eV, 2010
132010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20