Alexander Raschke
Orcid: 0000-0002-6088-8393Affiliations:
- University of Ulm, Institute of Software Engineering and Compiler Construction
According to our database1,
Alexander Raschke
authored at least 37 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on uni-ulm.de
On csauthors.net:
Bibliography
2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
2023
J. Syst. Softw., September, 2023
J. Comput. Lang., August, 2023
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study.
Softw. Syst. Model., February, 2023
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA<sup>+</sup>.
CoRR, 2023
Proceedings of the Computer Safety, Reliability, and Security, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
2022
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020.
Sci. Comput. Program., 2022
Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022
Towards Model Co-evolution Across Self-Adaptation Steps for Combined Safety and Security Analysis.
Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022
2020
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
Int. J. Softw. Tools Technol. Transf., 2020
Sci. Comput. Program., 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
2019
Int. J. Comput. Sci. Sport, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
2018
A study design template for identifying usability issues in graphical modeling tools.
Proceedings of MODELS 2018 Workshops: ModComp, 2018
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Springer, ISBN: 978-3-662-56639-8, 2018
2017
Model-Driven Software Engineering in the openETCS Project: Project Experiences and Lessons Learned.
Proceedings of the Software Engineering 2017, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
2016
Towards a comprehensive extension of abstract state machines for aspect-oriented specification.
Sci. Comput. Program., 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2012
Review improvement by requirements classification at Mercedes-Benz: Limits of empirical studies in educational environments.
Proceedings of the Second IEEE International Workshop on Empirical Requirements Engineering, 2012
2011
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.
Int. J. Softw. Informatics, 2011
2009
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
2007
Experiences on Using Software Experiments in the Validation of Industrial Research Questions.
Proceedings of the Software Process and Product Measurement, International Conference, 2007
2005
A New Approach to Combine Models and Code in Model Driven Development.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005
2004
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergeräts.
Softwaretechnik-Trends, 2004
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004