Quick access
News:
06. Januar 2021
„Menschen sind Maschinen immer unterlegen“: Laut Experten müssen wir das in Zukunft berücksichtigen

Wie kann die Zusammenarbeit von Mensch und Maschine am besten gestaltet werden? Dieser Frage widmen sich die Paderborner ...
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: 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)