Publications / Presentations

  • Alexander Raschke. Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. In: Proceedings of 35th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA 2009).
  • Jörg Leuser, Nikolas Porta, Armin Bolz, Alexander Raschke. Empirical Validation of a Requirements Engineering Process Guide. In: Proceedings of 3th Intern. Conference on Evaluation and Assessment in Software Engineering (EASE 2009).
  • Margus Veanes, Nikolaj Bjøorner, Alexander Raschke. An SMT Approach to Bounded Reachability Analysis of Model Programs. In: Proceedings of 28th Intern. Conference on Formal Techniques for Networked and Distributed Systems (FORTE '08).
  • Ramin Tavakoli Kolagari, Alexander Raschke, Matthias Schneiderhan, Ian Alexander: Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse. Universität Ulm, Ulmer Informatik Berichte Nr. 2008-04, March 2008.
  • Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Dominik Gessenharter: ActiveChartsIDE - Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen. OBJEKTspektrum 6/2007, SIGS-DATACOM GmbH Troisdorf, ISBN 0945-0491 , PDF.
  • Dominik Gessenharter, Alexander-Mark Merten, Nicolas Fernando Porta, Alexander Raschke: Experiences on Using Software Experiments in the Validation of Industrial Research Questions. In: Software Process and Product Measurement: Intern. Conference IWSM-Mensura 2007 (Best Paper Award).
  • Stefan Miller, Thorsten Kasper, Matthias Schneiderhan, Alexander Raschke: A defect-based experiment for analysing and comparing software engineering processes. In: Andreas Jedlitschka, Marcus Ciolkowski (Hrsg.): Experience on Applying Quantitative and Qualitative Empiricism to Software Engineering (WSESE'07), pages 31-38, July 2007
  • Alexander Raschke, Jens Kohlmeyer, Helmuth Partsch, Harald Wolf, Wolfgang Mader: Virtueller Biobaukasten - Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse. In: K. Haasis, A. Heinzl, D. Klumpp (Hrsg.): Aktuelle Trends in der Softwareforschung, Heidelberg, 2006
  • Jens Kohlmeyer, Alexander Raschke, Ramin Tavakoli Kolagari: Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg. Universität Ulm, Ulmer Informatik Berichte Nr. 2006-03, March 2006
  • Alexander Raschke, Ramin Tavakoli Kolagari: Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethode zur Spezifikation von eingebetteten Systemen. Universität Ulm, Ulmer Informatik Berichte Nr. 2006-02, March 2006
  • Stefan Sarstedt, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: Präsentation des MDA-Werkzeugs "ActiveCharts" (Poster und Demonstration). European Conference on Model Driven Architecture - Foundations and Applications (ECMDA'05), Tool Presentation Track
  • Stefan Sarstedt, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: ActiveChartsIDE - An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts. The 2005 European Simulation and Modelling Conference (ESM'05), pages 66-73, October 2005
  • Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: Targeting System Evolution by Explicit Modeling of Control Flows using UML 2 Activity Charts. In: Arabnia, H.R. (Herausgeber): Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), pages 237-246, June 2005.
  • Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: A New Approach to Combine Models and Code in Model Driven Development. In: Arabnia, H.R. und H. Reza (Herausgeber): Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05), Band 1, pages 396-400, June 2005.
  • Stefan Sarstedt, Alexander Raschke und Jens Kohlmeyer: Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren. In: Dadam, P. und M. Reichert (Herausgeber): Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, Band 2, pages 408-417, September 2004.
  • Ramin Tavakoli Kolagari und Alexander Raschke: Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergeräts. Softwaretechnik-Trends, Mitteilungen der Fachgruppen Softwaretechnik, Ada, Requirements Engineering, Test, Analyse und Verifikation von Software, Objektorientierte Software-Entwicklung, Band 24 Heft 1. Gesellschaft für Informatik e.V. (GI), Bonn, pages 17-18, February 2004.
  • Alexander Raschke: Einsatz von Werkzeugen der Informatik zur Modellierung und Simulation von Bewegungssteuerung und Katalepsie im Insektenbein, Diplomarbeit, Universität Ulm, 2003.
  • Frank Kargl, Torsten Illmann, Alexander Raschke, Stefan Schlott, Michael Weber: WAPCam - using a WAP application in student education, ACM SIGOIS Bulletin, Vol. 22(1), April 2001.

Publications


22.
default
Bordeleau, Francis; Liebel, Grischa; Raschke, Alexander; Stieglbauer, Gerald and Tichy, Matthias
Challenges and Research Directions for Successfully Applying MDE Tools in Practice
Model-Driven Engineering Tools Challenge (MDETools'17), Austin, Texas
July 2017
21.
default
Dausend, Marcel and Raschke, Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming,
May 2016
20.
pdf
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander and Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
19.
pdf
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia and Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
18.
default
Dausend, Marcel and Raschke, Alexander
Introducing Aspect–Oriented Specification for Abstract State Machines
In Ait Ameur, Yamine and Schewe, Klaus-Dieter, editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 8477 of Lecture Notes in Computer Science
page 174-187.
Publisher: Springer Berlin Heidelberg,
2014
ISBN: 978-3-662-43651-6
17.
pdf
Dausend, Marcel; Stegmaier, Michael and Raschke, Alexander
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
ISBN: 978-88-7958-008-3
16.
default
Partsch, Helmuth; Dausend, Marcel; Gessenharter, Dominik; Kohlmeyer, Jens and Raschke, Alexander
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
International Journal of Software and Informatics, 5(1-2, Part II):291-312
2011
15.
default
Raschke, Alexander
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) , page 149-154.
Publisher: IEEE Computer Society,
August 2009
14.
default
Leuser, J.; Porta, N.; Bolz, Armin and Raschke, Alexander
Empirical Validation of a Requirements Engineering Process Guide
In Budgen, D. and Turner, M. and Niazi, M., editor, 13th International Conference on Evaluation and Assessment in Software Engineering (EASE) of Electronic Workshops in Computing
Publisher: The British Computer Society,
April 2009
13.
default
Tavakoli Kolagari, Ramin; Raschke, Alexander; Schneiderhan, Matthias and Alexander, Ian
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
Ulmer Informatik-Berichte
Document number: 2008-04
Universität Ulm,
February 2008
12.
default
Veanes, M.; Bjørner, N. and Raschke, Alexander
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., editor, Formal Techniques for Networked and Distributed Systems: FORTE 2008 Volume 5048 of Lecture Notes in Computer Science , page 53-68.
Publisher: Springer-Verlag,
2008
11.
default
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander and Gessenharter, Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum, (6)
2007
10.
default
Gessenharter, Dominik; Merten, A.-M.; Porta, N. F. and Raschke, Alexander
Experiences on Using Software Experiments in the Validation of Industrial Research Questions
In Abran, A. and Dumke, R. and Mas, A., editor, Proceedings of the IWSM-Mensura 2007 , page 279-288.
2007
9.
default
Miller, S.; Kasper, T.; Schneiderhan, Matthias and Raschke, Alexander
A defect-based experiment for analysing and comparing software engineering processes
In Jedlitschka, A. and Ciolkowski, M., editor, Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering) of IESE-Report , page 31-38.
Publisher: Fraunhofer IESE,
2007
8.
default
Raschke, Alexander; Kohlmeyer, Jens; Partsch, Helmuth; Wolf, H. and Mader, W.
Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse
In Haasis, K. and Heinzl, A. and Klumpp, D., editor, Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006 , page 101-116.
Publisher: dpunkt.verlag,
July 2006
7.
default
Kohlmeyer, Jens; Raschke, Alexander and Tavakoli Kolagari, Ramin
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Document number: UIB-2006-03
Universität Ulm,
March 2006
6.
default
Raschke, Alexander and Tavakoli Kolagari, Ramin
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Document number: UIB-2006-02
Universität Ulm,
March 2006
5.
default
Sarstedt, Stefan; Gessenharter, Dominik; Kohlmeyer, Jens; Raschke, Alexander and Schneiderhan, Matthias
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05) , page 66-73.
October 2005
4.
default
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander and Schneiderhan, Matthias
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., editor, Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05) Volume 1 , page 396-400.
June 2005
3.
default
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander and Schneiderhan, Matthias
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., editor, Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05) , page 237-246.
June 2005
2.
default
Sarstedt, Stefan; Raschke, Alexander and Kohlmeyer, Jens
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
In Dadam, P. and Reichert, M., editor, Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm Volume 2 , page 408-417.
September 2004
1.
default
Tavakoli Kolagari, Ramin and Raschke, Alexander
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends, 24(1):17-18
February 2004

