Home > Publications > Publikationen

Publications of Stefan Henkler


Our publications from 2013:



Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan: Automata-Based Refinement Checking for Real-Time Systems. In: Proceedings of Software Engineering 2013 -- Fachtagung des GI-Fachbereichs Softwaretechnik, pp. 99-112, Feb 26 - Mar 1, 2013, Gesellschaft fuer Informatik (more)

Eckardt, Tobias; Heinzemann, Christian; Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, Wilhelm: Modeling and verifying dynamic communication structures based on graph transformations. Computer Science - Research and Development, 28(1): pp. 3-22, Feb 2013 (more)


Our publications from 2011:



Henkler, Stefan; Oberthür, Simon; Giese, Holger; Seibel, Andreas: Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science & Engineering, 26(6), Nov 2011 (more)

Heinzemann, Christian; Henkler, Stefan: Timed Story Driven Modeling. tr-ri-11-326, July 2011 (more)

Heinzemann, Christian; Henkler, Stefan: Reusing Dynamic Communication Protocols in Self-Adaptive Embedded Component Architectures. In: Proceedings of the 14th International Symposium on Component Based Software Engineering (CBSE-2011), June 2011 (more)


Our publications from 2010:



Giese, Holger; Henkler, Stefan; Hirsch, Martin: A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems. In: Transactions of the Society for Modeling and Simulation International, pp. 528-566, Dec 2010 (more)

Henkler, Stefan; Oberthür, Simon; Giese, Holger; Seibel, Andreas: Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. In: Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, May 2010 IEEE, IEEE CS Press (more)

Henkler, Stefan; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich A.; von Detten, Markus: Legacy Component Integration by the Fujaba Real-Time Tool Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, volume 2 , pp. 267-270, New York, NY, USA, May 2010, ACM (more)

Henkler, Stefan; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich A.: Reverse Engineering vernetzter automotiver Softwaresysteme. In: Proceedings of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 2010, Schloss Dagstuhl, Germany, Informatik-Bericht, Technische Universitaet Braunschweig, 2010 (more)

Legros, Elodie; Schäfer, Wilhelm; Schürr, Andy; Stürmer, Ingo; Greenyer, Joel; Heinzemann, Christian; Henkler, Stefan; Ristov, Renate; Travkin, Dietrich; Yalcin, Coni: MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. In: Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), volume 6100 , pp. 323-328, Jan 2010, Springer Verlag (more)

Eckardt, Tobias; Henkler, Stefan: Component Behavior Synthesis for Critical Systems. In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, Lecture Notes in Computer Science, volume 6150 , pp. 52-71, 2010, Springer-Verlag Berlin Heidelberg (more)

Priesterjahn, Claudia; Tichy, Matthias; Henkler, Stefan; Hirsch, Martin; Schäfer, Wilhelm: Fujaba4Eclipse Real-Time Tool Suite. In: Giese, Holger; Karsai, Gabor; Lee, Edward; Rumpe, Bernhard; Schätz, Bernhard (eds.) Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), volume 6100 , pp. 309-315. Springer, Jan 2010 (more)

Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, Wilhelm: Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. In: Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.- 26.2.2010 in Paderborn, Lecture Notes in Informatics (LNI), volume 159 , pp. 153-164, 2010, GI (more)

Henkler, Stefan; Meyer, Jan; Schäfer, Wilhelm; Nickel, Ulrich A.: Reverse Engineering mechatronischer Systeme. In: Seventh Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 272 , pp. 1-16, 2010 (more)


Our publications from 2009:



Henkler, Stefan; Breit, Moritz; Brink, Christopher; Böger, Markus; Brenner, Christian; Bröker, Kathrin; Pohlmann, Uwe; Richtermeier, Manel; Suck, Julian; Travkin, Oleg; Priesterjahn, Claudia: FRiTSCab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems. In: Proceedings of the 7th International Fujaba Days, pp. 25-29, Eindhoven University of Technology, The Netherlands, Nov 2009 (more)

Heinzemann, Christian; Henkler, Stefan; Zündorf, Albert: Specification and Refinement Checking of Dynamic Systems. In: Proceedings of the 7th International Fujaba Days, pp. 6-10, Eindhoven University of Technology, The Netherlands, Nov 2009 (more)

Eckardt, Tobias; Henkler, Stefan: Synthesis of Component Behavior. In: Proceedings of the 7th International Fujaba Days, pp. 1-5, Eindhoven University of Technology, The Netherlands, 2009 (more)

