Dr. Alexander Raschke

Interests

Currently, I'm working mainly on the improvement of the usability of graphical diagram editors. Besides the empirical evaluation of the pitfalls of these tools, we also develop and evaluate new interaction techniques.

Besides that, I'm also interested in formale specification languages, mainly Abstract State Machines (ASMs). If you do not know what that means, see here: https://modelingbook.informatik.uni-ulm.de

Since I'm responsible for the software engineering projects in our software engineering course of studies, I'm also interested in solving all problems that arise when developing software in a team: communication (within the team, with the customer), workload distribution, quality assurance, programming skills, Continous Integration/-deployment, and much more.

Last but not least, I'm teaching functional programming with Haskell for over 10 years and as such, I'm also interested in the (beautiful) application of this programming paradigm.

Publications

2019

25.
Stegmaier , Michael ; Raschke , Alexander ; Tichy , Matthias ; Meßner , Eva-Maria ; Hajian , Sara ; Feldengut , Anna
Insights for Improving Diagram Editing Gained from an Empirical Study
Fourth International Workshop on Human Factors in Modeling ,
September 2019
File:fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf

2018

24.
Pietron , Jakob ; Raschke , Alexander ; Stegmaier , Michael ; Tichy , Matthias ; Rukzio , Enrico
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen ,
October 2018
File:http://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
23.
Börger , Egon ; Raschke , Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
File:https://www.springer.com/de/book/9783662566398

2017

22.
Bordeleau , Francis ; Liebel , Grischa ; Raschke , Alexander ; Stieglbauer , Gerald ; Tichy , Matthias
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas ,
July 2017

2016

21.
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 ,
May 2016
DOI:10.1007/978-3-319-33600-8_2
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
20.
Dausend , Marcel ; Raschke , Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
May 2016
DOI:10.1016/j.scico.2016.04.007
19.
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 ,
May 2016
DOI:10.1007/978-3-319-33600-8_14
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf

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
File:https://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) aus Electronic 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
February 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 2008 Band 5048 aus Lecture 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) aus IESE-Report , Seite 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Herausgeber: Fraunhofer IESE
2007
10.
Sarstedt , Stefan ; Kohlmeyer , Jens ; Raschke , Alexander ; Gessenharter , Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007
9.
Gessenharter , Dominik ; Merten , A.-M. ; Porta , N. F. ; Raschke , Alexander
Experiences on Using Software Experiments in the Validation of Industrial Research Questions
In Abran, A. and Dumke, R. and Mas, A., Editor , Proceedings of the IWSM-Mensura 2007 , Seite 279-288
In Abran, A. and Dumke, R. and Mas, A., Editor
2007

2006

8.
Raschke , Alexander ; Kohlmeyer , Jens ; Partsch , Helmuth ; Wolf , H. ; Mader , W.
Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor , Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006 , Seite 101-116
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor
Herausgeber: dpunkt.verlag
July 2006
7.
Raschke , Alexander ; Tavakoli Kolagari , Ramin
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Dokument Nummer: UIB-2006-02
Universität Ulm
March 2006
6.
Kohlmeyer , Jens ; Raschke , Alexander ; Tavakoli Kolagari , Ramin
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Dokument Nummer: UIB-2006-03
Universität Ulm
March 2006

2005

5.
Sarstedt , Stefan ; Gessenharter , Dominik ; Kohlmeyer , Jens ; Raschke , Alexander ; Schneiderhan , Matthias
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor , Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05) , Seite 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
October 2005
4.
Sarstedt , Stefan ; Kohlmeyer , Jens ; Raschke , Alexander ; Schneiderhan , Matthias
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., Editor , Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05) Band 1 , Seite 396-400
In Arabnia, H. R. and Reza, H., Editor
June 2005
3.
Sarstedt , Stefan ; Kohlmeyer , Jens ; Raschke , Alexander ; Schneiderhan , Matthias
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., Editor , Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05) , Seite 237-246
In Arabnia, H. R., Editor
June 2005

2004

2.
Sarstedt , Stefan ; Raschke , Alexander ; Kohlmeyer , Jens
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
In Dadam, P. and Reichert, M., Editor , Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm Band 2 , Seite 408-417
In Dadam, P. and Reichert, M., Editor
September 2004
1.
Tavakoli Kolagari , Ramin ; Raschke , Alexander
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends , 24 (1) :17-18
February 2004
Alexander Raschke

Alexander Raschke
Institut für Softwaretechnik und Programmiersprachen
Universität Ulm
D-89069 Ulm

Raum: O27 4105
Telefon: +49 (0)731/50-24172
E-Mail:  alexander.raschke (at) uni-ulm.de