Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexander Raschke
Person information
- affiliation: University of Ulm, Institute of Software Engineering and Compiler Construction
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2018
[b2]Egon Börger, Alexander Raschke:
Modeling Companion for Software Practitioners. Springer 2018, ISBN 978-3-662-56639-8, pp. 1-349- 2009
- [b1]Alexander Johannes Raschke:
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen. University of Ulm, Germany, 2009, pp. 1-182
Journal Articles
- 2023
- [j10]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: 111716 (2023) - [j9]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): 415-447 (2023) - [j8]Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy:
A new versioning approach for collaboration in blended modeling. J. Comput. Lang. 76: 101221 (2023) - 2022
- [j7]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: 102780 (2022) - 2020
- [j6]Michael J. Butler, Alexander Raschke:
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018). Sci. Comput. Program. 197: 102514 (2020) - [j5]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): 249-255 (2020) - 2019
- [j4]A. Edelmann-Nusser, Alexander Raschke, A. Bentz, S. Montenbruck, Jürgen Edelmann-Nusser, M. Lames:
Validation of Sensor-Based Game Analysis Tools in Tennis. Int. J. Comput. Sci. Sport 18(2): 49-59 (2019) - 2016
- [j3]Marcel Dausend, Alexander Raschke:
Towards a comprehensive extension of abstract state machines for aspect-oriented specification. Sci. Comput. Program. 131: 22-41 (2016) - 2011
- [j2]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): 291-312 (2011) - 2004
- [j1]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)
Conference and Workshop Papers
- 2024
- [c25]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: 7447-7456 - [c24]Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy:
Improving Collaborative Modeling by an Operation-Based Versioning Approach. Software Engineering 2024: 39-40 - 2023
- [c23]Jakob Pietron, Alexander Raschke, Joeri Exelmans, Matthias Tichy:
Collaboration And Versioning Framework - A Systematic Top-Down Approach. MoDELS (Companion) 2023: 767-777 - [c22]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: 107-120 - 2022
- [c21]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: 106-112 - [c20]Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe, Matthias Tichy:
Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling. STAF Workshops 2022 - 2020
- [c19]Frank Houdek, Alexander Raschke:
Adaptive Exterior Light and Speed Control System. ABZ 2020: 281-301 - [c18]Leander Nachreiner, Alexander Raschke, Michael Stegmaier, Matthias Tichy:
CouchEdit: a relaxed conformance editing approach. MoDELS (Companion) 2020: 43:1-43:5 - 2019
- [c17]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: 405-412 - 2018
- [c16]Markus Leitz, Alexander Raschke:
Formal Specification of the Semantics of Control State Diagrams. ABZ 2018: 374-379 - [c15]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: 249-272 - [c14]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: 336-345 - 2017
- [c13]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: 338-343 - [c12]Stefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel:
Model-Driven Software Engineering in the openETCS Project: Project Experiences and Lessons Learned. Software Engineering 2017: 77-78 - 2016
- [c11]Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy:
A Universal Control Construct for Abstract State Machines. ABZ 2016: 37-53 - [c10]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: 231-236 - [c9]Stefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel:
Model-driven software engineering in the openETCS project: project experiences and lessons learned. MoDELS 2016: 238-248 - 2014
- [c8]Marcel Dausend, Alexander Raschke:
Introducing Aspect-Oriented Specification for Abstract State Machines. ABZ 2014: 174-187 - 2012
- [c7]Daniel Ott, Alexander Raschke:
Review improvement by requirements classification at Mercedes-Benz: Limits of empirical studies in educational environments. EmpiRE 2012: 1-8 - 2009
- [c6]Alexander Raschke:
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. EUROMICRO-SEAA 2009: 149-154 - 2008
- [c5]Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke:
An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68 - 2007
- [c4]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: 86-94 - 2005
- [c3]Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan:
Targeting System Evolution by Explicit Modeling of Control Flows Using UML 2 Activity Charts. PLC 2005: 237-244 - [c2]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: 396-402 - 2004
- [c1]Stefan Sarstedt, Alexander Raschke, Jens Kohlmeyer:
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren. GI Jahrestagung (2) 2004: 408-417
Editorship
- 2021
- [e4]Alexander Raschke, Dominique Méry:
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings. Lecture Notes in Computer Science 12709, Springer 2021, ISBN 978-3-030-77542-1 [contents] - [e3]Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe:
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 [contents] - 2020
- [e2]Alexander Raschke, Dominique Méry, Frank Houdek:
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Lecture Notes in Computer Science 12071, Springer 2020, ISBN 978-3-030-48076-9 [contents] - 2018
- [e1]Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7 [contents]
Informal and Other Publications
- 2023
- [i4]Paolo Dini, Manuel Bravo, Philipp Paulweber, Alexander Raschke, Gabriela Moreira:
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA+. CoRR abs/2301.10875 (2023) - [i3]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 abs/2309.09653 (2023) - [i2]Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer:
Model-Based Generation of Attack-Fault Trees. CoRR abs/2309.09941 (2023) - [i1]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 abs/2310.00654 (2023)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
