Startseite > Publikationen > Publikationen

Publikationen von Stefan Henkler


Unsere Publikationen aus dem Jahr 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, S. 99-112, 26. Feb. - 1. Mrz. 2013, Gesellschaft fuer Informatik (Details)


Unsere Publikationen aus dem Jahr 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 (Details)

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), Jun. 2011 (Details)


Unsere Publikationen aus dem Jahr 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, S. 528-566, Dez. 2010 (Details)

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, Mai 2010 IEEE, IEEE CS Press (Details)

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, Band 2 , S. 267-270, New York, NY, USA, Mai 2010, ACM (Details)

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 (Details)

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), Band 6100 , S. 323-328, Jan. 2010, Springer Verlag (Details)

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, Band 6150 , S. 52-71, 2010, Springer-Verlag Berlin Heidelberg (Details)

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 (Hrsg.) Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), Band 6100 , S. 309-315. Springer, Jan. 2010 (Details)

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), Band 159 , S. 153-164, 2010, GI (Details)

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, Band 272 , S. 1-16, 2010 (Details)


Unsere Publikationen aus dem Jahr 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, S. 25-29, Eindhoven University of Technology, The Netherlands, Nov. 2009 (Details)

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

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

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, S. 615-618, Mai 2009 (Details)


Unsere Publikationen aus dem Jahr 2008:



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

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, Band TUD-FI08-09 , S. 36-39, Dresden, Germany, Sep. 2008, Technische Universitaet Dresden (Details)

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, S. 1-11, New York, USA, 2008, ASME (Details)

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, S. 40-43, Sep. 2008 (Details)

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, S. 52-55, Sep. 2008 unbekannt (Details)

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, Mai 2008 (Details)

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, S. 33-40, 2008, ACM Press (Details)

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, Nr. 2008-2 , S. 78-87, Technische Universitaet Braunschweig, 2008 (Details)

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 (Details)

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: S. 411-426, Feb. 2008 (Details)

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 (Details)

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, Band 236 , S. 27-38, 1. Jan. 2008, Heinz Nixdorf Institut (Details)

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, Band 5135 , S. 248-273, 2008, Springer Verlag (Details)

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, S. 39-51, 2008 (Details)

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


Unsere Publikationen aus dem Jahr 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, Band tr-ri-07-286 , S. 52-56, 2007, University of Paderborn (Details)

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, S. 68-73, Okt. 2007 (Details)

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, S. 1-4, 2007 (Details)

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, S. 1-4, Sep. 2007 (Details)

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): S. 801-804, Mai 2007 (Details)

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 (Details)

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, S. 13-26, 2007, dpunkt (Details)


Unsere Publikationen aus dem Jahr 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, Band 17 , S. 528-550, Dez. 2006 (Details)

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, Band 343 , S. 41-60, University of Oslo, 2006 (Details)

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, Band 2006/1 , S. 15-25, Budapest University of Technology and Economics, 2006 (Details)

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, Band tr-ri-06-275 , S. 51-55, 2006, University of Paderborn (Details)

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), S. 28-38, New York, NY, USA, Jul. 2006, ACM Press (Details)

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, S. 67-74, 2006, ACM Press (Details)

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: S. 457-473, 2006 (Details)


Unsere Publikationen aus dem Jahr 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, S. 11-18, Sep. 2005 (Details)