Christian Leuxner

According to our database, Christian Leuxner authored at least 6 papers between 2008 and 2010.

Collaborative distances:

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

2010

A Formal Model for Work Flows.

Christian Leuxner, Wassiou Sitou, Bernd Spanfelner

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Online Erfassung von intraoperativen Zuständen zur Analyse des chirurgischen Workflows.

Armin Schneider, Michael Kranzfelder, Loubna Bouarfa, Christian Leuxner, Helmut Friess, Hubertus Feußner

Proceedings of the 9. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie, 2010

2009

Formalizing the notion of adaptive system behavior.

Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Formal specification of system functions.

Bernd Spanfelner, Christian Leuxner, Wassiou Sitou

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2008

Efficient Planning of Autonomous Robots using Hierarchical Decomposition.

Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou

Proceedings of the ICINCO 2008, 2008

A Survey of Context Adaptation in Autonomic Computing.

Cornel Klein, Reiner N. Schmid, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner

Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems, 2008