Prof. Dr. Matthias Tichy
Prof. Dr.&)uni-ulm.de
Room: O27 420
Phone: +49731/50-24160
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.
Publikationen
2016
92.
Nassal,
Alexander;
Tichy,
Matthias
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
May 2016
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
May 2016
| DOI: |
91.
Getir,
Sinem;
Grunske,
Lars;
Tichy,
Matthias
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
March 2016
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
March 2016
90.
Weck,
Tobias;
Tichy,
Matthias
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
March 2016
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
March 2016
| DOI: |
89.
Durisic,
Darko;
Staron,
Miroslaw;
Tichy,
Matthias;
Hansson,
J枚rgen
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
February 2016
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
February 2016
| DOI: |
88.
Vogel-Heuser,
Birgit;
Fay,
Alexander;
Schaefer,
Ina;
Tichy,
Matthias
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
February 2016
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
February 2016
| DOI: |
87.
Liebel,
Grischa;
Marko,
Nadja;
Tichy,
Matthias;
Leitner,
Andrea;
Hansson,
J枚rgen
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling
2016
Publisher: Springer
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling
2016
Publisher: Springer
| DOI: |
2015
86.
Vogel-Heuser,
Birgit;
Fay,
Alexander;
Schaefer,
Ina;
Tichy,
Matthias
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110 :54-84
December 2015
Publisher: Elsevier
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110 :54-84
December 2015
Publisher: Elsevier
| DOI: |
85.
Maro,
Salome;
Stegh枚fer,
Jan-Philipp;
Anjorin,
Anthony;
Tichy,
Matthias;
Gelin,
Lars
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
October 2015
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
October 2015
| DOI: |
84.
Vogel-Heuser,
Birgit;
R枚sch,
Susanne;
Martini,
Antonio;
Tichy,
Matthias
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
October 2015
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
October 2015
| DOI: |
83.
Liebel,
Grischa;
Tichy,
Matthias
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo鈥�15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo鈥�15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
82.
Kaijser,
Henrik;
L枚nn,
Henrik;
Tichy,
Matthias;
Yuan,
Wenjing;
Baci,
Saimir
Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems
Proc. of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden
July 2015
Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems
Proc. of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden
July 2015
81.
Durisic,
Darko;
Staron,
Miroslaw;
Tichy,
Matthias
<prt>ARCA</prt> - Automated Analysis of AUTOSAR Meta-Model Changes
Proc. of 7th International Workshop on Modelling in Software Engineering (MiSE鈥�2015) co-located with ICSE 2015 Florence, Italy, May 16 - 17, 2015
May 2015
<prt>ARCA</prt> - Automated Analysis of AUTOSAR Meta-Model Changes
Proc. of 7th International Workshop on Modelling in Software Engineering (MiSE鈥�2015) co-located with ICSE 2015 Florence, Italy, May 16 - 17, 2015
May 2015
80.
Durisic,
Darko;
Staron,
Miroslaw;
Tichy,
Matthias
Identifying Optimal Sets of Standardized Architectural Features - A Method and its Automotive Application
In Ipek Ozkaya and Heiko Koziolek, Editor, Proc. of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2015), Montreal, Canada, May 4 - 8, 2015
May 2015
Identifying Optimal Sets of Standardized Architectural Features - A Method and its Automotive Application
In Ipek Ozkaya and Heiko Koziolek, Editor, Proc. of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2015), Montreal, Canada, May 4 - 8, 2015
May 2015
79.
Liebel,
Grischa;
Marko,
Nadja;
Tichy,
Matthias;
Leitner,
Andrea;
Hansson,
J枚rgen
Assessing the State-of-Practice of Model-Based Engineering in the EmbeddedSystems Domain
Tagungsband der Multikonferenz Software Engineering & Management 2015 (SE), March 17-20, Dresden, Germany
March 2015
Assessing the State-of-Practice of Model-Based Engineering in the EmbeddedSystems Domain
Tagungsband der Multikonferenz Software Engineering & Management 2015 (SE), March 17-20, Dresden, Germany
March 2015
78.
Krause,
Christian;
Tichy,
Matthias;
Giese,
Holger
Implementing Graph Transformations in the Bulk Synchronous Parallel Model
Tagungsband der Multikonferenz Software Engineering & Management 2015 (SE), March 17-20, Dresden, Germany
March 2015
Implementing Graph Transformations in the Bulk Synchronous Parallel Model
Tagungsband der Multikonferenz Software Engineering & Management 2015 (SE), March 17-20, Dresden, Germany
March 2015
77.
Getir,
Sinem;
Grunske,
Lars;
Karl Bernasko,
Christian;
Kaefer,
Verena;
Sanwald,
Tim;
Tichy,
Matthias
<prt>CoWolf</prt> - A Generic Framework for Multi-View Co-Evolution and Evaluation of Models
In Dimitris Kolovos and Manuel Wimmer, Editor, Proc. of the 8th International Conference on Model Transformation, L'Aquila, Italy
2015
<prt>CoWolf</prt> - A Generic Framework for Multi-View Co-Evolution and Evaluation of Models
In Dimitris Kolovos and Manuel Wimmer, Editor, Proc. of the 8th International Conference on Model Transformation, L'Aquila, Italy
2015
| DOI: |
76.
Ribeiro,
Leila;
Tichy,
Matthias
Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013
Science of Computer Programming, 104 :1
2015
Publisher: Elsevier
Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013
Science of Computer Programming, 104 :1
2015
Publisher: Elsevier
| DOI: |
2014
75.
Durisic,
Darko;
Staron,
Miroslaw;
Tichy,
Matthias;
Hansson,
J枚rgen
Quantifying Long-Term Evolution of Industrial Meta-Models - A Case Study
Proc. of the IWSM Mensura Conference (2014), Rotterdam, Netherlands
October 2014
Quantifying Long-Term Evolution of Industrial Meta-Models - A Case Study
Proc. of the IWSM Mensura Conference (2014), Rotterdam, Netherlands
October 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
September 2014
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
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
September 2014
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
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
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
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: |
70.
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
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: |
69.
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
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: |
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
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