Human-Centered Software Engineering Research Group

Institute of Software Engineering and Programming Languages,
Prof. Dr. Matthias Tichy

Empowering Humans to Drive the Digital Revolution

Software is ultimately developed for and by humans. Consequently, we – the Human-Centered Software Engineering Research Group – focus our software engineering research on supporting and empowering humans to drive the digital revolution.

We do this by aiming at reducing complexity, avoiding defects, and improving developer resp. user experience. We realize this by developing domain-specific languages, quality assurance techniques, and innovative tools. To ensure high-quality research, we apply incremental/iterative design science research to arrive at evaluated solutions and empirical research methods to systematically identify research opportunities and properly show the benefits of our research results. Our research targets embedded systems, particularly automotive software, self-adaptive systems, and software in general as application areas.


M.Sc. Raphael Straub

M.Sc. Raphael Straub
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069 Ulm
Room: 027 413

M.Sc. Thomas Witte

Thomas Witte
M.Sc. Thomas Witte
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069 Ulm
Room: O27 4103

Research Projects

Tools to accelerate innovation along the automotive value chain

Self-organizing resilient execution platform for IoT services

Model-based Explainable Coordination of Complex Reconfigurations

Integrated Safety and Security Engineering of Self-Adaptive Systems.



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
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
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
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
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
Publisher: Springer


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
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
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
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


[English] Dausend, Marcel; Raschke, Alexander
<prt>Introducing Aspect–Oriented Specification for Abstract State Machines</prt>
In Ait Ameur, Yamine and Schewe, Klaus-Dieter, Editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 8477 from Lecture Notes in Computer Science
Page 174-187
Publisher: Springer Berlin Heidelberg