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

2016

36.
Liebel, Grischa; Tichy, Matthias; Knauss, Eric; Ljungkrantz, Oscar; Stieglbauer, Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
Oktober 2016
DOI:10.1007/s00766-016-0261-7
Datei:pdfhttp://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf
35.
Breckel, Alexander; Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
Juli 2016
Datei:pdfhttp://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf
34.
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
33.
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
32.
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
31.
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
30.
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
29.
Dausend, Marcel; Raschke, Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
Mai 2016
DOI:10.1016/j.scico.2016.04.007
28.
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Unified Syntax 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_14
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf
27.
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