Dr. rer. nat.
Chih-Hong Cheng

Software Dependability Engineering · Kompetenzfeld Leiter
Telephone
+49 89 3603522 513

Dr. Chih-Hong Cheng studied Computer Science at Technical University of Munich and obtained his PhD on game-based software synthesis in 2012. After two years working in ABB corporate research as a research scientist, he joined fortiss and is now head of the Software Dependability department. He manages various research projects such as cloud for mission-critical infrastructures, formal methods for dependable machine learning, and automated software engineering.

Publications

Export list as BibTeX file

2017

  • Kirill Dorofeev, Chih-Hong Cheng, Magno Guedes, Pedro Ferreira, Stefan Profanter and Alois Zoitl. Device Adapter Concept towards Enabling Plug&Produce Production Environments. In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details BibTeX
  • Chih-Hong Cheng, Edward A. Lee and Harald Rueß. autoCode4: Structural Controller Synthesis. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pages 398–404, 2017. Details DOI BibTeX
  • Chih-Hong Cheng, Georg Nührenberg and Harald Rueß. Maximum Resilience of Artificial Neural Networks. In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BibTeX

2016

  • Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, Chih-Hong Cheng and Harald Rueß. Compositional Parameter Synthesis. In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, 2016. Details DOI BibTeX
  • Alejandro Arreola González, Klaus Becker, Chih-Hong Cheng, Volkmar Döricht, Markus Duchon, Marcus Fehling, Helmut von Grolman, Sebastian Hallensleben, Sebastian Hopf, Nicolas Ivandic, Cornel Klein, Elena Läßle, Jonas Linder, Rahild Neuburger, Christian Prehofer, Bernhard Schätz, Roman Scholdan, Konstantin Schorp, Joachim Sedlmeir, Iason Vittorias, Sofie Walckhoff, Monika Wenger and Alois Zoitl. Digital transformation: How information and communication technology is fundamentally changing incumbent industries. Study, 2016. Details BibTeX
  • Chih-Hong Cheng, Yassine Hamza and Harald Rueß. Structural Synthesis for GXW Specifications. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 95–117, 2016. Details DOI BibTeX

2014

  • Chih-Hong Cheng, Chung-Hao Huang, Harald Rueß and Stefan Stattelmann. G4LTL-ST: Automatic Generation of PLC Programs. In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pages 541–549, 2014. Details DOI BibTeX

2013

  • Michael Geisinger and Chih-Hong Cheng. Programme auf Knopfdruck?. Computer & Automation, ():32–35, 2013. Details BibTeX
  • Chih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek Bensalem. EFSMT: A Logical Framework for Cyber-Physical Systems. arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BibTeX
  • Chih-Hong Cheng, Harald Rueß and Natarajan Shankar. JBernstein: A Validity Checker for Generalized Polynomial Constraints. In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pages 656–661, 2013. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger and Christian Buckl. Synthesizing Controllers for Automation Tasks with Performance Guarantees. In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pages 154–159, 2013. Details DOI BibTeX
  • Chih-Hong Cheng, Natarajan Shankar, Harald Rueß and Saddek Bensalem. EFSMT: A Logical Framework for Cyber-Physical Systems. CoRR, abs/1306.3456():, 2013. Details BibTeX

2012

  • Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem and Harald Rueß. Distributed Priority Synthesis. In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Rongjie Yan, Harald Rueß and Saddek Bensalem. Distributed priority synthesis using knowledge. In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, pages 129–132, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll. Game solving for industrial automation and control. In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll. MGSyn: Automatic Synthesis for Industrial Automation. In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, 2012. Details DOI BibTeX

2011

  • Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Rueß, Christian Buckl and Alois Knoll. Algorithms for Synthesizing Priorities in Component-Based Systems. In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pages 150–167, 2011. Details DOI BibTeX
  • Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll and Harald Rueß. Model Construction and Priority Synthesis for Simple Interaction Systems. In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, 2011. Details DOI BibTeX
  • Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl and Alois Knoll. On the Hardness of Priority Synthesis. In Radu Calinescu and David Garlan, editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pages 110–117, 2011. Details DOI BibTeX
  • Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll and Harald Rueß. Optimizations for Game-based Software Synthesis. TR-2011-12, Verimag Research Report, 2011. Details BibTeX
  • Chih-Hong Cheng, Harald Rueß, Alois Knoll and Christian Buckl. Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, pages 118–133, 2011. Details DOI BibTeX
  • Chih-Hong Cheng, Alois Knoll, Michael Luttenberger and Christian Buckl. GAVS+: An Open Platform for the Research of Algorithmic Game Solving. In Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, , pages 258–261, 2011. Details DOI BibTeX

2010

  • Chih-Hong Cheng, Harald Rueß, Alois Knoll and Christian Buckl. A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded Systems. CoRR, abs/1011.0268():, 2010. Details BibTeX
  • Chih-Hong Cheng, Christian Buckl, Michael Luttenberger and Alois Knoll. GAVS: Game Arena Visualization and Synthesis. In Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pages 347–352, 2010. Details DOI BibTeX

2009

  • Chih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza and Yang Chen. Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. In MariaSimonetta Balsamo, William J. Knottenbelt and Andrea Marin, editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, pages 72–77, 2009. Details DOI BibTeX
  • Chih-Hong Cheng, Christian Buckl, Javier Esparza and Alois Knoll. FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems. CoRR, abs/0905.3946():, 2009. Details BibTeX
  • Chih-Hong Cheng, Christian Buckl, Javier Esparza and Alois Knoll. Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness. CoRR, abs/0905.3951():, 2009. Details BibTeX
  • 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 Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pages 622–623, 2009. Details DOI BibTeX