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.



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, LuxembourgBand2952, Seite 128-138
In N. Guelfi and E. Artesiano and G. Reggio, Editor
Herausgeber: 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), Seite 21-32
In Henderson-Sellers, B and Debenham, J, Editor
Oktober 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 PaderbornBandtr-ri-04-247
In Holger Giese and Albert Zündorf, Editor
Oktober 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, Seite 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), Seite 38-47
Herausgeber: 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
Mai 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
Herausgeber: 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, Seite 395-405
Herausgeber: ACM Press
Mai 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, Seite 7-15
Herausgeber: International Society for Optical Engineering
August 2001