Prof. Dr. Matthias Tichy

My main research focus is on domain specific languages, particularly for mechatronic systems. Mechatronic systems are systems which are jointly developed by mechanical, electrical, control and software engineers, e.g., modern cars. The embedded software is the key driver for innovation in mechatronic systems. I especially focus on self-adaptive software and software in safety-critical systems. I use graph transformations as underlying formal basis in many of these research activities. Furthermore, i employ empirical research methods to understand how humans use software as well as to evaluate technical contributions.

www.tichy.de

Publikationen

2012

53.
Dziwok, Stefan; Bröker, Kathrin; Heinzemann, Christian; Tichy, Matthias
A Catalog of Real-Time Coordination Patterns for Advanced Mechatronic Systems
Dokument Nummer: tr-ri-12-319
University of Paderborn
Februar 2012
52.
Becker, Steffen; Brenner, Christian; Dziwok, Stefan; Gewering, Thomas; Heinzemann, Christian; Pohlmann, Uwe; Priesterjahn, Claudia; Schäfer, Wilhelm; Suck, Julian; Sudmann, Oliver; Tichy, Matthias
The <prt>MechatronicUML</prt> Method - Process, Syntax, and Semantics
Dokument Nummer: tr-ri-12-318
University of Paderborn
Februar 2012
51.
Tichy, Matthias; Klöpper, Benjamin
Planning Self-Adaption with Graph Transformations
In Andy Schürr and Dániel Varró and Gergely Varró, Editor, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011Band7233ausLecture Notes in Computer Science
In Andy Schürr and Dániel Varró and Gergely Varró, Editor
Herausgeber: Springer Verlag
2012
50.
Dziwok, Stefan; Heinzemann, Christian; Tichy, Matthias
Real-Time Coordination Patterns for Advanced Mechatronic Systems
, Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION), 2012, Stockholm, SwedenBand7274ausLecture Notes in Computer Science
Herausgeber: Springer Verlag
2012
49.
Abdullah Al Mamun, Md; Tichy, Matthias; Hansson, Jörgen
Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
aus Technical Report
Dokument Nummer: 2012:02
Chalmers University of Technology and Gothenburg University, Gothenburg, Sweden
2012

2011

48.
Tichy, Matthias; Oestersötebier, Felix; Schierbaum, Thomas
Entwurfstechnik intelligente Mechatronik
Proc. Internationales Forum Mechatronik 2011, 21. bis 22. September, 2011, Cham, Deutschland
September 2011
47.
Priesterjahn, Claudia; Sondermann-Wölke, Christoph; Tichy, Matthias; Hölscher, Christian
Component-based Hazard Analysis for Mechatronic Systems
Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Seite 80-87
März 2011
DOI:http://doi.ieeecomputersociety.org/10.1109/ISORCW.2011.19
46.
Tichy, Matthias
A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations
In Ulrich Norbisrath and Ruben Jubeh, Editor, Proc. of the 8th International Fujaba Days 2011, Tartu, EstoniaBand2012, 1ausKasseler Informatikschriften
In Ulrich Norbisrath and Ruben Jubeh, Editor
2011
45.
Frieben, Jens; Tichy, Matthias
Automatic Deployment of <prt>IEC</prt> 61499 Function Blocks onto Interconnected Devices
Tagungsband: SPS/IPC/DRIVES 2011: Elektrische Automatisierung - Systeme und Komponenten, Fachmesse & Kongress
2011
44.
Priesterjahn, Claudia; Steenken, Dominik; Tichy, Matthias
Component-based Timed Hazard Analysis of Self-healing Systems
Proc. of the Workshop on Assurances for Self-Adaptive Systems at ESEC/FSE 2011, Szeged, Hungary
2011
DOI:http://dx.doi.org/10.1145/2024436.2024444
43.
Becker, Steffen; Dziwok, Stefan; Gewering, Thomas; Heinzemann, Christian; Pohlmann, Uwe; Priesterjahn, Claudia; Schäfer, Wilhelm; Sudmann, Oliver; Tichy, Matthias
Mechatronic<prt>UML</prt> - Syntax and Semantics
Software Engineering Group, Heinz Nixdorf Institute
2011
42.
Pohlmann, Uwe; Tichy, Matthias
Modelica code generation from ModelicaML state machines extended by asynchronous communication
In François E. Cellier and David Broman and Peter Fritzson and Edward A. Lee, Editor, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011Band56ausLinköping Electronic Conference Proceedings, Seite 75-84
In François E. Cellier and David Broman and Peter Fritzson and Edward A. Lee, Editor
Herausgeber: Linköping University Electronic Press
2011
41.
Brink, Christopher; Greenyer, Joel; Schäfer, Wilhelm; Hahn, Martin; Tichy, Matthias
Simulation von hybridem <prt>V</prt>erhalten in <prt>CAMeL-View</prt>
Wissenschaftsforum <prt>I</prt>ntelligente <prt>T</prt>echnische <prt>S</prt>ysteme 2011, Paderborn
2011

