Software and Systems Safety: Specification and Verification
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 30, IOS Press, March 2011
M. Broy, C. Leuxner, T. Hoare (Eds.)
Details

C. Leuxner, J.C. Wehrstedt, and R. Rosen
Towards Seamless Model-Based Design of Complex Systems with Early Consideration of Automation Software
In Mechatronics 2012: Proceedings of the 13th Mechatronics Forum International Conference.
Sep 17 - 19, 2012 Linz, Austria
Details | BibTeX

C. Leuxner, W. Sitou, and B. Spanfelner
A Formal Model for Work Flows
In SEFM 2010: Proceedings of the 8th International Conference on Software Engineering and Formal Methods.
Sep 13 - 18, 2010 Pisa, Italy
Details | BibTeX

W. Sitou, C. Leuxner, and B. Spanfelner
Disciplined Modeling of Usage Context
In M2CAI 2009: Proceedings of the 2009 MICCAI Workshop on Modeling and Monitoring of Computer Assisted Interventions.
Sep 20 - 24, 2009 London, UK
Details | BibTeX

C. Leuxner, W. Sitou, B. Spanfelner, A. Schneider
Towards Context-Aware Surgery Assistance for Laparoscopic Cholecystectomy
In RBC 2009: Proceedings of the 5th Russian-Bavarian Conference on Bio-Medical Engineering.
July 1 - 4, 2009 Munich, Germany
Details | BibTeX

B. Spanfelner, C. Leuxner, and W. Sitou
Formal Specification of System Functions
In MISE 2009: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering.
May 16 - 24, 2009 Vancouver, Canada
Details | BibTeX

M. Broy, C. Leuxner, W. Sitou, B. Spanfelner, and S. Winter
Formalizing the Notion of Adaptive System Behavior
In SAC 2009: Symposium on Applied Computing.
March 9 - 12, 2009 Honolulu, Hawaii
Details | BibTeX

M. Rungger, O. Stursberg, M. Broy, C. Leuxner, W. Sitou, and B. Spanfelner
Efficient Planning of Autonomous Systems using Hierarchical Decomposition
In ICINCO 2008: 5th International Conference on Informatics in Control, Automation and Robotics.
May 11 - 15, 2008 Madeira, Portugal
Details | BibTeX

C. Klein, R. Schmid, C. Leuxner, W. Sitou, and B. Spanfelner
A Survey of Context Adaptation in Autonomic Computing
In ICAS 2008: Fourth International Conference on Autonomic and Autonomous Systems.
March 16 - 21, 2008 Gosier, Guadeloupe
Details | BibTeX

A. Schneider, D. Wilhelm, M. Fiaschi Schneider, T. Schuster, M. Kriner, C. Leuxner, S. Can, A. Fiolka, B. Spanfelner, W. Sitou, and H. Feussner
Laparoscopic Cholecystectomy - a Standardized Routine Laparoscopic Procedure: Is it Possible to Predict the Duration of an Operation?
In Journal of Healthcare Engineering Vol 2, No 2, 2011, Page 287-298
Multi-Science Publishing, ISSN 1756-8250
Details | BibTeX

Christian Leuxner
From Scenarios to Components - Building the Foundations for an Integrated Software Development Process
PhD Thesis, Technische Universität München, 2013 (to appear)
Details | BibTeX

Christian Leuxner
Adaptation Design in Ubiquitous Computing
Diploma Thesis, Technische Universität München, 2006
Details

V. Bauer, M. Broy, M. Irlbeck, C. Leuxner, M. Spichkova, M. Dahlweid, T. Santen
Survey of Modeling and Engineering Aspects of Self-Adapting & Self-Optimizing Systems
Technical Report, Technische Universität München, February 2013
Details | BibTeX

M. Broy, C. Leuxner, D. Méndez Fernández, L. Heinemann, B. Spanfelner, W. Mai, and R. Schlör
Towards a Formal Engineering Approach for SOA
Technical Report, Technische Universität München, December 2010
Details | BibTeX

M. Broy, A. Fleischmann, S. Islam, L. Kof, K. Lochmann, C. Leuxner, B. Penzenstadler, D. Mendez, W. Sitou, S. Winter
Towards an Integrated Approach to Requirement Engineering
Technical Report, Technische Universität München, December 2009
Details | BibTeX

C. Leuxner, W. Sitou, B. Spanfelner, V. Thurner, and A. Schneider
Modeling Work Flows For Building Context-Aware Applications
Technical Report, Technische Universität München, Juni 2009
Details | BibTeX

M. Fahrmair, C. Leuxner, W. Sitou, and B. Spanfelner
CAWAR - Formalizing a Framework for Ubiquitous Computing Applications
Technical Report, Technische Universität München, August 2008
Details | BibTeX

M. Fahrmair, C. Leuxner, W. Sitou, and B. Spanfelner
Adaptation Design in Ubiquitous Computing
Technical Report, Technische Universität München, January 2008
Details | BibTeX