Stefan Henkler

54 papers A* 2A 1B 2C 13Journal 6Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Parameter-Efficient Fine-tuning Approach to Enhance Vision-Language Models for Damaged and Degraded Traffic Sign Recognition. ICCMA Mehdi Azarafza, Ali Ehteshami Bejnordi, Katrin Glöwing, Fatima Idrees, Stefan Henkler, Achim Rettberg
2025	C	`conf`	Adaptive Algorithmic Determination for Energy-Efficient UAV Swarm Pathfinding in a Smart Argiculture Context. INDIN Ahmed Amine Tabbassi, Christopher Beck, Kristian Rother, Stefan Henkler
2025	—	`conf`	Human-In-The-Loop Reasoning for Traffic Sign Detection: Collaborative Approach YOLO with Video-LLaVA. FICC (1) Mehdi Azarafza, Fatima Idrees, Ali Ehteshami Bejnordi, Charles Steinmetz, Stefan Henkler, Achim Rettberg
2025	—	`conf`	Introduction to the Minitrack on Building Software in a World of Digital Twins. HICSS Achim Rettberg, Gregor Engels, Stefan Henkler, Tim Schattkowsky
2024	J	`jnl`	Human-in-the-loop Reasoning For Traffic Sign Detection: Collaborative Approach Yolo With Video-llava. CoRR Mehdi Azarafza, Fatima Idrees, Ali Ehteshami Bejnordi, Charles Steinmetz, Stefan Henkler, Achim Rettberg
2023	C	`conf`	A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming. INDIN Aluko Tunde Oluwayemi, Kristian Rother, Stefan Henkler
2023	—	`ed.`	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 IESS Marco A. Wehrmeister, Márcio Eduardo Kreutz, Marcelo Götz, Stefan Henkler, Andy D. Pimentel, Achim Rettberg
2023	—	`conf`	Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. HICSS Stefan Henkler, Martin Hirsch
2023	—	`ed.`	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 IESS Stefan Henkler, Márcio Eduardo Kreutz, Marco A. Wehrmeister, Marcelo Götz, Achim Rettberg
2023	C	`conf`	Introducing a group-based remote laboratory for embedded education. INDIN Christopher Beck, Luca Brodo, Camila Belen Quintanilla Docmac, Stefan Henkler, Achim Rettberg, Kristian Rother
2022	—	`conf`	Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets. IESS Luca Brodo, Stefan Henkler, Kristian Rother
2022	—	`conf`	Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture. IESS Olaniyi Bayonle Alao, Kristian Rother, Stefan Henkler
2016	—	`ch.`	SPES XT Systems Engineering Extensions. Advanced Model-Based Engineering of Embedded Systems Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer
2016	—	`ch.`	The SPES XT Tool Platform. Advanced Model-Based Engineering of Embedded Systems Karsten Albers, Ömer Gürsoy, Stefan Henkler, Michael Schulze, Bastian Tenbergen, Axel Terfloth, Raphael Weber
2015	—	`conf`	FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020). Software Engineering & Management Ottmar Bender, Wolfgang Böhm, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer
2014	C	`conf`	4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). Software Engineering Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Oliver Sander, Andreas Vogelsang, Thorsten Weyer
2014	—	`conf`	Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy. CSER Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer
2014	C	`conf`	Evaluation of a state-based real-time scheduling analysis technique. INDIN Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
2014	B	`conf`	Impact analysis for timing requirements on real-time systems. RTCSA Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
2014	—	`conf`	Integrating the Security Aspect into Design Space Exploration of Embedded Systems. ISSRE Workshops Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler
2014	J	`jnl`	State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. Des. Autom. Embed. Syst. Tayfun Gezgin, Ingo Stierand, Stefan Henkler, Achim Rettberg
2014	C	`conf`	Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems. Software Engineering (Workshops) Philipp Reinkemeier, Heinz Hille, Stefan Henkler
2013	C	`conf`	3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). Software Engineering Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Dietmar Sander, Andreas Vogelsang, Thorsten Weyer
2013	C	`conf`	A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development. Software Engineering (Workshops) Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden
2013	C	`conf`	Automata-Based Refinement Checking for Real-Time Systems. Software Engineering Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler
2013	—	`conf`	Contract-Based Compositional Scheduling Analysis for Evolving Systems. IESS Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
2013	C	`conf`	Contracts for evolving systems. ISORC Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg
2013	J	`jnl`	Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
2012	—	`conf`	Abstraction Techniques for Compositional State-Based Scheduling Analysis. SBESC Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
2012	—	`conf`	Component Behavior Synthesis for Critical Systems. MBEES Stefan Henkler, Tobias Eckardt
2012	—	`—`	Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme. Stefan Henkler
2012	—	`ch.`	Introduction to the SPES Modeling Framework. Model-Based Engineering of Embedded Systems Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer
2012	—	`ch.`	Technical Viewpoint. Model-Based Engineering of Embedded Systems Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand
2012	—	`conf`	Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg
2011	J	`jnl`	A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simul. Holger Giese, Stefan Henkler, Martin Hirsch
2011	C	`conf`	A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler
2011	J	`jnl`	Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. Comput. Syst. Sci. Eng. Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel
2011	—	`conf`	Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE Christian Heinzemann, Stefan Henkler
2010	—	`conf`	Component Behavior Synthesis for Critical Systems ISARCS Tobias Eckardt, Stefan Henkler
2010	—	`conf`	Legacy component integration by the Fujaba real-time tool suite. ICSE (2) Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel
2010	C	`conf`	Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel
2010	C	`conf`	Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
2010	—	`conf`	Reverse Engineering vernetzter automotiver Softwaresysteme. MBEES Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel
2009	A*	`conf`	Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
2008	A	`conf`	Modeling collaborations with dynamic structural adaptation in mechatronic UML. SEAMS Martin Hirsch, Stefan Henkler, Holger Giese
2008	—	`conf`	Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. ICSE Companion Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten
2008	—	`conf`	Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. MBEES Stefan Henkler, Martin Hirsch
2007	B	`conf`	Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS Holger Giese, Stefan Henkler, Martin Hirsch
2007	—	`conf`	Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen. SEUH Björn Axenath, Stefan Henkler
2007	—	`conf`	Fujaba4Eclipse Real-Time Tool Suite. Model-Based Engineering of Embedded Real-Time Systems Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
2007	A*	`conf`	Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ICSE Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking
2006	J	`jnl`	A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput. Holger Giese, Stefan Henkler
2006	—	`conf`	Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA Holger Giese, Stefan Henkler
2006	—	`conf`	Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein