Dokumente

2010

Holger Giese, Stefan Henkler, and Martin Hirsch, '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, December 2010. accepted.

Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, and Wilhelm Schäfer, 'Modeling and Verifying Dynamic Communication Structures based on Graph Transformations', in Proc. of the Software Engineering 2010 Conference, Paderborn, Germany, 22.-26.2.2010, 2010. accepted.

Matthias Tichy, Martin Hirsch, Christopher Brink, Wilhelm Schäfer, Christopher Gerking, and Martin Hahn, 'Integration hybrider Modellierungstechniken in CAMeL-View', in Seventh Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, pp. 1--16, 2010. accepted.

2009

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kathan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, and Holger Giese, '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.

Christoph Sondermann-Wölke, Jens Geisler, Martin Hirsch, and Tobias Hemsel, 'Verlässlichkeit im aktiven selbstoptimierenden Spurführungsmodul eines schienengebundenen Fahrzeugs', in Proc. of the Sixth Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, April 2009.

A. Dell'Aere, M. Hirsch, B. Klöpper, M. Koester, M. Krüger, A. Krupp, T. Müller, S.~Oberthür~S. Pook, C. Priesterjahn, C. Romaus, A. Schmidt, C. Sondermann-Wölke, M. Tichy, H. Vöcking, and H. Zimmer, 'Verlässlichkeit selbstoptimierender Systeme -- Potenziale nutzen und Risiken vermeiden',, vol. Band 235. Paderborn: HNI-Verlagsschriftenreihe, 2009.

Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, and Wilhelm Schäfer, 'Fujaba4Eclipse Real-Time Tool Suite', in Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), LNCS, pp. 1--7, Springer, 2009. accepted.

2008

Holger Giese, Stefan Henkler, and Martin Hirsch, 'A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems', Tech. Rep. tr-ri-08-297, Computer Science Department, University of Paderborn, December 2008.

Martin Hirsch, 'Modell-basierte Verifikation von vernetzten mechatronischen Systemen',. PhD thesis, University of Paderborn, Paderborn, Germany, September 2008.

Christian Brenner, Holger Giese, Stefan Henkler, Martin Hirsch, and Claudia Priesterjahn, 'Integration of Legacy Components in Mechatronic UML Architectures', in Proc. of the 6^th International Fujaba Days 2008, Dresden, Germany (Uwe Aßmann, Jendrik Johannes, and Albert Zündorf, eds.), pp. 52--55, September 2008.

Stefan Henkler, Martin Hirsch, and Claudia Priesterjahn, 'Hybrid Model Checking with the FUJABA Real-Time Tool Suite', in Proc. of the 6^th International Fujaba Days 2008, Dresden, Germany (Uwe Aßmann, Jendrik Johannes, and Albert Zündorf, eds.), pp. 40--43, September 2008.

Stefan Henkler, Martin Hirsch, Sascha Kahl, and Alexander Schmidt, '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, (New York, USA), pp. 1--11, ASME, September 2008.

Martin Hirsch, Stefan Henkler, and Holger Giese, '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, ACM Press, May 2008.

Stefan Henkler and Martin Hirsch, '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 (Bernhard Schätz, Holger Giese, Ulrich Nickel, and Michaela Huhn, eds.), no. 2008-02 in Informatik-Bericht, (Technische Universität Braunschweig), pp. 78--87, April 2008.

Semir Osmic, Eckehard Münch, Ansgar Trächtler, Stefan Henkler, Wilhelm Schäfer, Holger Giese, and Martin Hirsch, 'Safe Online-Reconfiguration of Self-Optimzing Mechatronic Systems', in Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik (Jürgen Gausemeier, Franz Rammig, and Wilhelm Schäfer, eds.), pp. 411--426, February 2008.

Holger Giese, Stefan Henkler, Martin Hirsch, Vladimir Roubin, and Matthias Tichy, 'Modeling Techniques for Software-Intensive Systems', in Designing Software-Intensive Systems: Methods and Principles (Dr. Pierre~F. Tiako, ed.), pp. 21--58, Langston University, OK, 2008.

Holger Giese, Stefan Henkler, and Martin Hirsch, 'Combining Compositional Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML', in Architecting Dependable Systems V (Rogério de Lemos, Felicita~Di Giandomenico, Cristina Gacek, Henry Muccini, and Marlon Vieira, eds.), vol. 5135 of LNCS, pp. 248--273, SPRINGER, 2008.

