Get started
Author

Alexander Raschke

Observed name: Raschke, Alexander
ORCID: 0000-0002-6088-8393
Observed ORCID: 0000-0002-6088-8393
OpenAlex ID: A5078330103
Modeling Companion for Software Practitioners
2018 · Egon Börger, Alexander Raschke · Springer eBooks · 112
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study
2022 · Istvan David, Malvina Latifaj, et al. · Software & Systems Modeling · 49
A systematic review on security and safety of self-adaptive systems
2023 · Irdin Pekaric, Raffaela Groner, et al. · Journal of Systems and Software · 34
An SMT Approach to Bounded Reachability Analysis of Model Programs
2008 · Margus Veanes, Nikolaj Bjørner, et al. · Lecture notes in computer science · 28
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3
2020 · Michael Butler, Thai Son Hoang, et al. · International Journal on Software Tools for Technology Transfer · 15
PDF
A new versioning approach for collaboration in blended modeling
2023 · Joeri Exelmans, Jakob Pietron, et al. · Journal of Computer Languages · 14
PDF
Towards model co-evolution across self-adaptation steps for combined safety and security analysis
2022 · Thomas Witte, Raffaela Groner, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 14
PDF
Model-driven software engineering in the openETCS project
2016 · Stefan Karg, Alexander Raschke, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 13
Challenges and Research Directions for Successfully Applying MBE Tools in Practice
2017 · Francis Bordeleau, Grischa Liebel, et al. · Chalmers Research (Chalmers University of Technology) · 11
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods
2018 · Rupert Schlick, Michael Felderer, et al. · Lecture notes in computer science · 10
Collaboration And Versioning Framework – A Systematic Top-Down Approach
2023 · Jakob Pietron, Alexander Raschke, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · 9
Rigorous State-Based Methods
2021 · Raschke, Alexander, Méry, Dominique · Lecture notes in computer science · 8
Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts.
2005 · Stefan Sarstedt, Jens Kohlmeyer, et al. · 8
Streamlining Attack Tree Generation: A Fragment-Based Approach
2024 · Irdin Pekaric, Markus Frick, et al. · Hawaii International Conference on System Sciences (HICSS) · 7
PDF
Review improvement by requirements classification at Mercedes-Benz: Limits of empirical studies in educational environments
2012 · Daniel Ott, Alexander Raschke · IEEE International Workshop on Empirical Requirements Engineering (EmpiRE) · 7
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
2009 · Alexander Raschke · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · 7
Empirical Validation of a Requirements Engineering Process Guide
2009 · Jörg Leuser, Nicolas Porta, et al. · Electronic workshops in computing · 7
PDF
A New Approach to Combine Models and Code in Model Driven Development.
2005 · Stefan Sarstedt, Jens Kohlmeyer, et al. · 7
Model-Based Generation of Attack-Fault Trees
2023 · Raffaela Groner, Thomas Witte, et al. · Lecture notes in computer science · 6
PDF
Unified Syntax for Abstract State Machines
2016 · Paolo Arcaini, Silvia Bonfanti, et al. · Lecture notes in computer science · 6
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018)
2020 · Michael Butler, Alexander Raschke · Science of Computer Programming · 5
Insights for Improving Diagram Editing Gained from an Empirical Study
2019 · Michael Stegmaier, Alexander Raschke, et al. · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) · 4
Control State Diagrams (Meta Model)
2018 · Egon Börger, Alexander Raschke · Springer eBooks · 4
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2018 · Jakob Pietron, Alexander Raschke, et al. · Model Driven Engineering Languages and Systems · 4
Introducing Aspect–Oriented Specification for Abstract State Machines
2014 · Marcel Dausend, Alexander Raschke · Lecture notes in computer science · 4
Works count: 65
Citation count: 426
H-index: 10
I10-index: 10
Year
Topic
Type