Alexander Raschke

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 29

Top Topics

Interactive Visualizations

Crosscutting Concerns

Dagstuhl Castle

Top Venues

MoDELS (Companion)

Sci. Comput. Program.

Publications

Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy
Improving Collaborative Modeling by an Operation-Based Versioning Approach. Software Engineering (2024)
Alexander Raschke, Dominique Méry
An automotive case study. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy
Streamlining Attack Tree Generation: A Fragment-Based Approach. HICSS (2024)
Thomas Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric, Michael Felderer
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis. CoRR (2023)
Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer
Model-Based Generation of Attack-Fault Trees. SAFECOMP (2023)
Irdin Pekaric, Markus Frick, Jubril Gbolahan Adigun, Raffaela Groner, Thomas Witte, Alexander Raschke, Michael Felderer, Matthias Tichy
Streamlining Attack Tree Generation: A Fragment-Based Approach. CoRR (2023)
Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira
. CoRR (2023)
Irdin Pekaric, Raffaela Groner, Thomas Witte, Jubril Gbolahan Adigun, Alexander Raschke, Michael Felderer, Matthias Tichy
A systematic review on security and safety of self-adaptive systems. J. Syst. Softw. 203 (2023)
Istvan David, Malvina Latifaj, Jakob Pietron, Weixing Zhang, Federico Ciccozzi, Ivano Malavolta, Alexander Raschke, Jan-Philipp Steghöfer, Regina Hebig
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study. Softw. Syst. Model. 22 (1) (2023)
Jakob Pietron, Alexander Raschke, Joeri Exelmans, Matthias Tichy
Collaboration And Versioning Framework - A Systematic Top-Down Approach. MoDELS (Companion) (2023)
Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer
Model-Based Generation of Attack-Fault Trees. CoRR (2023)
Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy
A new versioning approach for collaboration in blended modeling. J. Comput. Lang. 76 (2023)
Dominique Méry, Alexander Raschke
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. Sci. Comput. Program. 216 (2022)
Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling. STAF Workshops (2022)
Thomas Witte, Raffaela Groner, Alexander Raschke, Matthias Tichy, Irdin Pekaric, Michael Felderer
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis. SEAMS (2022)
Michael J. Butler, Alexander Raschke
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). Sci. Comput. Program. 197 (2020)
Leander Nachreiner, Alexander Raschke, Michael Stegmaier, Matthias Tichy
CouchEdit: a relaxed conformance editing approach. MoDELS (Companion) (2020)
Frank Houdek, Alexander Raschke
Adaptive Exterior Light and Speed Control System. ABZ (2020)
Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Michael Stegmaier, Alexander Raschke, Matthias Tichy, Eva-Maria Meßner, Sara Hajian, Anna Feldengut
Insights for Improving Diagram Editing Gained from an Empirical Study. MoDELS (Companion) (2019)
Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) (2018)
Markus Leitz, Alexander Raschke
Formal Specification of the Semantics of Control State Diagrams. ABZ (2018)
Jakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio
A study design template for identifying usability issues in graphical modeling tools. MoDELS (Workshops) (2018)
Stefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel
Model-Driven Software Engineering in the openETCS Project: Project Experiences and Lessons Learned. Software Engineering (2017)
Francis Bordeleau, Grischa Liebel, Alexander Raschke, Gerald Stieglbauer, Matthias Tichy
Challenges and Research Directions for Successfully Applying MBE Tools in Practice. MoDELS (Satellite Events) (2017)
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
Unified Syntax for Abstract State Machines. ABZ (2016)
Marcel Dausend, Alexander Raschke
Towards a comprehensive extension of abstract state machines for aspect-oriented specification. Sci. Comput. Program. 131 (2016)
Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy
A Universal Control Construct for Abstract State Machines. ABZ (2016)
Stefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel
Model-driven software engineering in the openETCS project: project experiences and lessons learned. MoDELS (2016)
Marcel Dausend, Alexander Raschke
Introducing Aspect-Oriented Specification for Abstract State Machines. ABZ (2014)
Daniel Ott, Alexander Raschke
Review improvement by requirements classification at Mercedes-Benz: Limits of empirical studies in educational environments. EmpiRE (2012)
Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development. Int. J. Softw. Informatics 5 (1-2) (2011)
Alexander Raschke
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. EUROMICRO-SEAA (2009)
Margus Veanes, Nikolaj Bjørner, Alexander Raschke
An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE (2008)
Dominik Gessenharter, Alexander-Marc Merten, Alexander Raschke, Nicolas Fernando Porta
Experiences on Using Software Experiments in the Validation of Industrial Research Questions. IWSM/Mensura (2007)
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan
Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts. PLC (2005)
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan
A New Approach to Combine Models and Code in Model Driven Development. Software Engineering Research and Practice (2005)
Ramin Tavakoli Kolagari, Alexander Raschke
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergeräts. Softwaretechnik-Trends 24 (1) (2004)
Stefan Sarstedt, Alexander Raschke, Jens Kohlmeyer
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren. GI Jahrestagung (2) (2004)