Institute of Software Engineering and Programming Languages

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
E-Mail: raphael.straub(at)uni-ulm.de
Raum: 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
Germany
E-Mail: thomas.witte(at)uni-ulm.de
Raum: O27 4103
Telefon: +49731/50-24164

Research Projects

GENIAL!

Tools to accelerate innovation along the automotive value chain

SORRIR

Self-organizing resilient execution platform for IoT services

MENTOR

Model-based Explainable Coordination of Complex Reconfigurations

SafeSec

Integrated Safety and Security Engineering of Self-Adaptive Systems.

Publications

2015

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
14.
Leuser, J.; Porta, N.; Bolz, Armin; Raschke, Alexander
Empirical Validation of a Requirements Engineering Process Guide
In Budgen, D. and Turner, M. and Niazi, M., Editor, 13th International Conference on Evaluation and Assessment in Software Engineering (EASE)ausElectronic Workshops in Computing
In Budgen, D. and Turner, M. and Niazi, M., Editor
Herausgeber: The British Computer Society
April 2009

2008

13.
Tavakoli Kolagari, Ramin; Raschke, Alexander; Schneiderhan, Matthias; Alexander, Ian
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
aus Ulmer Informatik-Berichte
Dokument Nummer: 2008-04
Universität Ulm
Februar 2008
12.
Veanes, M.; Bjørner, N.; Raschke, Alexander
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor, Formal Techniques for Networked and Distributed Systems: FORTE 2008Band5048ausLecture Notes in Computer Science, Seite 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Herausgeber: Springer-Verlag
2008
DOI:10.1007/978-3-540-68855-6_4

2007

11.
Miller, S.; Kasper, T.; Schneiderhan, Matthias; Raschke, Alexander
A defect-based experiment for analysing and comparing software engineering processes
In Jedlitschka, A. and Ciolkowski, M., Editor, Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering)ausIESE-Report, Seite 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Herausgeber: Fraunhofer IESE
2007