Stefan Henkler

According to our database1, Stefan Henkler authored at least 41 papers between 2006 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
SPES XT Systems Engineering Extensions.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

The SPES XT Tool Platform.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015
FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020).
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014
State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach.
Des. Autom. Embed. Syst., 2014

Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020).
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Impact analysis for timing requirements on real-time systems.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Integrating the Security Aspect into Design Space Exploration of Embedded Systems.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Evaluation of a state-based real-time scheduling analysis technique.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy.
Proceedings of the Conference on Systems Engineering Research, 2014

2013
Modeling and verifying dynamic communication structures based on graph transformations.
Comput. Sci. Res. Dev., 2013

A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Automata-Based Refinement Checking for Real-Time Systems.
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020).
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Contracts for evolving systems.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme.
PhD thesis, 2012

Abstraction Techniques for Compositional State-Based Scheduling Analysis.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Component Behavior Synthesis for Critical Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Towards a Rigorous Modeling Formalism for Systems of Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Technical Viewpoint.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

Introduction to the SPES Modeling Framework.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.
Simul., 2011

Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures.
Comput. Syst. Sci. Eng., 2011

A pattern-based requirement specification language: Mapping automotive specific timing requirements.
Proceedings of the Software Engineering 2011, 2011

Reusing dynamic communication protocols in self-adaptive embedded component architectures.
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.
Proceedings of the Software Engineering 2010, 2010

Reverse Engineering vernetzter automotiver Softwaresysteme.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Component Behavior Synthesis for Critical Systems<sup>, </sup>.
Proceedings of the Architecting Critical Systems, First International Symposium, 2010

Legacy component integration by the Fujaba real-time tool suite.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Modeling collaborations with dynamic structural adaptation in mechatronic UML.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

2007
Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen.
Proceedings of the Software Engineering im Unterricht der Hochschulen, 2007

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Fujaba4Eclipse Real-Time Tool Suite.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
A survey of approaches for the visual model-driven development of next generation software-intensive systems.
J. Vis. Lang. Comput., 2006

Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Architecture-driven platform independent deterministic replay for distributed hard real-time systems.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006


  Loading...