Scientific assistant, doctoral candidate

Member of the faculty council of the Faculty of Engineering, Computer Science and Psychology (October 2014 - March 2016)

Research interests

  • software engineering, system engineerung
  • human-computer interaction, multimodality
  • formal spezification and modeling of requirments
  • tool support, especially for simulation of requirement specifications
  • formal semantics of UML-extensions, Abstract State Machines (ASMs), Aspect-Oriented Programming (AOP)

Publications

Stegmaier, M., Dausend, M., Raschke, A. & and Tichy, M., A. Ait Ameur, Y. & Schewe, K.-D. (ed.) A Universal Control Construct for Abstract State Machines, Alloy, B, TLA, VDM, and Z, in Linz, Austria, 2016 (to appear)

Paolo, A., Silvia, B., Marcel, D., Angelo, G., Atif, M., Alexander, R., Elvinia, R., Patrizia Scandurra, P. & Stegmaier, M., A. Ait Ameur, Y. & Schewe, K.-D. (ed.) Unified Syntax for Abstract State Machines, Alloy, B, TLA, VDM, and Z, in Linz, Austria, 2016 (to appear)

Dausend, M. & Raschke, A. Ait Ameur, Y. & Schewe, K.-D. (ed.) Introducing Aspect–Oriented Specification for Abstract State Machines Abstract State Machines, Alloy, B, TLA, VDM, and Z, Springer Berlin Heidelberg, 2014, 8477, 174-187

Nassal A., Dausend, M.: A Board Game for Education Purposes in Software Engineering. European Conference Software Engineering Education (ECSEE), 2014

Dausend, M., Stegmaier, M. & Raschke, A.
Debugging Abstract State Machine Specifications: An Extension of CoreASM, Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012, 2012

Dausend, M.
Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems, Institute of Software Engineering and Compiler Construction, Ulm University, 2011

Dausend, M. & Poguntke, M.
Ausführbare UML-Modelle multimodaler Interaktionsanwendungen, i-com: Zeitschrift für interaktive und kooperative Medien, 2011, Vol. 10(3), pp. 33-39

Dausend, M. & Poguntke, M.
Ausführbare UML-Modelle multimodaler Interaktionsanwendungen, Informatik 2011, Workshop: Modellbasierte Entwicklung von Benutzungsschnittstellen 2011, 2011

Dausend, M. & Raiser, F.
Model Transformation using Constraint Handling Rules as a basis for Model Interpretation, CHR 2011 -- Eighth International Workshop on Constraint Handling Rules, 2011

Partsch, H., Dausend, M., Gessenharter, D., Kohlmeyer, J. & Raschke, A.
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development, Int. Journal Software and Informatics, 2011, Vol. 5(1-2), pp. 291-312

Dausend, M. & Poguntke, M.
Spezifikation multimodaler Interaktionsanwendungen mit UML, Mensch & Computer, Oldenbourg Verlag, 2010, pp. 215-224

Dausend, M.
Potentials of Unified Modeling Language Profiles in the Field of Human-Computer Interaction, International Conference on What Makes Humans Human?, 2010

Dausend, M., Berton, A. & Zilles, J.
UML for automotive multi--modal HCI, AutomotiveUI 2009, 2009, pp. 3

Dausend, M. & Ehrlich, U.
A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent, PIT '08: Proceedings of the 4th IEEE tutorial and research workshop on 
Perception and Interactive Technologies for Speech-Based Systems
Springer-Verlag, 2008, pp. 268-271

Dausend, M., Berton, A., Kaltenmeier, A. & Mann, S.
Was möchten Sie hören? - Zielsicheres Suchen in großen Datenmengen mit integrierten multimodalen Systemen, Lacroix, A. (ed.), Elektronische Sprachverarbeitung - Studientexte zur Sprachkommunikation, TUDpress, 2008, Vol. 50

Mann, S., Berton, A., Dausend, M. & Heisterkamp, P.
"Beethoven's Ninth" - An Example on Naming Usage for Audio Files, Elektronische Sprachsignalverarbeitung Studientexte zur Sprachkommunikation, 2008