Henkler, Stefan; Greenyer, Joel; Hirsch, Martin; Schäfer, Wilhelm; Alhawash, Kahtan; Eckardt, Tobias; Heinzemann, Christian; Löffler, Renate; Seibel, Andreas; Giese, Holger: Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, pp. 615-618, May 2009 (more)

Adelt, Philipp; Donoth, Jörg; Geisler, Jens; Henkler, Stefan; Kahl, Sascha; Klöpper, Benjamin; Münch, Eckehard; Oberthür, Simon; Paiz, Carlos; Podlogar, Herbert; Porrmann, Mario; Radkowski, Rafael; Romaus, Christoph; Schmidt, Alexander; Schulz, Bernd; Voecking, Henner; Witkowski, Ulf; Witting, Katrin: Selbstoptimierende Systeme des Maschinenbaus - Definitionen, Anwendungen, Konzepte. , number 234, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009 (more)

Adelt, Philipp; Donoth, Jörg; Gausemeier, Jürgen; Geisler, Jens; Henkler, Stefan; Kahl, Sascha; Klöpper, Benjamin; Krupp, Alexander; Münch, Eckehard; Oberthür, Simon; Paiz, Carlos; Porrmann, Mario; Radkowski, Rafael; Romaus, Christoph; Schmidt, Alexander; Schulz, Bernd; Voecking, Henner; Witkowski, Ulf; Witting, Katrin; Znamenshchykov, Alex: Selbstoptimierende Systeme des Maschinenbaus – Definitionen, Anwendungen, Konzepte. HNI-Verlagsschriftenreihe, Band 234 2009 (more)


Our publications from 2008:



