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.

Team

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
Raum: 027 421

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
Germany
Raum: O27 4103
Telefon: +49731/50-24164

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.

Publications

2016

24.
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
23.
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

22.
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
21.
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
20.
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
19.
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

2014

18.
[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 Band 8477 aus Lecture Notes in Computer Science
Seite 174-187
Herausgeber: Springer Berlin Heidelberg
2014
174-187
DOI:10.1007/978-3-662-43652-3_15
ISBN:978-3-662-43651-6

2012

17.
Dausend, Marcel; Stegmaier, Michael; Raschke, Alexander
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters &amp; Tool demos Session, iFM 2012 &amp; ABZ 2012
2012
ISBN:978-88-7958-008-3
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf

2011

16.
Partsch, Helmuth; Dausend, Marcel; Gessenharter, Dominik; Kohlmeyer, Jens; Raschke, Alexander
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
International Journal of Software and Informatics, 5 (1-2, Part II) :291-312
2011

2009

15.
Raschke, Alexander
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Seite 149-154
Herausgeber: IEEE Computer Society
August 2009
DOI:10.1109/SEAA.2009.60