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

2017

101.
Nassal, Alexander; Tichy, Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
February 2017
File:pdfhttp://ceur-ws.org/Vol-1790/paper06.pdf
100.
Liebel, Grischa; Anjorin, Anthony; Knauss, Eric; Lorber, Florian; Tichy, Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
February 2017
DOI:10.5220/0006205604270434
File:https://www.researchgate.net/publication/314522017_Modelling_Behavioural_Requirements_and_Alignment_with_Verification_in_the_Embedded_Industry

2016

99.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France
October 2016
File:pdfhttp://ceur-ws.org/Vol-1706/paper3.pdf
98.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar; Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
October 2016
DOI:10.1007/s00766-016-0261-7
File:pdfhttp://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf
97.
Breckel, Alexander; Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
July 2016
File:pdfhttp://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf
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
June 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
May 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
May 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
May 2016
DOI:10.1007/978-3-319-33600-8_2
File: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.
May 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
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
DOI:10.1109/SANER.2016.82
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
In Slimane Hammoudi and Luis Ferreira Pires, Editor
February 2016
DOI:10.5220/0005745303170322
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
DOI:10.1016/j.jss.2015.08.026
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
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
December 2015
Publisher: 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)
October 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
October 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
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
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
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
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
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
In Dimitris Kolovos and Manuel Wimmer, Editor
2015
DOI:10.1007/978-3-319-21155-8_3