Henkler, Stefan; Seibel, Andreas; Giese, Holger: Synthesis of Real-Time Component Behavior. tr-ri-08-296, 2008 (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin: A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems. tr-ri-08-297, 2008 (more)

Alhawash, Kahtan; Ceylan, Toni; Eckardt, Tobias; Fazal-Baqaie, Masud; Greenyer, Joel; Heinzemann, Christian; Henkler, Stefan; Ristov, Renate; Travkin, Dietrich; Yalcin, Coni: The Fujaba Automotive Tool Suite. In: Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, volume TUD-FI08-09 , pp. 36-39, Dresden, Germany, Sep 2008, Technische Universitaet Dresden (more)

Henkler, Stefan; Hirsch, Martin; Kahl, Sascha; Schmidt, Alexander: Development of Self-optimizing Systems: Domain-spanning and Domain-specific Models exemplified by an Air Gap Adjustment System for Autonomous Vehicles. In: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, August 3-6, 2008, New York, USA, pp. 1-11, New York, USA, 2008, ASME (more)

Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia: Hybrid Model Checking with the FUJABA Real-Time Tool Suite. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 40-43, Sep 2008 (more)

Brenner, Christian; Giese, Holger; Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia: Integration of Legacy Components in Mechatronic UML Architectures. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, unbekannt, pp. 52-55, Sep 2008 unbekannt (more)

Tichy, Matthias; Henkler, Stefan; Meyer, Matthias; von Detten, Markus: Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, May 2008 (more)

Hirsch, Martin; Giese, Holger; Henkler, Stefan: Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In: Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'08), Leipzig, Germany, pp. 33-40, 2008, ACM Press (more)

Henkler, Stefan; Hirsch, Martin: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In: Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 7.3.-12.3.2008, Schloss Dagstuhl, Germany, Informatik-Bericht, number 2008-2 , pp. 78-87, Technische Universitaet Braunschweig, 2008 (more)

Osmic, Semir; Münch, Eckehard; Trächtler, Ansgar; Henkler, Stefan; Schäfer, Wilhelm; Giese, Holger; Hirsch, Martin: Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems . 7th International Heinz Nixdorf Symposium: Self-optimizing Mechatronic Systems: Designing the Future, Feb 2008 (more)

Osmic, Semir; Münch, Eckehard; Trächtler, Ansgar; Henkler, Stefan; Schäfer, Wilhelm; Giese, Holger; Hirsch, Martin: Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems. 7th International Heinz Nixdorf Symposium: Self-optimizing Mechatronic Systems: Designing the Future: pp. 411-426, Feb 2008 (more)

Henkler, Stefan; Hirsch, Martin; Kahl, Sascha; Schmidt, Andreas: Continous Development of Self-Optimizing Airgap Adjustment System for Autonomous Vehicles. In: Proceedings of IDETC/CIE 2008 ASME 2008 International Design Engineering Technical Conference \& Computers and Information in Engineering Conference, August 3-6, New York, USA, 2008 (more)

Tichy, Matthias; Henkler, Stefan; Holtmann, Jörg; Oberthür, Simon: Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 236 , pp. 27-38, 1 Jan 2008, Heinz Nixdorf Institut (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin: Combining Compositional Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. In: Architecting Dependable Systems V, LNCS, volume 5135 , pp. 248-273, 2008, Springer Verlag (more)

Henkler, Stefan; Hirsch, Martin: Iterative Behavior Synthesis by Combining Formal Verification and Model-Based Testing. In: Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, pp. 39-51, 2008 (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin; Rubin, Vladimir; Tichy, Matthias: Modeling Techniques for Software-Intensive Systems. In: Tiako, Pierre F. (eds.) Designing Software-Intensive Systems: Methods and Principles, pp. 21-58. Langston University, OK, 2008 (more)


Our publications from 2007:



Henkler, Stefan; Hirsch, Martin: Compositional Validation of Distributed Real Time Systems. In: Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 30.-31.10.2007, volume tr-ri-07-286 , pp. 52-56, 2007, University of Paderborn (more)

Tichy, Matthias; Henkler, Stefan: Towards a Transformation Language for Component Structures. In: Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, pp. 68-73, Oct 2007 (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin; Klein, Florian; Spijkerman, Michael: Monitoring of Structural and Temporal Properties. In: Proc. of the 5th International Fujaba Days 2007, Kassel, Germany, pp. 1-4, 2007 (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia: Model-Based Testing of Mechatronic Systems. In: Proc. of the 5th International Fujaba Days 2007, Kassel, Germany, pp. 1-4, Sep 2007 (more)

Burmester, Sven; Giese, Holger; Henkler, Stefan; Hirsch, Martin; Tichy, Matthias; Gambuzza, Alfonso ; Münch, Eckehard; Voecking, Henner: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. 29th International Conference on Software Engineering (ICSE): pp. 801-804, May 2007 (more)

Gausemeier, Jürgen; Giese, Holger; Schäfer, Wilhelm; Axenath, Björn; Frank, Ursula; Henkler, Stefan; Pook, Sebastian; Tichy, Matthias: Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models. In: International Conference On Engineering Design, ICED'07, 28-31 August, Paris, France, 2007 (more)

Axenath, Björn; Henkler, Stefan: Ein verbessertes Softwaretechnikpraktikum: zwischen gruener Wiese und Legacy-Systemen.. In: Software Engineering im Unterricht der Hochschulen, SEUH 10, Stuttgart, Germany, 22. und 23. Februar 2007, pp. 13-26, 2007, dpunkt (more)


Our publications from 2006:



Giese, Holger; Henkler, Stefan: A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems. In: Journal of Visual Languages and Computing, volume 17 , pp. 528-550, Dec 2006 (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin: Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account. In: Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy, Research Report, volume 343 , pp. 41-60, University of Oslo, 2006 (more)

Henkler, Stefan; Hirsch, Martin: A Multi-Paradigm Modeling Approach for Reconfigurable Mechatronic Systems. In: Proc. of the International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM06), Satellite Event of the the 9th International Conference on Model-Driven Engineering Languages and Systems MoDELS/UML2006, Genova, Italy, BME-DAAI Technical Report Series, volume 2006/1 , pp. 15-25, Budapest University of Technology and Economics, 2006 (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin: A Plugin for the Development of Resource Aware Components with Mechatronic UML. In: Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany, Technical Report, volume tr-ri-06-275 , pp. 51-55, 2006, University of Paderborn (more)

Giese, Holger; Henkler, Stefan: Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems. In: Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA2006), pp. 28-38, New York, NY, USA, July 2006, ACM Press (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin; Klein, Florian: Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios. In: Proc. of the 5th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, pp. 67-74, 2006, ACM Press (more)

Giese, Holger; Henkler, Stefan; Hirsch, Martin; Tichy, Matthias; Voecking, Henner: Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge. 4. Paderborner Workshop Entwurf mechatronischer Systeme, 189: pp. 457-473, 2006 (more)


Our publications from 2005:



Burmester, Sven; Giese, Holger; Henkler, Stefan: Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools. In: Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pp. 11-18, Sep 2005 (more)