default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Henkler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c37]Stefan Henkler, Martin Hirsch:
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. HICSS 2023: 6778-6787- [c36]Christopher Beck, Luca Brodo, Camila Belen Quintanilla Docmac, Stefan Henkler, Achim Rettberg, Kristian Rother:
Introducing a group-based remote laboratory for embedded education. INDIN 2023: 1-6 - [c35]Aluko Tunde Oluwayemi, Kristian Rother, Stefan Henkler:
A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming. INDIN 2023: 1-5 - [e2]Marco A. Wehrmeister
, Márcio Eduardo Kreutz, Marcelo Götz, Stefan Henkler, Andy D. Pimentel, Achim Rettberg:
Analysis, Estimations, and Applications of Embedded Systems - 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers. IFIP Advances in Information and Communication Technology 576, Springer 2023, ISBN 978-3-031-26499-3 [contents] - [e1]Stefan Henkler, Márcio Eduardo Kreutz, Marco A. Wehrmeister, Marcelo Götz, Achim Rettberg:
Designing Modern Embedded Systems: Software, Hardware, and Applications - 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings. IFIP Advances in Information and Communication Technology 669, Springer 2023, ISBN 978-3-031-34213-4 [contents] - 2022
- [c34]Luca Brodo, Stefan Henkler, Kristian Rother:
Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets. IESS 2022: 115-126 - [c33]Olaniyi Bayonle Alao, Kristian Rother, Stefan Henkler:
Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture. IESS 2022: 127-138
2010 – 2019
- 2016
- [p4]Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer:
SPES XT Systems Engineering Extensions. Advanced Model-Based Engineering of Embedded Systems 2016: 59-71 - [p3]Karsten Albers, Ömer Gürsoy, Stefan Henkler, Michael Schulze, Bastian Tenbergen, Axel Terfloth, Raphael Weber:
The SPES XT Tool Platform. Advanced Model-Based Engineering of Embedded Systems 2016: 251-262 - 2015
- [c32]Ottmar Bender, Wolfgang Böhm, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer:
FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020). Software Engineering & Management 2015: 271-272 - 2014
- [j5]Tayfun Gezgin, Ingo Stierand, Stefan Henkler, Achim Rettberg:
State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. Des. Autom. Embed. Syst. 18(1-2): 1-18 (2014) - [c31]Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer:
Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy. CSER 2014: 187-194 - [c30]Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg:
Evaluation of a state-based real-time scheduling analysis technique. INDIN 2014: 158-163 - [c29]Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler:
Integrating the Security Aspect into Design Space Exploration of Embedded Systems. ISSRE Workshops 2014: 371-376 - [c28]Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg:
Impact analysis for timing requirements on real-time systems. RTCSA 2014: 1-10 - [c27]Philipp Reinkemeier, Heinz Hille, Stefan Henkler:
Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems. Software Engineering (Workshops) 2014: 99-108 - [c26]Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Oliver Sander, Andreas Vogelsang, Thorsten Weyer:
4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). Software Engineering 2014: 213-214 - 2013
- [j4]Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer:
Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28(1): 3-22 (2013) - [c25]Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand:
Contract-Based Compositional Scheduling Analysis for Evolving Systems. IESS 2013: 272-282 - [c24]Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg:
Contracts for evolving systems. ISORC 2013: 1-8 - [c23]Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler:
Automata-Based Refinement Checking for Real-Time Systems. Software Engineering 2013: 99-112 - [c22]Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden:
A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development. Software Engineering (Workshops) 2013: 245-249 - [c21]Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Dietmar Sander, Andreas Vogelsang, Thorsten Weyer:
3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). Software Engineering 2013: 361-362 - 2012
- [b1]Stefan Henkler:
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme. University of Paderborn, 2012, pp. 1-303 - [c20]Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg:
Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops 2012: 204-211 - [c19]Stefan Henkler, Tobias Eckardt:
Component Behavior Synthesis for Critical Systems. MBEES 2012: 113-122 - [c18]Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand:
Abstraction Techniques for Compositional State-Based Scheduling Analysis. SBESC 2012: 166-171 - [p2]Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer:
Introduction to the SPES Modeling Framework. Model-Based Engineering of Embedded Systems 2012: 31-49 - [p1]Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand:
Technical Viewpoint. Model-Based Engineering of Embedded Systems 2012: 95-106 - 2011
- [j3]Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel:
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. Comput. Syst. Sci. Eng. 26(6) (2011) - [j2]Holger Giese, Stefan Henkler, Martin Hirsch:
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simul. 87(9): 775-808 (2011) - [c17]Christian Heinzemann, Stefan Henkler:
Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE 2011: 109-118 - [c16]Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler:
A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) 2011: 99-108 - 2010
- [c15]Stefan 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 - [c14]Tobias Eckardt, Stefan Henkler:
Component Behavior Synthesis for Critical Systems, . ISARCS 2010: 52-71 - [c13]Stefan 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 - [c12]Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel:
Reverse Engineering vernetzter automotiver Softwaresysteme. MBEES 2010: 77-86 - [c11]Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer:
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering 2010: 153-164
2000 – 2009
- 2009
- [c10]Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese:
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618 - 2008
- [c9]Martin Hirsch, Stefan Henkler, Holger Giese:
Modeling collaborations with dynamic structural adaptation in mechatronic UML. SEAMS 2008: 33-40 - [c8]Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten:
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. ICSE Companion 2008: 973-974 - [c7]Stefan 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
- [c6]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: 309-315 - [c5]Holger Giese, Stefan Henkler, Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272 - [c4]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: 801-804 - [c3]Björn Axenath, Stefan Henkler:
Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen. SEUH 2007: 13-26 - 2006
- [j1]Holger 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) - [c2]Holger Giese, Stefan Henkler:
Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38 - [c1]Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
