Alexander Raschke

52 papers A 4B 1C 12Journal 17Unranked 16

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