Research Associate

E-Mail	buckl@in.tum.de
Room	MI 03.07.061
Phone	+49.89.289.18126
Fax	+49.89.289.18107
Address	Institut für Informatik VI Technische Universität München Boltzmannstraße 3 85748 Garching bei München Germany
Homepage	http://www6.in.tum.de/~buckl/

Dr. rer nat. Christian Buckl

Curriculum Vitæ

Current Projects

FTOS: Model-Based Development of Fault-Tolerant Real-Time Systems (funded by the German Ministry for Education and Research)
eSOA: Model-Based Development of Sensor/Actuator Networks (funded by Siemens)
PUMA: Program and Model Analysis (graduate school funded by DFG), Homepage

Previous Projects

WS-AMUSE: WS-AMUSE - Web Service Architecture for Multimedia Services (funded by Siemens)

Research Interests

Real-Time Systems
Embedded Systems
Fault Tolerance
Model-Based/Model-Driven Development
Code Generation of Non-Functional Aspects (e.g. Fault-Tolerance Mechanism, Communication, Scheduling)

Education

1999-2004: Diploma in Informatics, Department of Informatics, Technische Universität München
2004-2008: Ph.D. in Informatics, Department of Informatics, Technische Universität München
- Electronic version of thesis: Model-Based Development of Fault-Tolerant Real-Time Systems

Publications

[1]	Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. eSOA - SOA für eingebettete netze. In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009.
[2]	Simon Barner, Michael Geisinger, Christian Buckl, and Alois Knoll. EasyLab: Model-based development of software for mechatronic systems. In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540-545, Beijing, China, October 2008. (.pdf )
[3]	Christian Buckl. Model-Based Development of Fault-Tolerant Real-Time Systems. PhD thesis, Technische Universität München, October 2008. (http )
[4]	Stephan Sommer, Christian Buckl, and Alois Knoll. Applying the service oriented paradigm to develop sensor/actuator networks. In Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008). IEEE, October 2008. (.pdf )
[5]	Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, and Alfons Kemper. Generating a tailored middleware for wireless sensor network applications. In Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pages 162-169. IEEE, June 2008. (http )
[6]	Andreas Scholz, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. WS-AMUSE - web service architecture for multimedia services. In Proceedings of the 30th International Conference on Software Engineering, pages 703-712. ACM, May 2008. (http )
[7]	Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. Generic fault-tolerance mechanisms using the concept of logical execution time. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing), pages 3-10. IEEE, December 2007. (.pdf )
[8]	Matthias Regensburger, Christian Buckl, Alois Knoll, and Gerhard Schrott. Model based development of safety-critical systems using template based code generation. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing), pages 89-92. IEEE, December 2007. (.pdf )
[9]	Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. A model-based code generator in the context of safety-critical systems. In Third Latin-American Symposium on Dependable Computing - Fast Abstracts Volume, pages 3-4, September 2007. (.pdf )
[10]	Christian Buckl, Matthias Regensburger, Alois Knoll, and Gerhard Schrott. Models for automatic generation of safety-critical real-time systems. In Proceedings of the Second International Conference on Availability, Reliability and Security (ARES)), pages 580-587. IEEE, April 2007. (.pdf )
[11]	Christian Buckl, Alois Knoll, and Gerhard Schrott. Model-based development of fault-tolerant embedded software. In Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA), pages 103-110. IEEE, November 2006. (.pdf )
[12]	Christian Buckl, Alois Knoll, and Gerhard Schrott. Template-based development of fault-tolerant embedded software. In Proceedings of the International Conference on Software Engineering Advances, pages 65-70. IEEE, October 2006. (.pdf )
[13]	Christian Buckl. Developing dependable real-time systems. In Proceedings of the Embedded World Conference, pages 285-294, February 2006. (.pdf )
[14]	Christian Buckl, Alois Knoll, and Gerhard Schrott. Development of dependable real-time systems with Zerberus. In Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing. IEEE, December 2005. (.pdf )
[15]	Christian Buckl, Alois Knoll, and Gerhard Schrott. The Zerberus language: Describing the functional model of dependable real-time systems. In Proceedings of the Second Latin-American Symposium on Dependable Computing, number 3747 in Lecture Notes in Computer Science, pages 101-120. Springer, October 2005. (.pdf )
[16]	Christian Buckl, Alois Knoll, and Gerhard Schrott. Zerberus System - Ein Entwicklungsmodell für sichere und zuverlässige Computersysteme. In Tagungsband Diskussionskreis Fehlertoleranz, pages 15-22. Shaker-Verlag, September 2005. (.pdf )
[17]	Christian Buckl. Zerberus language specification version 1.0. Technical Report TUM-I0501, Technische Universität München, January 2005. (.pdf )