Marcel Dausend

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 3

Top Topics

Formal Verification

Control Strategies

Crosscutting Concerns

Business Applications

Top Venues

Sci. Comput. Program.

Publications

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)
Marcel Dausend, Alexander Raschke
Towards a comprehensive extension of abstract state machines for aspect-oriented specification. Sci. Comput. Program. 131 (2016)
Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy
A Universal Control Construct for Abstract State Machines. ABZ (2016)
Marcel Dausend, Alexander Raschke
Introducing Aspect-Oriented Specification for Abstract State Machines. ABZ (2014)
Marcel Dausend, Mark Poguntke
Ausführbare UML-Modelle multimodaler Interaktionsanwendungen. GI-Jahrestagung (2011)
Marcel Dausend, Mark Poguntke
Ausführbare UML-Modelle multimodaler Interaktionsanwendungen. i-com 10 (3) (2011)
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) (2011)
Marcel Dausend, Mark Poguntke
Spezifikation multimodaler Interaktionsanwendungen mit UML. Mensch & Computer (2010)
Marcel Dausend, Ute Ehrlich
A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent. PIT (2008)