2010

40.
Schäfer, Wilhelm; Eckardt, Tobias; Henke, Christian; Kaiser, Lydia; Kerstan, Timo; Rieke, Jan; Tichy, Matthias
Der <prt>S</prt>oftwareentwurf im <prt>E</prt>ntwicklungsprozess mechatronischer <prt>S</prt>ysteme
7. Paderborner Workshop Entwurf mechatronischer Systeme, 18. und 19. März 2010, Paderborn
März 2010
39.
Tichy, Matthias; Hirsch, Martin; Brink, Christopher; Gerking, Christopher; Hahn, Martin; Schäfer, Wilhelm
Integration hybrider <prt>M</prt>odellierungstechniken in <prt>CAMeL-View</prt>
7. Paderborner Workshop Entwurf mechatronischer Systeme, 18. und 19. März 2010, Paderborn
März 2010
38.
Seebach, Hella; Nafz, Florian; Holtmann, Jörg; Meyer, Jan; Tichy, Matthias; Reif, Wolfgang; Schäfer, Wilhelm
Designing Self-healing in Automotive Systems
In Bing Xie and Jürgen Branke and Seyed Masoud Sadjadi and Daqing Zhang and Xingshe Zhou, Editor, Autonomic and Trusted Computing - 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010. ProceedingsBand6407ausLecture Notes in Computer Science, Seite 47-61
In Bing Xie and Jürgen Branke and Seyed Masoud Sadjadi and Daqing Zhang and Xingshe Zhou, Editor
Herausgeber: Springer
2010
DOI:http://dx.doi.org/10.1007/978-3-642-16576-4_4
37.
Priesterjahn, Claudia; Tichy, Matthias; Henkler, Stefan; Hirsch, Martin; Schäfer, Wihelm
Fujaba4eclipse real-time tool suite
Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systemsausMBEERTS'07, Seite 309--315
Herausgeber: Springer-Verlag, Berlin, Heidelberg
2010
36.
Klöpper, Benjamin; Honiden, Shinichi; Meyer, Jan; Tichy, Matthias
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems
Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27 September - 1 October 2010, Seite 74-83
Herausgeber: IEEE Computer Society
2010
DOI:10.1109/SASO.2010.16

2009

35.
Priesterjahn, C.; Tichy, Matthias
Modeling Safe Reconfiguration with the FUJABA Real-Time Tool Suite
In Pieter van Gorp, Editor, Proceedings of the 7th International Fujaba Days, Eindhoven, The Netherlands, Seite 20-24
In Pieter van Gorp, Editor
November 2009

2008

34.
Henke, C.; Tichy, Matthias; Schneider, T.; Böcker, J.; Schäfer, W.
Organization and Control of Autonomous Railway Convoys
Proceedings of the 9th International Symposium on Advanced Vehicle Control, Kobe, Japan
Oktober 2008
33.
Holtmann, J.; Tichy, Matthias
Component Story Diagrams in Fujaba4Eclipse
Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, Seite 44-47
September 2008
32.
Tichy, M.; Henkler, S.; Meyer, M.; von Detten, M.
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, Seite 1-2
Mai 2008
31.
Henke, C.; Tichy, Matthias; Schneider, T.; Böcker, J.; Schäfer, W.
System Architecture and Risk Management for Autonomous Railway Convoys
Proceedings of the 2nd Annual IEEE International Systems Conference, Montreal, Canada
April 2008
30.
Tichy, Matthias; Henkler, S.; Holtmann, J.; Oberthür, S.
Towards a Transformation Language for Component Structures
Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Seite 27-39
2008

2007

29.
Tichy, Matthias; Henkler, S.
Towards a Transformation Language for Component Structures
Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Seite 68-73
Oktober 2007