Dr. Alexander Raschke

Activities

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

Publications

References
Marcel Dausend and Alexander Raschke
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
Marcel Dausend, Michael Stegmaier and Alexander Raschke
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
Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer and Alexander Raschke
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
Alexander Raschke
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
J. Leuser, N. Porta, Armin Bolz and Alexander Raschke
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
Ramin Tavakoli Kolagari, Alexander Raschke, Matthias Schneiderhan and Ian Alexander
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
Ulmer Informatik-Berichte
Document number: 2008-04
Universität Ulm,
February 2008
M. Veanes, N. Bjørner and Alexander Raschke
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
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke and Dominik Gessenharter
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum, (6)
2007
S. Miller, T. Kasper, Matthias Schneiderhan and Alexander Raschke
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
Dominik Gessenharter, A.-M. Merten, N. F. Porta and Alexander Raschke
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
Alexander Raschke, Jens Kohlmeyer, Helmuth Partsch, H. Wolf and W. Mader
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
Alexander Raschke and Ramin Tavakoli Kolagari
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
Jens Kohlmeyer, Alexander Raschke and Ramin Tavakoli Kolagari
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Document number: UIB-2006-03
Universität Ulm,
March 2006
Stefan Sarstedt, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke and Matthias Schneiderhan
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
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke and Matthias Schneiderhan
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
Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke and Matthias Schneiderhan
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
Stefan Sarstedt, Alexander Raschke and Jens Kohlmeyer
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
Ramin Tavakoli Kolagari and Alexander Raschke
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

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.

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)

Abgeschlossene Diplom-/Master-/Bachelorarbeiten

References
Manuel Teufel
Evaluierung von DevOps - Werkzeugenfür die IT - Infrastruktur bei einem Automobilhersteller
Bachelorarbeit
Universität Ulm,
June 2015
George Stanciu
Erstellung eines Managers zur dynamischen Verwaltung externer Ressourcen innerhalb eines CI Systems
Bachelorarbeit
Universität Ulm,
April 2015
Tobias Seyfang
Analyse, Konzeption und prototypische Implementierung akustischer Codekommentierung
Masterarbeit
Universität Ulm,
January 2015
David Jäckel
A Framework to Predict and Assess Software Stability on Android devices
Masterarbeit
Universität Ulm,
December 2014
Christian Brenner
Konzeption und Entwicklung einer flexiblen Softwarearchitektur zur pototypischen Umsetzung einer Unterstützung von Stimmungsanalysen in sozialen Netzwerken
Bachelorarbeit
Universität Ulm,
December 2014
Markus Brenner
ASMc - ein durch Plugins erweiterbarer Compiler für Abstract State Machines
Masterarbeit
Universität Ulm,
October 2014
Christian van Onzenoodt
Konzeption und Implementierung eines Onlineeditors zur verteilten Dokumenterstellung mit Kommentarfunktion
Bachelorarbeit
Universität Ulm,
October 2014
Stefan Kögel
Konzeption und prototypische Implementierung einer Bibliothek zur interaktiven Darstellung von Graphen
Masterarbeit
Universität Ulm,
September 2014
Adrian Brückner
Entwurf und Implementierung eines generischen Online Diagrammeditorframeworks
Bachelorarbeit
Universität Ulm,
April 2013
Niklas Meyer
Konzeption einer Simulationssoftware zur 3D Strukturerzeugung und Topographieanalyse
Bachelorarbeit
Universität Ulm,
April 2013
Mirco Lüdeke
Neukonzeption und Reimplementierung eines grafischen Editors für UML2 Aktivitätsdiagramme in Eclipse
Zulassungsarbeit
Universität Ulm,
March 2013
Stefan Kögel
Design und Implementierung einer imperativen Sprache für eine stark eingeschränkte virtuelle CPU
Bachelorarbeit
Universität Ulm,
January 2013
Bernhard Seibold
Übersicht über existierende Methoden, Techniken und Werkzeuge zu besserem Codeverständnis und prototypische Implementierung einer Beispielkomponente
Diplomarbeit
Universität Ulm,
January 2013
Tobias Weck
Restructuring, Extension and Optimization of the Functional Program Transformation System ULTRA
Diplomarbeit
Universität Ulm,
July 2011
Finn Steglich
Evaluierung und Anpassung eines Parserframeworks zum partiellen Parsen komplexer Legacy-Sprachen
Diplomarbeit
Universität Ulm,
June 2011
Alexander Nassal
Konzeption und Realisierung von Ansätzen zur Strukturierung und Visualisierung von Code
Diplomarbeit
Universität Ulm,
April 2011
Johannes Langbein
Konzeption und Implementierung eines Klassendiagrammeditors in Eclipse
Bachelorarbeit
Universität Ulm,
March 2009
Linda Goldschmidt
Konzeption und prototypische Umsetzung eines Softwaresystems zur Randomisierung in klinischen Studien
Diplomarbeit
Universität Ulm,
December 2008
Ayse Colak
Konzeption und prototypische Realisierung einer systematischen quantitativen Qualitätsprüfung von graphisch notierten Anforderungen
Diplomarbeit
Universität Ulm,
October 2008
Tark Nashashbi
Deriving constraints from the UML2 Superstructure Specification for Checking Consistency between UML2 Diagrams
Diplomarbeit
Universität Ulm,
August 2008
Jochen Zink
Transformation von UML-2 Zustandsdiagrammen in eine für Analysezwecke optimierte Darstellung
Masterarbeit
Universität Ulm,
August 2007
Eva Schwendemann
Umfassende Anforderungsdefinition und prototypische Implementierung eines intelligenten Editors für UML2 Aktivitätsdiagramme
Diplomarbeit
Universität Ulm,
June 2007
Christian Waniek
Konzepte zur Codeerzeugung aus UML2.0 Klassendiagrammen unter spezieller Berücksichtigung semantischer Aspekte
Diplomarbeit
Universität Ulm,
May 2007
René Grimm
Redesign unter besonderer Berücksichtigung von Refactoringmethoden und Qualitätsaspekten am Beispiel der Media Toolbox
Diplomarbeit
Universität Ulm,
January 2007
Patrick Frey
Development and validation of an executable ASM specification of UML 2.0 Activity Diagrams
Diplomarbeit
Universität Ulm,
July 2006
Alexander Bielesch
Automatisierte Codegenerierung für die Verteilung von Softwarekomponenten unter Verwendung von UML2 Verteilungsdiagrammen
Diplomarbeit
Universität Ulm,
June 2006
Michael Sepp
Testfälle zur Sprachkonformität von UML 2 Zustandsdiagrammen und ein Werkzeug zur Unterstützung der Ausführung und Auswertung dieser Testfälle auf kommerziellen UML 2 Werkzeugen
Diplomarbeit
Universität Ulm,
March 2006
Aysel Togan
Vergleich der Semantik von Zustandsmaschinen in Statemate und UML 2
Diplomarbeit
Universität Ulm,
December 2005
Daniel Bernauer
Testfälle für Klassen- und Aktivitätsdiagramme der UML2 zur Überprüfung der Sprachkonformität und -vollständigkeit von UML2 Werkzeugen
Masterarbeit
Universität Ulm,
September 2005

Contact

  • Institut für Programmiermethodik und Compilerbau
  • Universität Ulm
  • D-89069 Ulm
  •  
  • room: o27-4102
  • phone: +49 (0)731/50-24172
  • fax: +49 (0)731/50-24162
  • e-mail: Öffnet ein Fenster zum Versenden einer E-Mailalexander.raschke (at) uni-ulm.de