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

2013

62.
Heinzemann, Christian; Sudmann, Oliver; Schäfer, Wilhelm; Tichy, Matthias
A Discipline-Spanning Development Process for Self-Adaptive Mechatronic Systems
Proc. of the International Conference on Software and Systems Process (ICSSP), May 18-19, San Francisco, CA, USA, Page 36-45
May 2013
DOI:http://doi.acm.org/10.1145/2486046.2486055
61.
Tichy, Matthias; Ribeiro, Leila
Preface
Proc. of the 12th International Workshop on Graph Transformations and Visual Modeling Techniques (GT-VMT)
February 2013
60.
Priesterjahn, Claudia; Steenken, Dominik; Tichy, Matthias
Timed Hazard Analysis of Self-healing Systems
In Javier Camara, Rogério de Lemos and Carlo Ghezzi and Antonia Lopes, Editor, Assurances for Self-Adaptive Systems Volume 7740 from Lecture Notes in Computer Science
Page 112-151
Publisher: Springer Berlin / Heidelberg
2013
112-151

2012

59.
Pohlmann, Uwe; Dziwok, Stefan; Suck, Julian; Wolf, Boris; Choon Loh, Chia; Tichy, Matthias
A <prt>M</prt>odelica Library for Real-Time Coordination Modeling
In Martin Otter and Dirk Zimmer, Editor, Proc. of the 9th International Modelica Conference, Munich, Germany, Munich, September 3 - 5, 2012
In Martin Otter and Dirk Zimmer, Editor
September 2012
58.
Berger, Christian; Tichy, Matthias
Towards Transactional Self-Adaption for <prt>AUTOSAR</prt> on the Example of a Collision Detection System
In Ina Schäfer and Marcus Wille, Editor, Proc. of the 10th Workshop Automotive Software Engineering, 17th September 2012, Braunschweig, Germany
In Ina Schäfer and Marcus Wille, Editor
Publisher: Gesellschaft für Informatik
September 2012
57.
Priesterjahn, Claudia; Heinzemann, Christian; Schäfer, Wilhelm; Tichy, Matthias
Runtime Safety Analysis for Safe Reconfiguration
Proceedings of the 3rd Workshop on Self-X and Autonomous Control in Engineering Applications at the 10th IEEE International Conference on Industrial Informatics, 25th - 27th July 2012, Beijing, China
July 2012
56.
Heinzemann, Christian; Pohlmann, Uwe; Rieke, Jan; Schäfer, Wilhelm; Sudmann, Oliver; Tichy, Matthias
Generating <prt>Simulink</prt> and <prt>Stateflow</prt> Models From Software Specifications
Proceedings of the 12h International Design Conference DESIGN 2012
May 2012
55.
Frieben, Jens; Tichy, Matthias
Automatic deployment of <prt>IEC</prt> 61499 function blocks
CAN Newsletter, 1 :40--47
March 2012
54.
Becker, Steffen; Tichy, Matthias
Towards Model-Driven Evolution of Performance Critical Business Information Systems to Cloud Computing Architecture
Proceedings of Modellbasierte und Modellgetriebene Softwaremodernisierung, Workshop at Modellierung 2012
March 2012
53.
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
Document Number: tr-ri-12-318
University of Paderborn
February 2012
52.
Dziwok, Stefan; Bröker, Kathrin; Heinzemann, Christian; Tichy, Matthias
A Catalog of Real-Time Coordination Patterns for Advanced Mechatronic Systems
Document Number: tr-ri-12-319
University of Paderborn
February 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, 2011Volume7233fromLecture Notes in Computer Science
In Andy Schürr and Dániel Varró and Gergely Varró, Editor
Publisher: 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, SwedenVolume7274fromLecture Notes in Computer Science
Publisher: Springer Verlag
2012
49.
Abdullah Al Mamun, Md; Tichy, Matthias; Hansson, Jörgen
Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
from Technical Report
Document Number: 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), Page 80-87
March 2011
DOI:http://doi.ieeecomputersociety.org/10.1109/ISORCW.2011.19
46.
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
45.
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
44.
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, EstoniaVolume2012, 1fromKasseler Informatikschriften
In Ulrich Norbisrath and Ruben Jubeh, Editor
2011
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, 2011Volume56fromLinköping Electronic Conference Proceedings, Page 75-84
In François E. Cellier and David Broman and Peter Fritzson and Edward A. Lee, Editor
Publisher: 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
March 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
March 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. ProceedingsVolume6407fromLecture Notes in Computer Science, Page 47-61
In Bing Xie and Jürgen Branke and Seyed Masoud Sadjadi and Daqing Zhang and Xingshe Zhou, Editor
Publisher: Springer
2010
DOI:http://dx.doi.org/10.1007/978-3-642-16576-4_4