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

2016

96.
Kögel, Stefan; Cüppers, Joscha; Tichy, Matthias
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany
Juni 2016
95.
Breckel, Alexander; Tichy, Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
Mai 2016
DOI:10.1109/ICPC.2016.7503732
94.
Breckel, Alexander; Tichy, Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
Mai 2016
DOI:10.1109/ICPC.2016.7503743
93.
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander; Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
Mai 2016
DOI:10.1007/978-3-319-33600-8_2
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
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.
Mai 2016
DOI:10.1145/2896958.2896961
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
März 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
März 2016
DOI:10.1109/SANER.2016.82
89.
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
Februar 2016
DOI:10.1016/j.jss.2015.08.026
88.
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
In Slimane Hammoudi and Luis Ferreira Pires, Editor
Februar 2016
DOI:10.5220/0005745303170322
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
Herausgeber: Springer
DOI:10.1007/s10270-016-0523-3

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
Dezember 2015
Herausgeber: Elsevier
DOI:10.1016/j.jss.2015.08.026
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)
Oktober 2015
DOI:10.1145/2814251.2814253
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
Oktober 2015
DOI:10.1109/MTD.2015.7332624
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
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
Juli 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
Mai 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
In Ipek Ozkaya and Heiko Koziolek, Editor
Mai 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
März 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
März 2015
77.
Ribeiro, Leila; Tichy, Matthias
Preface for the Special Issue on Graph Transformation and Visual Modeling Techniques 2013
Science of Computer Programming, 104 :1
2015
Herausgeber: Elsevier
DOI:http://dx.doi.org/10.1016/j.scico.2015.03.002
76.
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
In Dimitris Kolovos and Manuel Wimmer, Editor
2015
DOI:10.1007/978-3-319-21155-8_3

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
Oktober 2014
74.
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
73.
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
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