Dr. Alexander Raschke

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.

Projects

Debugging support for Abstract State Machines

Publications

Contribution to Proceedings

32.
Pietron, Jakob; Raschke, Alexander; Exelmans, Joeri; Tichy, Matthias
Collaboration And Versioning Framework – a Systematic Top-Down Approach
2nd International Hands-on Workshop on Collaborative Modeling (HoWCoM),, co-located with MODELS'23, Västerås, Sweden
October 2023
DOI:10.1109/MODELS-C59198.2023.00124

Articles

31.
Pekaric, Irdin; Groner, Raffaela; Witte, Thomas; Adigun, Jubril Gbolahan; Raschke, Alexander; Felderer, Michael; Tichy, Matthias
A Systematic Review on Security and Safety of Self-adaptive Systems
Journal of Systems and Software
September 2023
DOI:10.1016/j.jss.2023.111716
30.
Exelmans, Joeri; Pietron, Jakob; Raschke, Alexander; Vangheluwe, Hans; Tichy, Matthias
A new versioning approach for collaboration in blended modeling
Journal of Computer Languages
August 2023
DOI:10.1016/j.cola.2023.101221

Contribution to Proceedings

29.
Exelmans, Joeri; Pietron, Jakob; Raschke, Alexander; Vangheluwe, Hans; Tichy, Matthias
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling
FPVM 2022: 2nd International Workshop on Foundations and Practice of Visual Modeling
July 2022
File:http://ceur-ws.org/Vol-3250/fpvmpaper1.pdf

Articles

28.
David, Istvan; Latifaj, Malvina; Pietron, Jakob; Zhang, Weixing; Ciccozzi, Federico; Malavolta, Ivano; Raschke, Alexander; Steghöfer, Jan-Philipp; Hebig, Regina
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study
Journal of Software and Systems Modeling
June 2022
DOI:10.1007/s10270-022-01010-3

Contribution to Proceedings

27.
Witte, Thomas; Groner, Raffaela; Raschke, Alexander; Tichy, Matthias; Pekaric, Irdin; Felderer, Michael
Towards model co-evolution across self-adaptation steps for combined safety and security analysis
SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems
2022
DOI:10.1145/3524844.3528062
26.
Nachreiner, Leander; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
October 2020
DOI:10.1145/3417990.3421401
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
DOI:10.1109/MODELS-C.2019.00063
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf
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:pdfhttp://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf

Books

23.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Publisher: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
File:https://www.springer.com/de/book/9783662566398

Contribution to Proceedings

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
21.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf
20.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf

Articles

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

Contribution to Collections

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 Volume 8477 from Lecture Notes in Computer Science
Page 174-187
Publisher: Springer Berlin Heidelberg
2014
174-187
DOI:10.1007/978-3-662-43652-3_15
ISBN:978-3-662-43651-6

Contribution to Proceedings

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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf

Articles

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

Contribution to Proceedings

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
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)fromElectronic Workshops in Computing
In Budgen, D. and Turner, M. and Niazi, M., Editor
Publisher: The British Computer Society
April 2009

Techreports

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

Contribution to Proceedings

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 2008Volume5048fromLecture Notes in Computer Science, Page 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Publisher: Springer-Verlag
2008
DOI:10.1007/978-3-540-68855-6_4

Articles

11.
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander; Gessenharter, Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007

Contribution to Proceedings

10.
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)fromIESE-Report, Page 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Publisher: Fraunhofer IESE
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, Page 279-288
In Abran, A. and Dumke, R. and Mas, A., Editor
2007
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, Page 101-116
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor
Publisher: dpunkt.verlag
July 2006