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

74.
Liebel, Grischa; Marko, Nadja; Tichy, Matthias; Leitner, Andrea; Hansson, Jörgen
Assessing the State-of-Practice of Model-Based Engineering in the EmbeddedSystems Domain
In Juergen Dingel and Wolfram Schulte, Editor, Model Driven Engineering Languages andSystems, 17th International Conference, MODELS 2014, Valencia, Spain, September28 - October 3
In Juergen Dingel and Wolfram Schulte, Editor
September 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 Band 8378 aus Lecture Notes in Computer Science (LNCS)
Seite 19-46
Herausgeber: Springer
Juli 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
Juni 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
Juni 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
März 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
Dokument Nummer: tr-ri-14-337
Heinz Nixdorf Institute, University of Paderborn
März 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, Seite 36-45
Mai 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)
Februar 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 Band 7740 aus Lecture Notes in Computer Science
Seite 112-151
Herausgeber: 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
Herausgeber: 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
Juli 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
Mai 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
März 2012
54.
Frieben, Jens; Tichy, Matthias
Automatic deployment of <prt>IEC</prt> 61499 function blocks
CAN Newsletter, 1 :40--47
März 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.
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