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
Prof. Dr. Matthias Tichy
Prof. Dr.&)uni-ulm.de
Room: O27 420
Phone: +49731/50-24160
Dr. Alexander Raschke
Dr.&)uni-ulm.de
Room: O27 4105
Phone: +49731/50-24172
惭.厂肠. 厂补产谤颈苍补 叠枚丑尘
M.Sc.&)uni-ulm.de
www: Sabrina B枚hm
Room: o27 413
Phone: +49731/50-24174
惭.厂肠. 顿别苍颈蝉 狈别耻尘眉濒濒别谤
M.Sc.&)uni-ulm.de
www: Denis Neum眉ller
Room: O27 4104
Phone: +49731/50-24282
M.Sc. Florian Sihler
M.Sc.&)uni-ulm.de
www: Florian Sihler
Room: O27 4102
Phone: +49731/50-24280
M.Sc. Raphael Straub
M.Sc.&)uni-ulm.de
www: Raphael Straub
Room: 027 413
M.Sc. Oliver Gerstl
M.Sc.&)uni-ulm.de
www: Oliver Gerstl
Room: O27 417
Phone: +49731/50-24168
Current Research Projects
A Static Analysis Framework for the R Programming Language
Model-based Explainable Coordination of Complex Reconfigurations
Data-Driven Search and Analysis of Research Software
Publications
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
December 2015
Publisher: Elsevier
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110 :54-84
December 2015
Publisher: Elsevier
| DOI: |
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)
October 2015
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: |
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
October 2015
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
October 2015
| DOI: |
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
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鈥揙riented 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
2014
174-187
<prt>Introducing Aspect鈥揙riented 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
2014
174-187
| DOI: | |
| 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 & Tool demos Session, iFM 2012 & ABZ 2012
2012
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
| ISBN: | 978-88-7958-008-3 |
| File: |  /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
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), Page 149-154
Publisher: IEEE Computer Society
August 2009
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Page 149-154
Publisher: IEEE Computer Society
August 2009
| DOI: |
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) from Electronic Workshops in Computing
Publisher: The British Computer Society
April 2009
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) from Electronic Workshops in Computing
Publisher: The British Computer Society
April 2009
| Weblink: |
2008
13.
Tavakoli Kolagari,
Ramin;
Raschke,
Alexander;
Schneiderhan,
Matthias;
Alexander,
Ian
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme f眉r produktlinien-basierte Entwicklungsprozesse
from Ulmer Informatik-Berichte
Document Number: 2008-04
Universit盲t Ulm
February 2008
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme f眉r produktlinien-basierte Entwicklungsprozesse
from Ulmer Informatik-Berichte
Document Number: 2008-04
Universit盲t Ulm
February 2008
| Weblink: |