Stefan Henkler and Martin Hirsch, '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.

2007

Stefan Henkler and Martin Hirsch, '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 (Matthias Gehrke, Holger Giese, and Joachim Stroop, eds.), vol. tr-ri-07-286, pp. 52--56, University of Paderborn, October 2007.

A. Smajevic, Z. Avdagic, W. Schäfer, and M. Hirsch, 'Automatic track layout using genetic algorithms', in Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, Faculty of Electrical Engineering, University of Sarajevo, October 2007.

Holger Giese, Stefan Henkler, Martin Hirsch, and Claudia Priesterjahn, 'Model-Based Testing of Mechatronic Systems', in Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, and Albert Zündorf, eds.), pp. 1--4, September 2007.

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, and Michael Spijkerman, 'Monitoring of Structural and Temporal Properties', in Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, and Albert Zündorf, eds.), pp. 1--4, September 2007.

Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Müch, and Henner Vöcking, 'Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View', in Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801--804, IEEE Computer Society Press, May 2007.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, and Ulrich Nickel, 'Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen', in Proc. of the Software Engineering 2007 Conference, Hamburg, Germany, 27.-30.3.2007 (Wolf-Gideon Bleek, Henning Schwentner, and Heinz Züllighoven, eds.), vol. P-105 of LNI, pp. 251--252, Gesellschaft für Informatik, March 2007.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, and Ulrich Nickel, 'Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme', in Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany (Mirko conrad, Holger Giese, Bernhard Rumpe, and Bernhard Schätz, eds.), no. 2007-1 in Informatik-Bericht, (Technische Universität Braunschweig), pp. 73--82, January 2007.

2006

Holger Giese, Stefan Henkler, and Martin Hirsch, '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, vol. 343 of Research Report, (University of Oslo), pp. 41--60, October 2006.

Stefan Henkler and Martin Hirsch, '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, vol. 2006/1 of BME-DAAI Technical Report Series, (Budapest University of Technology and Economics), pp. 15--25, October 2006.

Holger Giese, Stefan Henkler, and Martin Hirsch, 'A PlugIn for the Development of Resource Aware Components with Mechatronic UML', in Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 51--55, University of Paderborn, September 2006.

Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, and Henner Vöcking, 'Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge', in Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, vol. 189 of HNI-Verlagsschriftenreihe, pp. 457--473, May 2006.

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

Holger Giese and Martin Hirsch, 'Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML', in Satellite Events at the MoDELS 2005 Conference, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Jean-Michel Bruel, ed.), vol. 3844 of Lecture Notes in Computer Science (LNCS), pp. 67--78, Springer Verlag, January 2006.

Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, and Martin Hirsch, 'Scenario-Based Verification of Automotive Software Systems', in Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 9.-13.1.2005, Schloss Dagstuhl, Germany (Holger Giese, Bernhard Rumpe, and Bernhard Schätz, eds.), no. 2006-1 in Informatik-Bericht, (Technische Universität Braunschweig), pp. 35--42, January 2006.

2005

Holger Giese and Martin Hirsch, 'Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML', Tech. Rep. tr-ri-03-266, University of Paderborn, Paderborn, Germany, December 2005.

Holger Giese and Martin Hirsch, 'Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML', in Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2005, pp. 7--26, October 2005.

Sven Burmester, Holger Giese, and Martin Hirsch, 'Syntax and Semantics of Hybrid Components', Tech. Rep. tr-ri-05-264, University of Paderborn, October 2005.

Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, and Matthias Tichy, 'The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems', in Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pp. 670--671, ACM Press, May 2005.

2004

Sven Burmester, Holger Giese, Martin Hirsch, and Daniela Schilling, 'Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite', in Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pp. 1--20, October 2004.

Martin Hirsch, 'Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL', Master's thesis, University of Paderborn, June 2004.

2003

Martin Hirsch and Holger Giese, 'Towards the Incremental Model Checking of Complex RealTime UML Models', in Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese and Albert Zündorf, eds.), vol. tr-ri-04-247 of Technical Report, pp. 9--12, University of Paderborn, October 2003.

2002

Martin Hirsch and Markus Zarbock, 'Model-Checking eines Materialflusssystems mittels UPPAAL und SMV', Bachelor's thesis, University of Paderborn, Department of Computer Science, Paderborn, Germany, September 2002.