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.



Giese, H.; Tichy, Matthias; Schilling, D.
Compositional Hazard Analysis of UML Components and Deployment Models
, Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, GermanyVolume3219fromLecture Notes in Computer Science (LNCS)
Publisher: Springer Verlag
September 2004
Steffen, D.; Gehrke, M.; Tichy, Matthias
Developing an Optimized Principle Solution for Mechatronic Systems
In P. Drews, Editor, Proc. of Mechatronics and Robotics 2004, Aachen, Germany, Page 1-6
In P. Drews, Editor
Publisher: Sascha Eysoldt Verlag, Aachen
September 2004
Burmester, S.; Tichy, M.; Giese, H.
Modeling Reconfigurable Mechatronic Systems with Mechatronic UML
In U. Amann, Editor, Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, Page 155-169
In U. Amann, Editor
June 2004


Tichy, Matthias; Giese, H.
Seamless UML Support for Service-based Software Architectures
In N. Guelfi and E. Artesiano and G. Reggio, Editor, Proc. of the International Workshop on scientiFic engineering of Distributed Java applIcations (FIDJI) 2003, LuxembourgVolume2952, Page 128-138
In N. Guelfi and E. Artesiano and G. Reggio, Editor
Publisher: Springer Verlag LNCS
November 2003
Giese, H.; Burmester, S.; Klein, F.; Schilling, D.; Tichy, M.
Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML
In Henderson-Sellers, B and Debenham, J, Editor, OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia), Page 21-32
In Henderson-Sellers, B and Debenham, J, Editor
October 2003
Tichy, Matthias; Kudak, M.
Visualization of the execution of Real-Time Statecharts
In Holger Giese and Albert Zündorf, Editor, Proc. of the first International Fujaba Days 2003, Kassel, Germany, Technical Report, University of PaderbornVolumetr-ri-04-247
In Holger Giese and Albert Zündorf, Editor
October 2003
Burmester, S.; Giese, H.; Niere, J.; Tichy, Matthias; Wadsack, J. P.; Wagner, R.; Wendehals, L.; Zündorf, A.
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite
Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, Page 51-56
September 2003
Giese, H.; Tichy, Matthias; Burmester, S.; Schäfer, W.; Flake, S.
Towards the Compositional Verification of Real-Time UML Designs
Proc. of the 9th European Software Engineering Conference held jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11), Page 38-47
Publisher: ACM Press
September 2003
Tichy, Matthias; Giese, H.
An Architecture for Configurable Dependability of Application Services
In Rogerio de Lemos and Christina Gacek and Alexander Romanowsky, Editor, Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA
In Rogerio de Lemos and Christina Gacek and Alexander Romanowsky, Editor
May 2003


Tichy, Matthias
Eine Laufzeitumgebung für sich spontan vernetzende Komponenten in verteilten Systemen
In Gesellschaft für Informatik, Editor, Bericht Informatiktage 2002, Bad Schussenried, Germany
In Gesellschaft für Informatik, Editor
Publisher: Conradin Verlag, Grasbrunn
November 2002
Gehrke, M.; Giese, H.; Nickel, U. A.; Niere, J.; Tichy, Matthias; Wadsack, J. P.; Zündorf, A.
Reporting about Industrial Strength Software Engineering Courses for Undergraduates
Proc. of the 24th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, Page 395-405
Publisher: ACM Press
May 2002


Tichy, Matthias
A Jini-supported Distributed Version and Configuration Management System
Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, Page 7-15
Publisher: International Society for Optical Engineering
August 2001