Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren. - Stefan Sarstedt; Alexander Raschke; Jens Kohlmeyer (GI Jahrestagung (2), 2004)

Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergeräts. - Ramin Tavakoli Kolagari; Alexander Raschke (Softwaretechnik-Trends, 2004)

Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts. - Stefan Sarstedt; Jens Kohlmeyer; Alexander Raschke; Matthias Schneiderhan (PLC, 2005)

A New Approach to Combine Models and Code in Model Driven Development. - Stefan Sarstedt; Jens Kohlmeyer; Alexander Raschke; Matthias Schneiderhan (Software Engineering Research and Practice, 2005)

Experiences on Using Software Experiments in the Validation of Industrial Research Questions. - Dominik Gessenharter; Alexander-Marc Merten; Alexander Raschke; Nicolas Fernando Porta (IWSM/Mensura, 2007)

An SMT Approach to Bounded Reachability Analysis of Model Programs. - Margus Veanes; Nikolaj S. Bjørner; Alexander Raschke (FORTE, 2008)

Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. - Alexander Raschke (EUROMICRO-SEAA, 2009)

Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen. - Alexander Johannes Raschke (2009)

From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. - Helmuth Partsch; Marcel Dausend; Dominik Gessenharter; Jens Kohlmeyer; Alexander Raschke (Int. J. Softw. Informatics, 2011)

Review improvement by requirements classification at Mercedes-Benz: Limits of empirical studies in educational environments. - Daniel Ott; Alexander Raschke (EmpiRE, 2012)

Introducing Aspect-Oriented Specification for Abstract State Machines. - Marcel Dausend; Alexander Raschke (ABZ, 2014)

Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

A Universal Control Construct for Abstract State Machines. - Michael Stegmaier; Marcel Dausend; Alexander Raschke; Matthias Tichy (ABZ, 2016)

Towards a comprehensive extension of abstract state machines for aspect-oriented specification. - Marcel Dausend; Alexander Raschke (Sci. Comput. Program., 2016)

Challenges and Research Directions for Successfully Applying MBE Tools in Practice. - Francis Bordeleau; Grischa Liebel; Alexander Raschke; Gerald Stieglbauer; Matthias Tichy (MoDELS (Satellite Events), 2017)

Model-Driven Software Engineering in the openETCS Project: Project Experiences and Lessons Learned. - Stefan Karg; Alexander Raschke; Matthias Tichy; Grischa Liebel (Software Engineering, 2017)

Modeling Companion for Software Practitioners - Egon Börger; Alexander Raschke (Springer, 2018)

Formal Specification of the Semantics of Control State Diagrams. - Markus Leitz; Alexander Raschke (ABZ, 2018)

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. - Rupert Schlick; Michael Felderer; István Majzik; Roberto Nardone; Alexander Raschke; Colin F. Snook; Valeria Vittorini (ISoLA (4), 2018)

A study design template for identifying usability issues in graphical modeling tools. - Jakob Pietron; Alexander Raschke; Michael Stegmaier; Matthias Tichy; Enrico Rukzio (MoDELS (Workshops), 2018)

Insights for Improving Diagram Editing Gained from an Empirical Study. - Michael Stegmaier; Alexander Raschke; Matthias Tichy; Eva-Maria Meßner; Sara Hajian; Anna Feldengut (MoDELS (Companion), 2019)

Validation of Sensor-Based Game Analysis Tools in Tennis. - A. Edelmann-Nusser; Alexander Raschke; A. Bentz; S. Montenbruck; Jürgen Edelmann-Nusser; Martin Lames (Int. J. Comput. Sci. Sport, 2019)

Adaptive Exterior Light and Speed Control System. - Frank Houdek; Alexander Raschke (ABZ, 2020)

CouchEdit: a relaxed conformance editing approach. - Leander Nachreiner; Alexander Raschke; Michael Stegmaier; Matthias Tichy (MoDELS (Companion), 2020)

Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). - Michael J. Butler; Alexander Raschke (Sci. Comput. Program., 2020)

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. - Michael J. Butler; Thai Son Hoang; Alexander Raschke; Klaus Reichl (Int. J. Softw. Tools Technol. Transf., 2020)

Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis. - Thomas Witte; Raffaela Groner; Alexander Raschke; Matthias Tichy; Irdin Pekaric; Michael Felderer (SEAMS, 2022)

Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling. - Joeri Exelmans; Jakob Pietron; Alexander Raschke; Hans Vangheluwe; Matthias Tichy (STAF Workshops, 2022)

Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. - Dominique Méry; Alexander Raschke (Sci. Comput. Program., 2022)

Collaboration And Versioning Framework - A Systematic Top-Down Approach. - Jakob Pietron; Alexander Raschke; Joeri Exelmans; Matthias Tichy (MoDELS (Companion), 2023)

Model-Based Generation of Attack-Fault Trees. - Raffaela Groner; Thomas Witte; Alexander Raschke; Sophie Hirn; Irdin Pekaric; Markus Frick; Matthias Tichy; Michael Felderer (SAFECOMP, 2023)

Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+. - Paolo Dini; Manuel Bravo; Philipp Paulweber; Alexander Raschke; Gabriela Moreira (CoRR, 2023)

Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study. - Istvan David; Malvina Latifaj; Jakob Pietron; Weixing Zhang; Federico Ciccozzi; Ivano Malavolta; Alexander Raschke; Jan-Philipp Steghöfer; Regina Hebig (Softw. Syst. Model., 2023)

A new versioning approach for collaboration in blended modeling. - Joeri Exelmans; Jakob Pietron; Alexander Raschke; Hans Vangheluwe; Matthias Tichy (J. Comput. Lang., 2023)

A systematic review on security and safety of self-adaptive systems. - Irdin Pekaric; Raffaela Groner; Thomas Witte; Jubril Gbolahan Adigun; Alexander Raschke; Michael Felderer; Matthias Tichy (J. Syst. Softw., 2023)

Streamlining Attack Tree Generation: A Fragment-Based Approach. - Irdin Pekaric; Markus Frick; Jubril Gbolahan Adigun; Raffaela Groner; Thomas Witte; Alexander Raschke; Michael Felderer; Matthias Tichy (HICSS, 2024)

A Virtual Global Monorepo of Immutable Linked Data. - Joeri Exelmans; Jakob Pietron; Alexander Raschke; Hans Vangheluwe (MoDELS (Companion), 2024)

Improving Collaborative Modeling by an Operation-Based Versioning Approach. - Joeri Exelmans; Jakob Pietron; Alexander Raschke; Hans Vangheluwe; Matthias Tichy (Software Engineering, 2024)

An automotive case study. - Alexander Raschke; Dominique Méry (Int. J. Softw. Tools Technol. Transf., 2024)

How to Drawjectory? - Trajectory Planning Using Programming by Demonstration. - Leonhard Alkewitz; Timo Zuccarello; Alexander Raschke; Matthias Tichy (Go Where the Bugs Are, 2025)

EditQL: A Textual Query Language for Evolving Models. - Jakob Pietron; Benedikt Jutz; Alexander Raschke; Matthias Tichy (Software Engineering, 2025)

Providing Information About Implemented Algorithms Improves Program Comprehension: A Controlled Experiment. - Denis Neumüller; Alexander Raschke; Matthias Tichy (CoRR, 2025)