Activities

  • Research project ActiveCharts
  • Teaching (Requirements Engineering)
  • Conducting practical course Experimental Softwareengineering
  • Hard- and software acquisition
  • Maintenance of institute's servers and staff computers

Research interests

  • Verification of UML 2 Activity Diagrams
  • Model Checking
  • Formal Specification with Abstract State Machines
  • UML Modeling
  • Model Driven Software Development (MDSD)
  • Experimental Softwareengineering

Teaching activities

  • Übungen zu Requirements Engineering (WS 08/09)
  • Praktikum Experimentelles Software Engineering (WS 08/09)
  • Praktikum Experimentelles Software Engineering (SS 08)
  • Praktikum Experimentelles Software Engineering (WS 07/08)
  • Praktikum Experimentelles Software Engineering (SS 07)
  • Seminar Modelle und formale Methoden für Benutzerinteraktionen (WS 06/07)
  • Praktikum Experimentelles Software Engineering (WS 06/07)
  • Praktikum Montage und Simulation von Anwendungen mit der UML2 (SS 06)
  • Praktikum Experimentelles Software Engineering (SS 06)
  • Übungen zu Requirements Engineering (WS 05/06)
  • Praktikum Experimentelles Software Engineering (WS 05/06)
  • Praktikum Experimentelles Software Engineering (SS 05)
  • Übungen zu Requirements Engineering (WS 04/05)
  • Praktikum Experimentelles Software Engineering (WS 04/05)
  • Praktikum Experimentelles Software Engineering (SS 04)
  • Übungen zu Requirements Engineering (WS 03/04)
  • Praktikum Experimentelles Software Engineering (WS 03/04)

Contact

  • Institute of Software Engineering and Programming Languages
  • Universität Ulm
  • D-89069 Ulm
  •  
  • room: o27-4102
  • phone: +49 (0)731/50-24172
  • fax: +49 (0)731/50-24162
  • e-mail: alexander.raschke (at) uni-ulm.de