Research Assistant

E-Mail	chengch@in.tum.de
Room	MI 03.07.037
Phone	+49.89.289.18141
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/~chengch/

Chih-Hong Cheng, M.E.

Publications

[1]	Chih-Hong Cheng, Alois Knoll, Javier Esparza, Christian Buckl, and Yang Chen. Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. In Proceedings of the 8th IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA'09). IEEE, December 2009. to appear.
[2]	Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Modeling and verification for timing satisfaction of fault-tolerant systems with finiteness. In Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09), pages 208-215. IEEE, October 2009.
[3]	Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, and Alois Knoll. Toward the design of robotic software with verifiable safety. In Proceedings of the 33rd IEEE International Computer Software and Applications Conference (Fast Abstract), July 2009.
[4]	Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Toward an efficient methodology for the analysis of fault-tolerant systems. In 4th International Workshop on Systems Software Verification (SSV'09) (Doctoral Symposium), June 2009.
[5]	Christopher Brooks, Chih-Hong Cheng, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Model engineering using multimodeling. In Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM'08), 2008.
[6]	Chih-Hong Cheng, Teale Fristoe, and Edward A. Lee. Applied verification: The ptolemy approach. Technical Report UCB/EECS-2008-41, EECS Department, University of California, Berkeley, Apr 2008. (.html )
[7]	Farn Wang and Chih-Hong Cheng. Program repair suggestions from graphical state-transition specifications. In 28th IFIP WG 6.1 International Conference in Formal Techniques for Networked and Distributed Systems (FORTE), volume 5048 of Lecture Notes in Computer Science, pages 185-200. Springer, 2008. (http )