Dausend, M.
Entwicklung einer ASM-Spezifikation der Semantik der Zustandsautomaten der UML 2.0, Universität Ulm, 2007

Mentored theses and projects

2015

  • Roland Ritter, diploma thesis: Validierung der UML-Semantik für ausgewählte UML-Diagramme
  • Michael Stegmaier, master thesis: Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
  • Florian Koppers, master thesis: SysML Fallstudie – Analyse und Bewertung der Modellierungssprache SysML hinsichtlich ihrer Eignung im Rahmen einer realen industriellen Fallstudie
  • Rebekka Speckenhauer and Sultan Senel, project: Brettspiel zum Thema Software-Entwicklung und Projektmanagement: „SE-Game“ Studie und Entwicklung als Browserspiel
  • Stephan Psader, project: Konzept und Implementierung einer Netzwerkschnittstelle zur Ausführung von abstrakten Zustandsmaschinen

2014

  • Wei Liu, master thesis: Generierung graphischer Repräsentationen aus textuell Spezifikationen
  • Tobias Seyfang, project: Konzept und Implementierung einer Werkzeugunterstützung für aspektorientierte Abstrakte Zustandsmaschinen

2013

  • Natascha Brutzer, bachelor thesis: Vergleich ausgewählter Software-Werkzeuge nach dem "Logic Scoring of Preferences"-Verfahren
  • Sandra Frank, bachelor thesis: Anwendung und Analyse einer zielorientierten Vorgehensweise im Requirements Engineering
  • Olaf Kozlowski, bachelor thesis: WebASM: Webplattform zur kooperativen Nutzung von CoreASM
  • Vincent Grünberg, bachelor thesis: Mehrmodalität in der UML: Modellierung multi- und crossmodaler Interaktionsanwendungen in UML-2-Zustandsautomaten durch Profile

2012

  • Markus Müller, diploma thesis: Entwicklung eines Editors für CoreASM - Redesign nach SE-Methode
  • Hans-Jörg Reichle, diploma thesis: Formale Spezifikation von Widgets und Generierung eines Testmodells

2011

  • Michael Stegmaier, bachelor thesis: Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
  • Alexander Zgorzelski, diploma thesis: Automatisiertes modellbasiertes Testen der statischen Texte einer graphischen Benutzerschnittstelle
  • Dennis Knotz, diploma thesis: Konzeption u. prototypische Implementierung kommunizierender Interpreter für unterschiedliche Modellarten am Beispiel von UML-Aktivitäten und Zustandsautomaten
  • Patrick Schneider, project: Compiler Construction Collection - Erstellung von Compilern und Interpretern für imperative, funktionale und logische Programme

2009

  • Jonas Zilles, diploma thesis: Entwicklung eines Interpreters für Zustandsautomaten multimodaler Systeme

Courses

  • exercises for "Management of Software-Projects" (winter term '11 - '14)
  • exercises for "Requirements engineering" (summer term '10 - '14)
  • exercises for "Basics of compiler construction" (winter term '10 & '11)
  • exercises for "Compiler construction: Translation of recent language concepts" (summer term '10 & '11)
  • introductory seminar course "Design Patterns" (winter term '14)
  • seminar course: "Formal specification methods in practice at the example of the tool CoreASM" (summer term '13)
  • introductory seminar course: "The league of extraordinary programming languages" (winter term '13)
  • introductory seminar course: "Understanding other people's code" (winter term '12)
  • introductory seminar course: "Advanced application techniques for typical computer systems" (winter term '11; summer term '12)

Contact

  • Dipl.-Inf. Marcel Dausend
  • Institute of Software Engineering and Programming Languages
  • Universität Ulm
  • D-89069 Ulm
  •  
  • room: o27 - 416
  • phone: +49 (0)731/50-24254
  • fax: +49 (0)731/50-24162
  • e-mail: marcel.dausend (at) uni-ulm.de