Marcel Dausend

According to our database, Marcel Dausend authored at least 8 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Towards a comprehensive extension of abstract state machines for aspect-oriented specification.

Marcel Dausend, Alexander Raschke

Sci. Comput. Program., 2016

A Universal Control Construct for Abstract State Machines.

Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Unified Syntax for Abstract State Machines.

Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Introducing Aspect-Oriented Specification for Abstract State Machines.

Marcel Dausend, Alexander Raschke

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2011

From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development.

Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke

Int. J. Softw. Informatics, 2011

Ausführbare UML-Modelle multimodaler Interaktionsanwendungen.

Marcel Dausend, Mark Poguntke

i-com, 2011

2010

Spezifikation multimodaler Interaktionsanwendungen mit UML.

Marcel Dausend, Mark Poguntke

Proceedings of the Mensch & Computer 2010: Interaktive Kulturen, 2010

2008

A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent.

Marcel Dausend, Ute Ehrlich

Proceedings of the Perception in Multimodal Dialogue Systems, 2008