Debugging support for Abstract State Machines
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
Publications
Beiträge zu Verhandlungen
35.
Exelmans,
Joeri;
Pietron,
Jakob;
Raschke,
Alexander;
Vangheluwe,
Hans
A Virtual Global Monorepo of Immutable Linked Data
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 2024
A Virtual Global Monorepo of Immutable Linked Data
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 2024
| DOI: | 10.1145/3652620.3688222 |
34.
Pietron,
Jakob;
Jutz,
Benedikt;
Raschke,
Alexander;
Tichy,
Matthias
EditQL: A Textual Query Language for Evolving Models
ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS'24)
September 2024
EditQL: A Textual Query Language for Evolving Models
ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS'24)
September 2024
| DOI: | 10.1145/3640310.3674101 |
33.
Exelmans,
Joeri;
Pietron,
Jakob;
Raschke,
Alexander;
Vangheluwe,
Hans;
Tichy,
Matthias
Improving Collaborative Modeling by an Operation-Based Versioning Approach
Software Engineering 2024
März 2024
Improving Collaborative Modeling by an Operation-Based Versioning Approach
Software Engineering 2024
März 2024
| DOI: | 10.18420/sw2024_7 |
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
Oktober 2023
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
Oktober 2023
| DOI: | 10.1109/MODELS-C59198.2023.00124 |
Artikel
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
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
A new versioning approach for collaboration in blended modeling
Journal of Computer Languages
August 2023
| DOI: | 10.1016/j.cola.2023.101221 |
Beiträge zu Verhandlungen
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
Juli 2022
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling
FPVM 2022: 2nd International Workshop on Foundations and Practice of Visual Modeling
Juli 2022
| Datei: | http://ceur-ws.org/Vol-3250/fpvmpaper1.pdf |
Artikel
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
Juni 2022
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study
Journal of Software and Systems Modeling
Juni 2022
| DOI: | 10.1007/s10270-022-01010-3 |
Beiträge zu Verhandlungen
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
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
Oktober 2020
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
Oktober 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
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 |
| Datei: |  https://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
Oktober 2018
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
Oktober 2018
| Datei: | http://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf |
Bücher
23.
Börger,
Egon;
Raschke,
Alexander
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
Modeling Companion for Software Practitioners
Herausgeber: Springer-Verlag Berlin Heidelberg
April 2018
| DOI: | 10.1007/978-3-662-56641-1 |
| Datei: | https://www.springer.com/de/book/9783662566398 |
Beiträge zu Verhandlungen
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
Juli 2017
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas
Juli 2017
Artikel
21.
Dausend,
Marcel;
Raschke,
Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
Mai 2016
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 |
Beiträge zu Verhandlungen
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
Mai 2016
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf |
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
Mai 2016
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf |
Sammlungsbeiträge
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
<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 |
Beiträge zu Verhandlungen
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 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf |
Artikel
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
Beiträge zu Verhandlungen
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
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
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
Techreports
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
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
aus Ulmer Informatik-Berichte
Dokument Nummer: 2008-04
Universität Ulm
Februar 2008
Beiträge zu Verhandlungen
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
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 |
Artikel
11.
Sarstedt,
Stefan;
Kohlmeyer,
Jens;
Raschke,
Alexander;
Gessenharter,
Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007
Dr. Alexander Raschke
Dr.
Alexander
Raschke
Research Associate
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany