Institute of Software Engineering and Programming Languages

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

2014

73.
Greenyer, Joel; Winetzhammer, Sabine; Tichy, Matthias
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems
In Daniel Amyot and Pau Fonseca i Casas and Gunter Mussbacher, Editor, Proc. of the 8th System Analysis and Modelling Conference (SAM 2014), Valencia, Spain, September 29 - 30
In Daniel Amyot and Pau Fonseca i Casas and Gunter Mussbacher, Editor
September 2014
72.
Durisic, Darko; Staron, Miroslaw; Tichy, Matthias; Hansson, Jörgen
Evolution of Long-Term Industrial Meta-Models – A Case Study
Proc. of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Verona, Italy
August 2014
71.
Bennaceur, Amel; B. France, Robert; Tamburrelli, Giordano; Vogel, Thomas; J. Mosterman, Pieter; Cazzola, Walter; M. Costa, Fábio; Pierantonio, Alfonso; Tichy, Matthias; Akşit, Mehmet; Emmanuelson, Pär; Gang, Huang; Georgantas, Nikolaos; Redlich, David
Mechanisms for Leveraging Models at Runtime in Self-adaptive Software
In Nelly Bencomo and Robert B. France and Betty H. Cheng and Uwe Assmann, Editor, Models@run.time Volume 8378 from Lecture Notes in Computer Science (LNCS)
Page 19-46
Publisher: Springer
July 2014
19-46
DOI:10.1007/978-3-319-08915-7_2
70.
Krause, Christian; Tichy, Matthias; Giese, Holger
Implementing Graph Transformations in the Bulk Synchronous Parallel Model
Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), June 7-10, Grenoble, France
June 2014
DOI:10.1007/978-3-642-54804-8_23
69.
Backlund, Emil; Bolle, Mikael; Tichy, Matthias; HolmströmOlsson, Helena; Bosch, Jan
Automated User Interaction Analysis for Workflow-Based Web Portals
Proc. of the 5th International Conference on Software Business (ICSOB 2014), Paphos, Cyprus
June 2014
DOI:10.1007/978-3-319-08738-2_11
68.
Brenner, Christian; Greenyer, Joel; Holtmann, Jörg; Liebel, Grischa; Tichy, Matthias; Stieglbauer, Gerald
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), Grenoble, France
April 2014
67.
Pohlmann, Uwe; Dziwok, Stefan; Meyer, Matthias; Tichy, Matthias; Thiele, Sebastian
A Modelica Coordination Pattern Library for Cyber-Physical Systems
Proc. of the 7th International ICST Conference on Simulation Tools and Techniques, (SIMUTools), March 17-19, Lisbon, Portugal
March 2014
66.
Becker, Steffen; Dziwok, Stefan; Gerking, Christopher; Schäfer, Wilhelm; Heinzemann, Christian; Thiele, Sebastian; Meyer, Matthias; Priesterjahn, Claudia; Pohlmann, Uwe; Tichy, Matthias
The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling
Document Number: tr-ri-14-337
Heinz Nixdorf Institute, University of Paderborn
March 2014
65.
Westfechtel, Bernhard; Tichy, Matthias
Preface
<prt>ECEASST</prt>, 68
2014

2013

64.
Getir, Sinem; van Hoorn, André; Grunske, Lars; Tichy, Matthias
Co-Evolution of Software Architecture and Fault Tree Models: An Explorative Case Study on a Pick and Place Factory Automation System
Proc. of the 5th International Workshop on Non-functional Properties in Modeling, September 29, Miami, USA
September 2013
63.
Tichy, Matthias; Krause, Christian; Liebel, Grischa
Detecting performance bad smells for Henshin model transformations
In Benoit Baudry and Jürgen Dingel and Levi Lécio and Hans Vangheluwe, Editor, Proc. of the 2nd Workshop on the Analysis of Model Transformations (AMT), September 29, Miami, USA
In Benoit Baudry and Jürgen Dingel and Levi Lécio and Hans Vangheluwe, Editor
September 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.
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
54.
Frieben, Jens; Tichy, Matthias
Automatic deployment of <prt>IEC</prt> 61499 function blocks
CAN Newsletter, 1 :40--47
March 2012
53.
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
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
Document Number: tr-ri-12-318
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.
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
49.
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